git.libre-soc.org Git - yosys.git/history

[yosys.git] / backends / aiger / aiger.cc

2020-01-18	David Shah	Merge pull request #1602 from niklasnisbeth/ice40-init...	blob \| commitdiff \| raw
2020-01-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw
2020-01-07	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw
2020-01-07	Eddie Hung	Merge pull request #1181 from YosysHQ/xaig_dff	blob \| commitdiff \| raw
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/xaig_dff' into...	blob \| commitdiff \| raw
2020-01-06	Eddie Hung	write_aiger: make more robust	blob \| commitdiff \| raw
2019-12-16	Eddie Hung	Merge pull request #1577 from gromero/for-yosys	blob \| commitdiff \| raw \| diff to current
2019-11-22	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2019-11-19	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-11-14	Clifford Wolf	Merge pull request #1444 from btut/feature/python_wrapp...	blob \| commitdiff \| raw \| diff to current
2019-11-14	Clifford Wolf	Merge pull request #1465 from YosysHQ/dave/ice40_timing_sim	blob \| commitdiff \| raw \| diff to current
2019-11-11	Pepijn de Vos	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw \| diff to current
2019-11-10	Clifford Wolf	Merge pull request #1470 from YosysHQ/clifford/subpassdoc	blob \| commitdiff \| raw \| diff to current
2019-11-04	Clifford Wolf	Fix write_aiger bug added in 524af21	blob \| commitdiff \| raw \| diff to current
2019-10-27	Clifford Wolf	Merge pull request #1393 from whitequark/write_verilog...	blob \| commitdiff \| raw \| diff to current
2019-10-21	Pepijn de Vos	Merge branch 'master' of https://github.com/YosysHQ...	blob \| commitdiff \| raw \| diff to current
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/efinix	blob \| commitdiff \| raw \| diff to current
2019-10-01	Sergey	Merge branch 'master' into SergeyDegtyar/anlogic	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge branch 'SergeyDegtyar/ecp5' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-09-30	whitequark	Merge pull request #1406 from whitequark/connect_rpc	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge pull request #1397 from btut/fix/python_wrappers_...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Clifford Wolf	Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a...	blob \| commitdiff \| raw \| diff to current
2019-09-30	Eddie Hung	Merge pull request #1414 from hzeller/improve-replace...	blob \| commitdiff \| raw \| diff to current
2019-09-29	Eddie Hung	Merge pull request #1359 from YosysHQ/xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-09-29	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-09-29	Miodrag Milanović	Merge pull request #1413 from YosysHQ/mmicko/backend_bi...	blob \| commitdiff \| raw \| diff to current
2019-09-28	Miodrag Milanovic	Add aiger and protobuf backends binary support	blob \| commitdiff \| raw \| diff to current
2019-09-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-09-27	Aman Goel	Merge pull request #7 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2019-09-25	Eddie Hung	Merge pull request #1401 from SergeyDegtyar/SergeyDegty...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Eddie Hung	Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...	blob \| commitdiff \| raw \| diff to current
2019-09-18	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-09-18	Eddie Hung	Merge pull request #1379 from mmicko/sim_models	blob \| commitdiff \| raw \| diff to current
2019-09-18	Clifford Wolf	Add "write_aiger -L"	blob \| commitdiff \| raw \| diff to current
2019-08-26	Clifford Wolf	Merge tag 'yosys-0.9'	blob \| commitdiff \| raw \| diff to current
2019-08-25	Clifford Wolf	Merge pull request #1112 from acw1251/pyosys_sigsig_issue	blob \| commitdiff \| raw \| diff to current
2019-07-24	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-07-03	Clifford Wolf	Merge pull request #1147 from YosysHQ/clifford/fix1144	blob \| commitdiff \| raw \| diff to current
2019-07-01	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-06-28	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-06-28	Eddie Hung	Merge pull request #1098 from YosysHQ/xaig	blob \| commitdiff \| raw \| diff to current
2019-06-28	Eddie Hung	Also fix write_aiger for UB	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge remote-tracking branch 'origin/clifford/fix1132...	blob \| commitdiff \| raw \| diff to current
2019-06-27	Bogdan Vukobratovic	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1132...	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1132...	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1132...	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1132...	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1132...	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge branch 'koriakin/xc7nocarrymux' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge branch 'koriakin/xc7nocarrymux' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge branch 'koriakin/xc7nocarrymux' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge branch 'koriakin/xc7nocarrymux' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-26	Eddie Hung	Merge branch 'xc7nocarrymux' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2019-06-25	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-25	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-24	Eddie Hung	Merge remote-tracking branch 'origin/eddie/ram32x1d...	blob \| commitdiff \| raw \| diff to current
2019-06-22	Eddie Hung	Merge branch 'master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-22	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-22	Eddie Hung	Merge pull request #1108 from YosysHQ/clifford/fix1091	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Merge remote-tracking branch 'origin/eddie/muxpack...	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Merge branch 'master' into eddie/muxpack	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Merge remote-tracking branch 'origin/clifford/fix1091...	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Merge pull request #1085 from YosysHQ/eddie/shregmap_im...	blob \| commitdiff \| raw \| diff to current
2019-06-21	Clifford Wolf	Merge pull request #1117 from bwidawsk/more-home	blob \| commitdiff \| raw \| diff to current
2019-06-21	Clifford Wolf	Merge pull request #1119 from YosysHQ/eddie/fix1118	blob \| commitdiff \| raw \| diff to current
2019-06-21	Clifford Wolf	Merge pull request #1116 from YosysHQ/eddie/fix1115	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Fix spacing	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Fix spacing	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Fix gcc invalidation behaviour for write_aiger	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Fix gcc invalidation behaviour for write_aiger	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Fix gcc invalidation behaviour for write_aiger	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-20	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1115...	blob \| commitdiff \| raw \| diff to current
2019-06-20	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1118...	blob \| commitdiff \| raw \| diff to current
2019-06-20	Eddie Hung	Merge remote-tracking branch 'origin/eddie/fix1115...	blob \| commitdiff \| raw \| diff to current
2019-06-20	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-06-20	Clifford Wolf	Merge branch 'master' of https://github.com/bogdanvuk...	blob \| commitdiff \| raw \| diff to current
2019-06-20	Clifford Wolf	Merge branch 'unpacked_arrays' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2019-06-19	Clifford Wolf	Merge pull request #1100 from bwidawsk/home	blob \| commitdiff \| raw \| diff to current
2019-06-18	Ben Widawsky	Support filename rewrite in backends	blob \| commitdiff \| raw \| diff to current
2019-06-18	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-18	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-06-14	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-12	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-11	Eddie Hung	Merge remote-tracking branch 'origin/eddie/shregmap_imp...	blob \| commitdiff \| raw \| diff to current
2019-06-10	Eddie Hung	Merge remote-tracking branch 'origin/eddie/shregmap_imp...	blob \| commitdiff \| raw \| diff to current
2019-06-10	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-06-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-06-06	Eddie Hung	Merge remote-tracking branch 'origin/eddie/muxpack...	blob \| commitdiff \| raw \| diff to current
2019-06-06	Eddie Hung	Merge remote-tracking branch 'origin/eddie/muxpack...	blob \| commitdiff \| raw \| diff to current
2019-06-05	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-06-05	Eddie Hung	Merge remote-tracking branch 'origin/clifford/fix1065...	blob \| commitdiff \| raw \| diff to current
2019-06-04	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-05-28	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-05-26	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
next

RSS Atom