git.libre-soc.org Git - yosys.git/history - frontends/aiger/aigerparse.h

[yosys.git] / frontends / aiger / aigerparse.h

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-07-02	clairexen	Merge pull request #2132 from YosysHQ/eddie/verific_initial	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-06-04	N. Engelhardt	Merge pull request #2070 from hackfin/master	blob \| commitdiff \| raw \| diff to current
2020-06-03	Peter Crozier	Merge branch 'master' into struct	blob \| commitdiff \| raw \| diff to current
2020-05-31	clairexen	Merge pull request #1862 from boqwxp/cleanup_techmap	blob \| commitdiff \| raw \| diff to current
2020-05-29	clairexen	Merge pull request #2029 from whitequark/fix-simplify...	blob \| commitdiff \| raw \| diff to current
2020-05-29	whitequark	Merge pull request #2033 from boqwxp/cleanup-verilog...	blob \| commitdiff \| raw \| diff to current
2020-05-28	whitequark	Merge pull request #2051 from Xiretza/makefile-cd-warning	blob \| commitdiff \| raw \| diff to current
2020-05-28	whitequark	Merge pull request #2031 from epfl-vlsc/master	blob \| commitdiff \| raw \| diff to current
2020-05-28	whitequark	Merge pull request #2063 from boqwxp/techmapped-firrtl	blob \| commitdiff \| raw \| diff to current
2020-05-25	clairexen	Merge pull request #2015 from boqwxp/qbfsat-bisection	blob \| commitdiff \| raw \| diff to current
2020-05-21	Eddie Hung	Merge pull request #2057 from YosysHQ/eddie/fix_task_attr	blob \| commitdiff \| raw \| diff to current
2020-05-21	Miodrag Milanović	Merge pull request #2059 from boqwxp/logger-vector...	blob \| commitdiff \| raw \| diff to current
2020-05-20	N. Engelhardt	Merge pull request #2046 from PeterCrozier/trap	blob \| commitdiff \| raw \| diff to current
2020-05-20	N. Engelhardt	Merge pull request #2054 from boqwxp/fix-smtbmc	blob \| commitdiff \| raw \| diff to current
2020-05-18	Eddie Hung	Merge pull request #1926 from YosysHQ/eddie/abc9_auto_dff	blob \| commitdiff \| raw \| diff to current
2020-05-14	Eddie Hung	aiger: -xaiger to read $_DFF_[NP]_ back with new clocks...	blob \| commitdiff \| raw \| diff to current
2020-02-20	Claire Wolf	Merge pull request #1642 from jjj11x/jjj11x/sv-enum	blob \| commitdiff \| raw \| diff to current
2020-02-05	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2020-02-05	Eddie Hung	Merge pull request #1638 from YosysHQ/eddie/fix1631	blob \| commitdiff \| raw \| diff to current
2020-02-02	David Shah	Merge pull request #1647 from YosysHQ/dave/sprintf	blob \| commitdiff \| raw \| diff to current
2020-02-02	David Shah	Merge pull request #1657 from YosysHQ/dave/xilinx-dsp...	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-30	Claire Wolf	Merge pull request #1503 from YosysHQ/eddie/verific_help	blob \| commitdiff \| raw \| diff to current
2020-01-30	Claire Wolf	Merge pull request #1654 from YosysHQ/eddie/sby_fix69	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	Claire Wolf	Merge pull request #1659 from YosysHQ/clifford/experimental	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 pull request #1619 from YosysHQ/eddie/abc9_refactor	blob \| commitdiff \| raw \| diff to current
2020-01-27	Eddie Hung	Merge branch 'eddie/abc9_refactor' into eddie/abc9_required	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-22	Eddie Hung	read_aiger: also parse abc9_mergeability	blob \| commitdiff \| raw \| diff to current
2020-01-21	Claire Wolf	Merge pull request #1629 from YosysHQ/mwk/edif-z	blob \| commitdiff \| raw \| diff to current
2020-01-20	Claire Wolf	Merge pull request #1621 from YosysHQ/clifford/fminit	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-15	Miodrag Milanović	Merge pull request #1636 from YosysHQ/eddie/fix_synth_x...	blob \| commitdiff \| raw \| diff to current
2020-01-14	Eddie Hung	Merge pull request #1635 from YosysHQ/eddie/print_stats	blob \| commitdiff \| raw \| diff to current
2020-01-14	Eddie Hung	Merge remote-tracking branch 'origin/eddie/abc9_refacto...	blob \| commitdiff \| raw \| diff to current
2020-01-14	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2020-01-14	Eddie Hung	Merge pull request #1633 from YosysHQ/eddie/fix_autoname	blob \| commitdiff \| raw \| diff to current
2020-01-14	Eddie Hung	Merge pull request #1632 from YosysHQ/eddie/fix1630	blob \| commitdiff \| raw \| diff to current
2020-01-14	Eddie Hung	read_aiger: uniquify wires with $aiger<autoidx> prefix	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/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2020-01-06	Eddie Hung	Merge remote-tracking branch 'origin/eddie/abc9_refacto...	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-02	Eddie Hung	Merge remote-tracking branch 'origin/xaig_dff' into...	blob \| commitdiff \| raw \| diff to current
2020-01-02	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2020-01-01	Eddie Hung	parse_xaiger to not take box_lookup	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-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-08-20	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge branch 'eddie/abc9_refactor' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge pull request #1250 from bwidawsk/master	blob \| commitdiff \| raw \| diff to current
2019-08-16	Eddie Hung	Merge https://github.com/bogdanvuk/yosys into bogdanvuk...	blob \| commitdiff \| raw \| diff to current
2019-08-12	Serge Bazanski	Merge pull request #1152 from 1138-4EB/feat-docker	blob \| commitdiff \| raw \| diff to current
2019-08-10	Clifford Wolf	Merge pull request #1258 from YosysHQ/eddie/cleanup	blob \| commitdiff \| raw \| diff to current
2019-08-10	Clifford Wolf	Merge pull request #1261 from YosysHQ/clifford/verific_init	blob \| commitdiff \| raw \| diff to current
2019-08-10	Clifford Wolf	Merge pull request #1263 from ucb-bar/firrtl_err_on_uns...	blob \| commitdiff \| raw \| diff to current
2019-08-09	Miodrag Milanovic	Merge remote-tracking branch 'upstream/master' into...	blob \| commitdiff \| raw \| diff to current
2019-08-08	David Shah	Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7dsp	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	Merge pull request #1248 from YosysHQ/eddie/abc9_speedup	blob \| commitdiff \| raw \| diff to current
2019-08-07	Eddie Hung	Run "clean" on mapped_mod in its own design	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-06-28	Eddie Hung	Merge pull request #1098 from YosysHQ/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/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	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-21	Eddie Hung	Merge remote-tracking branch 'origin/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
next

RSS Atom