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

[yosys.git] / backends / smt2 / smtio.py

2022-03-28	Jannis Harder	smtbmc: Avoid unnecessary deep copies during unrolling	blob \| commitdiff \| raw
2022-03-14	Claire Xen	Merge pull request #3213 from antonblanchard/abc-typo	blob \| commitdiff \| raw \| diff to current
2022-03-07	Miodrag Milanović	Merge pull request #3210 from rqou/json-signed	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3186 from nakengelhardt/smtbmc_sby_...	blob \| commitdiff \| raw \| diff to current
2022-02-22	N. Engelhardt	print cell name for properties in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge branch 'master' into clk2ff-better-names	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge pull request #2019 from boqwxp/glift	blob \| commitdiff \| raw \| diff to current
2021-07-12	GCHQDeveloper560	Add support for the Bitwuzla solver	blob \| commitdiff \| raw \| diff to current
2021-06-09	Claire Xen	Merge pull request #2817 from YosysHQ/claire/fixemails	blob \| commitdiff \| raw \| diff to current
2021-06-07	Claire Xenia Wolf	Fixing old e-mail addresses and deadnames	blob \| commitdiff \| raw \| diff to current
2020-11-25	Claire Xen	Merge pull request #2133 from dh73/nodev_head	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-08-18	clairexen	Merge pull request #2281 from zachjs/const-real	blob \| commitdiff \| raw \| diff to current
2020-07-23	clairexen	Merge pull request #2294 from Ravenslofty/intel_alm_timings	blob \| commitdiff \| raw \| diff to current
2020-07-21	clairexen	Merge pull request #2215 from boqwxp/qbfsat-solver...	blob \| commitdiff \| raw \| diff to current
2020-07-20	Alberto Gonzalez	smtio: Emit `mode: start` options before `set-logic...	blob \| commitdiff \| raw \| diff to current
2020-07-20	Alberto Gonzalez	smtio: Add support for parsing `yosys-smt2-solver-optio...	blob \| commitdiff \| raw \| diff to current
2020-07-20	clairexen	Merge pull request #2282 from YosysHQ/claire/satunsat	blob \| commitdiff \| raw \| diff to current
2020-07-20	Claire Wolf	Only allow "sat" and "unsat" smt solver responses in...	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-09	clairexen	Merge pull request #2112 from YosysHQ/claire/fix2040	blob \| commitdiff \| raw \| diff to current
2020-06-08	clairexen	Merge pull request #2085 from rswarbrick/select	blob \| commitdiff \| raw \| diff to current
2020-06-08	clairexen	Merge pull request #2089 from rswarbrick/modports	blob \| commitdiff \| raw \| diff to current
2020-06-08	clairexen	Merge pull request #2105 from whitequark/split-flatten...	blob \| commitdiff \| raw \| diff to current
2020-06-06	whitequark	Merge pull request #2110 from BracketMaster/master	blob \| commitdiff \| raw \| diff to current
2020-06-04	Yehowshua Immanuel	more reasonable numbers for memory	blob \| commitdiff \| raw \| diff to current
2020-06-04	Yehowshua Immanuel	MacOS has even stricter stack limits in catalina.	blob \| commitdiff \| raw \| diff to current
2020-06-04	clairexen	Merge pull request #2099 from Xiretza/manual-include...	blob \| commitdiff \| raw \| diff to current
2020-06-04	Eddie Hung	Merge pull request #2077 from YosysHQ/eddie/abc9_dff_im...	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-04	Eddie Hung	Merge pull request #2082 from YosysHQ/eddie/abc9_scc_fixes no_loop	blob \| commitdiff \| raw \| diff to current
2020-06-03	Peter Crozier	Merge branch 'master' into struct	blob \| commitdiff \| raw \| diff to current
2020-06-03	Eddie Hung	Merge pull request #2080 from YosysHQ/eddie/fix_test_wa...	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-30	Eddie Hung	Merge pull request #2081 from YosysHQ/eddie/blackbox_ast	blob \| commitdiff \| raw \| diff to current
2020-05-30	clairexen	Merge pull request #2018 from boqwxp/qbfsat-timeout	blob \| commitdiff \| raw \| diff to current
2020-05-29	Alberto Gonzalez	smtbmc: Remove superfluous `yosys-smt2-timeout` file...	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	clairexen	Merge pull request #1885 from Xiretza/mod-rem-cells	blob \| commitdiff \| raw \| diff to current
2020-05-29	clairexen	Merge pull request #2092 from whitequark/rtlil-no-space...	blob \| commitdiff \| raw \| diff to current
2020-05-29	clairexen	Merge pull request #2016 from boqwxp/qbfsat-yices	blob \| commitdiff \| raw \| diff to current
2020-05-25	Alberto Gonzalez	smtbmc and qbfsat: Add timeout option to set solver...	blob \| commitdiff \| raw \| diff to current
2020-05-25	Alberto Gonzalez	qbfsat: Move SMT2 info statements back to the top of...	blob \| commitdiff \| raw \| diff to current
2020-05-25	Alberto Gonzalez	qbfsat: Add `-solver` option and allow choice of Z3...	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-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 #1845 from YosysHQ/eddie/kernel_speedup	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #1770 from YosysHQ/claire/btor_symbols	blob \| commitdiff \| raw \| diff to current
2020-04-02	Claire Wolf	Merge pull request #1765 from YosysHQ/claire/btor_info	blob \| commitdiff \| raw \| diff to current
2020-04-01	Eddie Hung	Merge pull request #1828 from YosysHQ/eddie/celltypes_s...	blob \| commitdiff \| raw \| diff to current
2020-04-01	Eddie Hung	Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor	blob \| commitdiff \| raw \| diff to current
2020-04-01	Eddie Hung	Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu	blob \| commitdiff \| raw \| diff to current
2020-04-01	Claire Wolf	Merge pull request #1848 from YosysHQ/eddie/fix_dynslice	blob \| commitdiff \| raw \| diff to current
2020-03-31	Eddie Hung	Merge pull request #1761 from YosysHQ/eddie/opt_merge_s...	blob \| commitdiff \| raw \| diff to current
2020-03-30	Eddie Hung	Merge pull request #1783 from boqwxp/astcc_cleanup	blob \| commitdiff \| raw \| diff to current
2020-03-30	Eddie Hung	Merge pull request #1786 from boqwxp/hierarchycc_cleanup	blob \| commitdiff \| raw \| diff to current
2020-03-30	N. Engelhardt	Merge pull request #1811 from PeterCrozier/typedef_scope	blob \| commitdiff \| raw \| diff to current
2020-03-27	Claire Wolf	Merge pull request #1607 from whitequark/simplify-simpl...	blob \| commitdiff \| raw \| diff to current
2020-03-27	Claire Wolf	Merge pull request #1815 from boqwxp/fix-ef-optimize	blob \| commitdiff \| raw \| diff to current
2020-03-26	Alberto Gonzalez	Do not change solver output parsing for non-exists...	blob \| commitdiff \| raw \| diff to current
2020-03-26	Claire Wolf	Merge pull request #1806 from YosysHQ/mwk/techmap-repla...	blob \| commitdiff \| raw \| diff to current
2020-03-26	Alberto Gonzalez	Skip reading stdout from the solver that if it isn...	blob \| commitdiff \| raw \| diff to current
2020-03-24	Claire Wolf	Revert part of 0fda8308 from #1746 that broke other...	blob \| commitdiff \| raw \| diff to current
2020-03-19	N. Engelhardt	Merge pull request #1774 from boqwxp/exec	blob \| commitdiff \| raw \| diff to current
2020-03-17	Eddie Hung	Merge pull request #1769 from boqwxp/select_cleanup	blob \| commitdiff \| raw \| diff to current
2020-03-16	Claire Wolf	Merge pull request #1771 from waldyrious/license-update	blob \| commitdiff \| raw \| diff to current
2020-03-16	N. Engelhardt	Merge pull request #1768 from boqwxp/smt2_cleanup	blob \| commitdiff \| raw \| diff to current
2020-03-16	N. Engelhardt	Merge pull request #1746 from boqwxp/optimization	blob \| commitdiff \| raw \| diff to current
2020-03-13	Alberto Gonzalez	Add support for optimizing exists-forall problems.	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-05	Eddie Hung	Merge pull request #1661 from YosysHQ/eddie/abc9_required	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	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 pull request #1656 from YosysHQ/eddie/ice40_abc9_...	blob \| commitdiff \| raw \| diff to current
2020-01-27	Claire Wolf	Merge pull request #1658 from YosysHQ/clifford/smtbmcso...	blob \| commitdiff \| raw \| diff to current
2020-01-27	Claire Wolf	Improve yosys-smtbmc "solver not found" handling	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-10-27	Clifford Wolf	Merge pull request #1393 from whitequark/write_verilog...	blob \| commitdiff \| raw \| diff to current
2019-10-22	Clifford Wolf	Bugfix in smtio vcd handling of $-identifiers	blob \| commitdiff \| raw \| diff to current
next

RSS Atom