projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Revert "Add test that is expecting to fail"
[yosys.git] / frontends / aiger /
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-04 Eddie HungRename abc_* names/attributes to more precisely be... 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 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 Miodrag MilanovicFix reading aig files on windows tree | commitdiff
2019-09-29 Miodrag MilanovicOpen aig frontend as binary file tree | commitdiff
2019-09-27 Aman GoelMerge pull request #7 from YosysHQ/master tree | commitdiff
2019-09-25 Eddie HungMerge pull request #1401 from SergeyDegtyar/SergeyDegty... tree | commitdiff
2019-09-24 Eddie HungForce $inout.out ports to begin with '$' to indicate... tree | commitdiff
2019-09-18 Eddie HungMerge pull request #1355 from YosysHQ/eddie/peepopt_dff... tree | commitdiff
2019-09-18 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-11 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-07 Eddie HungMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2019-09-05 Eddie HungMerge remote-tracking branch 'origin/eddie/peepopt_dffm... tree | commitdiff
2019-09-05 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-09-05 Eddie HungMerge pull request #1312 from YosysHQ/xaig_arrival tree | commitdiff
2019-09-04 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-09-04 Eddie HungRevert "parse_xaiger() to do "clean -purge"" tree | commitdiff
2019-09-03 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-09-02 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-09-01 Eddie HungMerge pull request #1344 from YosysHQ/eddie/ice40_signe... tree | commitdiff
2019-08-30 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-08-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-30 Eddie HungMerge pull request #1340 from YosysHQ/eddie/abc_no_clean tree | commitdiff
2019-08-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-30 Eddie HungMerge branch 'eddie/xilinx_srl' into xaig_arrival tree | commitdiff
2019-08-30 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-30 David ShahMerge branch 'master' into xc7dsp tree | commitdiff
2019-08-30 Eddie Hungparse_xaiger() to do "clean -purge" tree | commitdiff
2019-08-29 Eddie HungMerge remote-tracking branch 'origin/eddie/fix_carry_wr... tree | commitdiff
2019-08-29 Eddie HungMerge remote-tracking branch 'origin/eddie/fix_carry_wr... tree | commitdiff
2019-08-29 Eddie HungMerge remote-tracking branch 'origin/eddie/fix_carry_wr... tree | commitdiff
2019-08-28 Eddie HungMerge branch 'eddie/xilinx_srl' into xaig_arrival tree | commitdiff
2019-08-28 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-26 Clifford WolfMerge tag 'yosys-0.9' tree | commitdiff
2019-08-25 Clifford WolfMerge pull request #1112 from acw1251/pyosys_sigsig_issue tree | commitdiff
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-23 Eddie HungMerge remote-tracking branch 'origin/master' into mwk... tree | commitdiff
2019-08-22 Clifford WolfMerge pull request #1289 from mmicko/anlogic_fixes tree | commitdiff
2019-08-22 Clifford WolfMerge pull request #1281 from mmicko/efinix tree | commitdiff
2019-08-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_... tree | commitdiff
2019-08-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-08-21 Eddie HungMerge branch 'eddie/fix_techmap' into xaig_arrival tree | commitdiff
2019-08-21 Eddie HungRemove sequential extension tree | commitdiff
2019-08-21 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-08-20 Eddie HungUse abc_{map,unmap,model}.v tree | commitdiff
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-08-20 Eddie HungMerge pull request #1304 from YosysHQ/eddie/abc9_refactor tree | commitdiff
2019-08-20 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-20 Clifford WolfMerge branch 'master' into clifford/pmgen tree | commitdiff
2019-08-20 Clifford WolfMerge pull request #1308 from jakobwenzel/real_params tree | commitdiff
2019-08-20 whitequarkMerge pull request #1309 from whitequark/proc_clean... tree | commitdiff
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-08-19 Eddie HungFix typo tree | commitdiff
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into xaig_dff tree | commitdiff
2019-08-19 Eddie HungSet abc_flop and use it in toposort tree | commitdiff
2019-08-19 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-08-19 Eddie HungMerge remote-tracking branch 'origin/master' into cliff... tree | commitdiff
2019-08-18 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2019-08-18 whitequarkMerge branch 'master' into eddie/pr1266_again tree | commitdiff
2019-08-17 Clifford WolfMerge pull request #1283 from YosysHQ/clifford/fix1255 tree | commitdiff
2019-08-16 Eddie HungMerge branch 'eddie/abc9_refactor' into xaig_dff tree | commitdiff
2019-08-16 Eddie HungMerge pull request #1250 from bwidawsk/master tree | commitdiff
2019-08-16 Eddie HungMerge https://github.com/bogdanvuk/yosys into bogdanvuk... tree | commitdiff
2019-08-16 Eddie HungRemove unused variable tree | commitdiff
2019-08-15 Clifford WolfMerge branch 'master' into clifford/fix1255 tree | commitdiff
2019-08-13 Clifford WolfFix various NDEBUG compiler warnings, closes #1255 tree | commitdiff
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-08-12 Serge BazanskiMerge pull request #1152 from 1138-4EB/feat-docker tree | commitdiff
2019-08-12 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-10 Clifford WolfMerge pull request #1258 from YosysHQ/eddie/cleanup tree | commitdiff
2019-08-10 Clifford WolfMerge pull request #1261 from YosysHQ/clifford/verific_init tree | commitdiff
2019-08-10 Clifford WolfMerge pull request #1263 from ucb-bar/firrtl_err_on_uns... tree | commitdiff
2019-08-10 Clifford WolfMerge pull request #1270 from YosysHQ/eddie/alu_lcu_doc tree | commitdiff
2019-08-10 Clifford WolfMerge pull request #1272 from mmicko/travis_fix tree | commitdiff
2019-08-10 Clifford WolfMerge pull request #1274 from YosysHQ/eddie/fix_1271 tree | commitdiff
2019-08-09 Eddie HungAdd __STDC_FORMAT_MACROS before <inttypes.h> as per... tree | commitdiff
2019-08-09 Miodrag MilanovicMerge remote-tracking branch 'upstream/master' into... tree | commitdiff
2019-08-08 David ShahMerge branch 'xc7dsp' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7dsp tree | commitdiff
2019-08-07 Eddie HungMerge pull request #1248 from YosysHQ/eddie/abc9_speedup tree | commitdiff
2019-08-07 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
2019-08-07 Jim LawsonMerge branch 'master' into firrtl_err_on_unsupported_cell tree | commitdiff
2019-08-07 Eddie HungRun "clean" on mapped_mod in its own design tree | commitdiff
2019-08-07 Clifford WolfMerge pull request #1240 from ucb-bar/firrtl-properties... tree | commitdiff
2019-08-07 David ShahMerge pull request #1241 from YosysHQ/clifford/jsonfix tree | commitdiff
2019-08-06 Eddie HungRTLIL::S{0,1} -> State::S{0,1} tree | commitdiff
2019-08-06 Eddie HungMerge remote-tracking branch 'origin/master' into eddie... tree | commitdiff
next