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

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

2022-02-11	Claire Xen	Merge branch 'master' into clk2ff-better-names	blob \| commitdiff \| raw
2022-02-11	Claire Xen	Merge pull request #2019 from boqwxp/glift	blob \| commitdiff \| raw
2021-06-09	Claire Xen	Merge pull request #2817 from YosysHQ/claire/fixemails	blob \| commitdiff \| raw
2021-06-07	Claire Xenia Wolf	Fixing old e-mail addresses and deadnames	blob \| commitdiff \| raw
2020-11-25	Claire Xen	Merge pull request #2133 from dh73/nodev_head	blob \| commitdiff \| raw \| diff to current
2020-11-24	Miodrag Milanović	Merge pull request #2295 from epfl-vlsc/firrtl_blackbox...	blob \| commitdiff \| raw \| diff to current
2020-10-01	clairexen	Merge pull request #2378 from udif/pr_dollar_high_low	blob \| commitdiff \| raw \| diff to current
2020-10-01	clairexen	Merge pull request #2380 from Xiretza/parallel-tests	blob \| commitdiff \| raw \| diff to current
2020-09-21	N. Engelhardt	Merge pull request #2372 from nakengelhardt/name_is_public	blob \| commitdiff \| raw \| diff to current
2020-09-14	N. Engelhardt	use the new isPublic() in a few places	blob \| commitdiff \| raw \| diff to current
2020-08-19	clairexen	Merge pull request #2122 from PeterCrozier/struct_array2	blob \| commitdiff \| raw \| diff to current
2020-07-02	clairexen	Merge pull request #2132 from YosysHQ/eddie/verific_initial	blob \| commitdiff \| raw \| diff to current
2020-06-19	whitequark	Merge pull request #2173 from whitequark/use-cxx11...	blob \| commitdiff \| raw \| diff to current
2020-06-18	whitequark	Use C++11 final/override keywords.	blob \| commitdiff \| raw \| diff to current
2020-06-04	whitequark	Merge pull request #2006 from jersey99/signed-in-rtlil...	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	Merge pull request #1994 from YosysHQ/eddie/fix_bug1758	blob \| commitdiff \| raw \| diff to current
2020-05-07	Claire Wolf	Merge pull request #2005 from YosysHQ/claire/fix1990	blob \| commitdiff \| raw \| diff to current
2020-05-05	whitequark	Merge pull request #2012 from whitequark/fix-wasi-abc...	blob \| commitdiff \| raw \| diff to current
2020-05-04	Eddie Hung	Merge pull request #1996 from boqwxp/rtlil_source_locations	blob \| commitdiff \| raw \| diff to current
2020-05-03	whitequark	Merge pull request #2000 from whitequark/log_error...	blob \| commitdiff \| raw \| diff to current
2020-05-03	Claire Wolf	Merge pull request #2014 from YosysHQ/claire/fixoptalu	blob \| commitdiff \| raw \| diff to current
2020-05-02	Eddie Hung	Merge pull request #2013 from YosysHQ/eddie/aiger_fixes	blob \| commitdiff \| raw \| diff to current
2020-05-02	Eddie Hung	aiger: fixes for ports that have start_offset != 0	blob \| commitdiff \| raw \| diff to current
2020-04-15	N. Engelhardt	Merge pull request #1830 from boqwxp/qbfsat	blob \| commitdiff \| raw \| diff to current
2020-04-10	whitequark	Merge pull request #1603 from whitequark/ice40-ram_style	blob \| commitdiff \| raw \| diff to current
2020-04-08	Sahand Kashani	Merge branch 'master' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2020-04-07	Claire Wolf	Merge pull request #1814 from YosysHQ/mmicko/pyosys_mak...	blob \| commitdiff \| raw \| diff to current
2020-04-06	whitequark	Merge pull request #1859 from boqwxp/design_duplicate	blob \| commitdiff \| raw \| diff to current
2020-04-03	Eddie Hung	Merge pull request #1648 from YosysHQ/eddie/cmp2lcu	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	Merge pull request #1853 from YosysHQ/eddie/fix_dynslice	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	Merge pull request #1767 from YosysHQ/eddie/idstrings	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	kernel: big fat patch to use more ID::*, otherwise...	blob \| commitdiff \| raw \| diff to current
2020-04-02	Eddie Hung	kernel: use more ID::*	blob \| commitdiff \| raw \| diff to current
2020-02-01	Eddie Hung	Merge branch 'master' into eddie/submod_po	blob \| commitdiff \| raw \| diff to current
2020-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	blob \| commitdiff \| raw \| diff to current
2020-01-29	N. Engelhardt	Merge pull request #1510 from pumbor/master	blob \| commitdiff \| raw \| diff to current
2020-01-29	Miodrag Milanović	Merge pull request #1559 from YosysHQ/efinix_test_fix	blob \| commitdiff \| raw \| diff to current
2020-01-28	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2020-01-28	Claire Wolf	Merge pull request #1567 from YosysHQ/eddie/sat_init_wa...	blob \| commitdiff \| raw \| diff to current
2020-01-28	N. Engelhardt	Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate	blob \| commitdiff \| raw \| diff to current
2020-01-28	Claire Wolf	Merge pull request #1553 from whitequark/manual-dffx	blob \| commitdiff \| raw \| diff to current
2020-01-27	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2020-01-27	Claire Wolf	Merge pull request #1613 from porglezomp-misc/version...	blob \| commitdiff \| raw \| diff to current
2020-01-18	David Shah	Merge pull request #1602 from niklasnisbeth/ice40-init...	blob \| commitdiff \| raw \| diff to current
2020-01-09	Eddie Hung	Merge remote-tracking branch 'origin/eddie/abc9_refacto...	blob \| commitdiff \| raw \| diff to current
2020-01-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2020-01-07	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	blob \| commitdiff \| raw \| diff to current
2020-01-07	Eddie Hung	Merge pull request #1181 from YosysHQ/xaig_dff	blob \| commitdiff \| raw \| diff to current
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/xaig_dff' into...	blob \| commitdiff \| raw \| diff to current
2020-01-06	Eddie Hung	write_aiger: make more robust	blob \| commitdiff \| raw \| diff to current
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
next

RSS Atom