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

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

2020-04-13	whitequark	Merge pull request #1910 from boqwxp/cleanup_ilang_parser	blob \| commitdiff \| raw
2020-04-10	whitequark	Merge pull request #1603 from whitequark/ice40-ram_style	blob \| commitdiff \| raw
2020-04-10	Miodrag Milanović	Merge pull request #1893 from mmicko/program_prefix	blob \| commitdiff \| raw
2020-04-10	Miodrag Milanovic	Support custom PROGRAM_PREFIX	blob \| commitdiff \| raw
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-27	Claire Wolf	Merge pull request #1607 from whitequark/simplify-simpl...	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-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	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-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-18	Miodrag Milanović	Merge branch 'master' into eddie/pr1352	blob \| commitdiff \| raw \| diff to current
2019-10-14	Clifford Wolf	Use "(id)" instead of "id" for types as temporary hack	blob \| commitdiff \| raw \| diff to current
2019-10-08	Eddie Hung	Merge pull request #1432 from YosysHQ/eddie/fix1427	blob \| commitdiff \| raw \| diff to current
2019-10-08	Eddie Hung	Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...	blob \| commitdiff \| raw \| diff to current
2019-10-04	Miodrag Milanovic	Merge branch 'SergeyDegtyar/efinix' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-10-04	Miodrag Milanovic	Merge branch 'SergeyDegtyar/anlogic' of https://github...	blob \| commitdiff \| raw \| diff to current
2019-10-03	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_dff	blob \| commitdiff \| raw \| diff to current
2019-10-03	Clifford Wolf	Change smtbmc "Warmup failed" status to "PREUNSAT"	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-06-13	Serge Bazanski	Merge pull request #829 from abdelrahmanhosny/master	blob \| commitdiff \| raw \| diff to current
2019-04-08	Eddie Hung	Merge branch 'master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-04-01	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-03-28	Benedikt Tutzer	Merge remote-tracking branch 'origin/master' into featu...	blob \| commitdiff \| raw \| diff to current
2019-03-19	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7srl	blob \| commitdiff \| raw \| diff to current
2019-03-19	Eddie Hung	Merge https://github.com/YosysHQ/yosys into read_aiger	blob \| commitdiff \| raw \| diff to current
2019-03-14	Clifford Wolf	Merge pull request #875 from YosysHQ/clifford/mutate	blob \| commitdiff \| raw \| diff to current
2019-03-14	Clifford Wolf	Fix smtbmc.py handling of zero appended steps	blob \| commitdiff \| raw \| diff to current
2019-02-11	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-01-02	Clifford Wolf	Merge pull request #770 from whitequark/opt_expr_cmp	blob \| commitdiff \| raw \| diff to current
2019-01-02	Clifford Wolf	Merge pull request #755 from Icenowy/anlogic-dram-init	blob \| commitdiff \| raw \| diff to current
2019-01-02	Clifford Wolf	Merge pull request #750 from Icenowy/anlogic-ff-init	blob \| commitdiff \| raw \| diff to current
2019-01-02	Clifford Wolf	Merge pull request #773 from whitequark/opt_lut_elim_fixes	blob \| commitdiff \| raw \| diff to current
2019-01-02	Clifford Wolf	Merge pull request #772 from whitequark/synth_lut	blob \| commitdiff \| raw \| diff to current
2019-01-02	Clifford Wolf	Merge pull request #771 from whitequark/techmap_cmp2lut	blob \| commitdiff \| raw \| diff to current
2019-01-02	Clifford Wolf	Merge pull request #769 from whitequark/typos	blob \| commitdiff \| raw \| diff to current
2019-01-02	whitequark	Fix typographical and grammatical errors and inconsiste...	blob \| commitdiff \| raw \| diff to current
2018-12-18	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #736 from whitequark/select_assert_list	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #704 from webhat/feature/fix-awk	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #724 from whitequark/equiv_opt	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #734 from grahamedgecombe/fix-shuffl...	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #730 from smunaut/ffssr_dont_touch	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #729 from whitequark/write_verilog_i...	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #725 from olofk/ram4k-init	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #714 from daveshah1/abc_preserve_naming	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #723 from whitequark/synth_ice40_map...	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #722 from whitequark/rename_src	blob \| commitdiff \| raw \| diff to current
2018-12-16	Clifford Wolf	Merge pull request #720 from whitequark/master	blob \| commitdiff \| raw \| diff to current
2018-12-10	Clifford Wolf	Add yosys-smtbmc support for btor witness	blob \| commitdiff \| raw \| diff to current
2018-12-08	Clifford Wolf	Add "yosys-smtbmc --btorwit" skeleton	blob \| commitdiff \| raw \| diff to current
2018-12-01	Clifford Wolf	Merge pull request #676 from rafaeltp/master	blob \| commitdiff \| raw \| diff to current
2018-11-12	Clifford Wolf	Merge pull request #695 from daveshah1/ecp5_bb	blob \| commitdiff \| raw \| diff to current
2018-11-04	Clifford Wolf	Add proper error message for when smtbmc "append" fails	blob \| commitdiff \| raw \| diff to current
2018-03-05	Clifford Wolf	Imporove yosys-smtbmc error handling, Improve VCD output	blob \| commitdiff \| raw \| diff to current
2018-03-03	Clifford Wolf	Fix smtbmc smtc/aiw parser for wire names containing []	blob \| commitdiff \| raw \| diff to current
2018-02-26	Clifford Wolf	Small fixes and improvements in $allconst/$allseq handling	blob \| commitdiff \| raw \| diff to current
2018-02-23	Clifford Wolf	Merge branch 'forall'	blob \| commitdiff \| raw \| diff to current
2018-02-23	Clifford Wolf	Add smtbmc support for exist-forall problems	blob \| commitdiff \| raw \| diff to current
2018-02-20	Clifford Wolf	Add support for mockup clock signals in yosys-smtbmc...	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Merge branch 'master' into btor-ng	blob \| commitdiff \| raw \| diff to current
2017-12-14	Clifford Wolf	Add yosys-smtbmc VCD writer support for memories with...	blob \| commitdiff \| raw \| diff to current
2017-11-28	Clifford Wolf	Merge pull request #462 from daveshah1/up5k	blob \| commitdiff \| raw \| diff to current
2017-11-27	Clifford Wolf	Fixed "yosys-smtbmc -g" handling of no solution	blob \| commitdiff \| raw \| diff to current
2017-11-27	Clifford Wolf	Fixed "yosys-smtbmc -g" handling of no solution	blob \| commitdiff \| raw \| diff to current
2017-11-09	dh73	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-10-25	Clifford Wolf	Fix a bug in yosys-smtbmc in ROM handling	blob \| commitdiff \| raw \| diff to current
2017-08-04	Clifford Wolf	Add "yosys-smtbmc --smtc-init --smtc-top --noinit"	blob \| commitdiff \| raw \| diff to current
2017-07-21	Clifford Wolf	Add verilator support to testbenches generated by yosys...	blob \| commitdiff \| raw \| diff to current
2017-07-12	Clifford Wolf	Generate FSM-style testbenches in smtbmc	blob \| commitdiff \| raw \| diff to current
2017-07-07	Clifford Wolf	Change s/asserts/assertions/ in yosys-smtbmc log messages	blob \| commitdiff \| raw \| diff to current
2017-07-07	Clifford Wolf	Add "yosys-smtbmc --presat"	blob \| commitdiff \| raw \| diff to current
2017-07-03	Clifford Wolf	Merge pull request #352 from rqou/master	blob \| commitdiff \| raw \| diff to current
2017-07-03	Clifford Wolf	Remove unneeded delays in smtbmc vlogtb	blob \| commitdiff \| raw \| diff to current
2017-07-01	Clifford Wolf	Add "yosys-smtbmc --vlogtb-top"	blob \| commitdiff \| raw \| diff to current
2017-07-01	Clifford Wolf	Fix smtbmc vlogtb bug in $anyseq handling	blob \| commitdiff \| raw \| diff to current
2017-06-07	Clifford Wolf	Fix generation of vlogtb output in yosys-smtbmc for...	blob \| commitdiff \| raw \| diff to current
2017-02-28	Clifford Wolf	Use hex addresses in smtbmc vcd mem traces	blob \| commitdiff \| raw \| diff to current
2017-02-26	Clifford Wolf	Add smtbmc support for memory vcd dumping	blob \| commitdiff \| raw \| diff to current
2017-02-26	Clifford Wolf	Fix assert checking in "yosys-smtbmc -c --append"	blob \| commitdiff \| raw \| diff to current
2017-02-26	Clifford Wolf	Improve (and fix for stbv mode) SMT2 memory API	blob \| commitdiff \| raw \| diff to current
2017-02-25	Clifford Wolf	Add support for "yosys-smtbmc -c --append"	blob \| commitdiff \| raw \| diff to current
2017-02-25	Clifford Wolf	Merge branch 'master' of https://github.com/klammerj...	blob \| commitdiff \| raw \| diff to current
2017-02-24	Clifford Wolf	Merge pull request #322 from azonenberg/master	blob \| commitdiff \| raw \| diff to current
2017-02-24	Clifford Wolf	Add "write_smt2 -stbv"	blob \| commitdiff \| raw \| diff to current
2017-02-11	Clifford Wolf	Merge branch 'master' of https://github.com/stv0g/yosys...	blob \| commitdiff \| raw \| diff to current
2017-02-09	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
next

RSS Atom