projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add abc9_ops -check, -prep_times, -write_box for required times
[yosys.git] / frontends / aiger /
2020-01-09 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... tree | commitdiff
2020-01-09 Eddie Hungread_aiger: more accurate debug message tree | commitdiff
2020-01-09 Eddie Hungread_aiger: do not double-count outputs for flops tree | commitdiff
2020-01-09 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... tree | commitdiff
2020-01-08 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-07 Eddie HungMerge pull request #1618 from YosysHQ/eddie/aiger_fixes tree | commitdiff
2020-01-07 Eddie Hungread_aiger: consistency between ascii and binary; also... tree | commitdiff
2020-01-07 Eddie Hungread_aiger fixes tree | commitdiff
2020-01-07 Eddie Hungread_aiger: connect identical signals together tree | commitdiff
2020-01-07 Eddie Hungread_aiger: cope with latches and POs with same name tree | commitdiff
2020-01-07 Eddie Hungread_aiger: default -clk_name to be empty tree | commitdiff
2020-01-07 Eddie Hungread_aiger: do not process box connections, work standalone tree | commitdiff
2020-01-07 Eddie Hungread_aiger: consistency between ascii and binary tree | commitdiff
2020-01-07 Eddie HungMerge branch 'master' into eddie/abc9_refactor tree | commitdiff
2020-01-07 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2020-01-07 Eddie HungMerge pull request #1181 from YosysHQ/xaig_dff tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-06 Eddie Hungread_aiger: add -xaiger option tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/eddie/abc9_refacto... tree | commitdiff
2020-01-06 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2020-01-02 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2020-01-01 Eddie Hungparse_xaiger to not take box_lookup tree | commitdiff
2020-01-01 Eddie Hungparse_xaiger to reorder ports too tree | commitdiff
2019-12-31 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-12-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-17 Eddie Hungaiger frontend to user shorter, $-prefixed, names tree | commitdiff
2019-12-17 Eddie HungCleanup xaiger, remove unnecessary complexity with... tree | commitdiff
2019-12-17 Eddie Hungread_xaiger to cope with optional '\n' after 'c' tree | commitdiff
2019-12-14 Eddie HungName inputs/outputs of aiger 'i%d' and 'o%d' tree | commitdiff
2019-12-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-07 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-12-07 Eddie HungCall abc9 with "&write -n", and parse_xaiger() to cope tree | commitdiff
2019-12-07 Eddie HungDo not connect undriven POs to 1'bx tree | commitdiff
2019-11-28 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/write_xaiger... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-27 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-27 Eddie HungMerge branch 'master' into xaig_dff tree | commitdiff
2019-11-25 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/clkpart... tree | commitdiff
2019-11-23 Eddie HungMerge remote-tracking branch 'origin/eddie/submod_po... tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/clkpart' into xaig_dff tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/clkpart' into xaig_dff tree | commitdiff
2019-11-22 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-11-22 Eddie HungMerge remote-tracking branch 'origin/xaig_dff' into... tree | commitdiff
2019-11-22 Eddie HungMerge branch 'eddie/xaig_dff_adff' into xaig_dff tree | commitdiff
2019-11-20 Eddie HungConsistent log message, ignore 's' extension tree | commitdiff
2019-11-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-10-27 Clifford WolfMerge pull request #1393 from whitequark/write_verilog... tree | commitdiff
2019-10-21 Pepijn de VosMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-10-18 Miodrag MilanovićMerge branch 'master' into mmicko/efinix tree | commitdiff
2019-10-18 Miodrag MilanovićMerge branch 'master' into mmicko/anlogic tree | commitdiff
2019-10-18 Miodrag MilanovićMerge branch 'master' into eddie/pr1352 tree | commitdiff
2019-10-14 Clifford WolfUse "(id)" instead of "id" for types as temporary hack tree | commitdiff
2019-10-08 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-10-08 Eddie HungMerge pull request #1432 from YosysHQ/eddie/fix1427 tree | commitdiff
2019-10-08 Eddie HungMerge pull request #1433 from YosysHQ/eddie/equiv_opt_a... tree | commitdiff
2019-10-08 Eddie HungMerge pull request #1437 from YosysHQ/eddie/abc_to_abc9 tree | commitdiff
2019-10-05 Eddie HungMerge branch 'master' into eddie/abc_to_abc9 tree | commitdiff
2019-10-05 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-10-05 Eddie HungFix merge issues tree | commitdiff
2019-10-04 Eddie HungMerge remote-tracking branch 'origin/eddie/abc_to_abc9... tree | commitdiff
2019-10-04 Eddie HungRename abc_* names/attributes to more precisely be... tree | commitdiff
2019-10-03 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/efinix tree | commitdiff
2019-10-01 SergeyMerge branch 'master' into SergeyDegtyar/anlogic tree | commitdiff
2019-09-30 Eddie HungCleanup $currQ from aigerparse tree | commitdiff
2019-09-30 Eddie HungMerge branch 'SergeyDegtyar/ecp5' of https://github... tree | commitdiff
2019-09-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-30 whitequarkMerge pull request #1406 from whitequark/connect_rpc tree | commitdiff
2019-09-30 Eddie HungMerge pull request #1397 from btut/fix/python_wrappers_... tree | commitdiff
2019-09-30 Miodrag MilanovićMerge pull request #1416 from YosysHQ/mmicko/frontend_b... tree | commitdiff
2019-09-30 Clifford WolfMerge pull request #1412 from YosysHQ/eddie/equiv_opt_a... tree | commitdiff
2019-09-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-30 Eddie HungMerge pull request #1414 from hzeller/improve-replace... tree | commitdiff
2019-09-29 Eddie HungMerge pull request #1359 from YosysHQ/xc7dsp tree | commitdiff
2019-09-29 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-29 Miodrag MilanovicFix reading aig files on windows tree | commitdiff
2019-09-29 Miodrag MilanovicOpen aig frontend as binary file tree | commitdiff
2019-09-29 Eddie HungBig rework; flop info now mostly in cells_sim.v tree | commitdiff
2019-09-27 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
next