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

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

2019-01-02	Clifford Wolf	Merge pull request #770 from whitequark/opt_expr_cmp	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #755 from Icenowy/anlogic-dram-init	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #750 from Icenowy/anlogic-ff-init	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #773 from whitequark/opt_lut_elim_fixes	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #772 from whitequark/synth_lut	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #771 from whitequark/techmap_cmp2lut	blob \| commitdiff \| raw
2019-01-02	Clifford Wolf	Merge pull request #769 from whitequark/typos	blob \| commitdiff \| raw
2019-01-02	whitequark	Fix typographical and grammatical errors and inconsiste...	blob \| commitdiff \| raw
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
2017-02-04	Clifford Wolf	Add assert check in "yosys-smtbmc -c"	blob \| commitdiff \| raw \| diff to current
2017-02-04	Clifford Wolf	Improve yosys-smtbmc cover() support	blob \| commitdiff \| raw \| diff to current
2017-02-04	Clifford Wolf	Partially implement cover() support in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2017-01-31	Clifford Wolf	Merge branch 'opt_compare_pr' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2017-01-30	Clifford Wolf	Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename...	blob \| commitdiff \| raw \| diff to current
2017-01-28	Clifford Wolf	Add "yosys-smtbmc --aig-noheader" and AIGER mem init...	blob \| commitdiff \| raw \| diff to current
2017-01-15	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-01-11	Clifford Wolf	Fix $initstate handling bug in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2017-01-05	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-01-02	Clifford Wolf	Handle "always 1" like "always -1" in .smtc files	blob \| commitdiff \| raw \| diff to current
2016-12-03	Clifford Wolf	Improved yosys-smtbmc default -t/--assume-skipped for...	blob \| commitdiff \| raw \| diff to current
2016-12-01	Clifford Wolf	Added "yosys-smtbmc --aig"	blob \| commitdiff \| raw \| diff to current
2016-11-22	Clifford Wolf	Merge pull request #274 from oldtopman/lcurses	blob \| commitdiff \| raw \| diff to current
2016-11-22	Clifford Wolf	Added "yosys-smtbmc --append"	blob \| commitdiff \| raw \| diff to current
2016-10-19	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-10-18	Clifford Wolf	Ignore L_pi nets in "yosys-smtbmc --cex"	blob \| commitdiff \| raw \| diff to current
2016-10-17	Clifford Wolf	Added "yosys-smtbmc --cex <filename>"	blob \| commitdiff \| raw \| diff to current
2016-10-11	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-10-08	Clifford Wolf	Added smtc support for top-level state with [], [N...	blob \| commitdiff \| raw \| diff to current
2016-09-24	Clifford Wolf	Minor improvements in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2016-09-23	Clifford Wolf	Merge branch 'master' of https://github.com/brouhaha...	blob \| commitdiff \| raw \| diff to current
2016-09-19	Clifford Wolf	Added yosys-smtbmc --noinfo and --dummy	blob \| commitdiff \| raw \| diff to current
2016-09-18	Clifford Wolf	Improved handling of SMT2 logics in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2016-09-17	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2016-09-17	Clifford Wolf	yosys-smtbmc: added -i support smtc files	blob \| commitdiff \| raw \| diff to current
2016-09-13	Clifford Wolf	Work-around for boolector bug	blob \| commitdiff \| raw \| diff to current
2016-09-05	Clifford Wolf	yosys-smtbmc: flush stdout after each log msg	blob \| commitdiff \| raw \| diff to current
2016-09-03	Clifford Wolf	Added boolector support to yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2016-09-02	Clifford Wolf	Merge branch 'smtbmc-kmanfi'	blob \| commitdiff \| raw \| diff to current
2016-09-02	Kaj Tuomi	More PEP 8 fixes.	blob \| commitdiff \| raw \| diff to current
2016-09-02	Kaj Tuomi	Indentation and PEP 8 fixes. CamelCase and white space...	blob \| commitdiff \| raw \| diff to current
2016-09-02	Kaj Tuomi	Some syntax fixes. Generator and comma separated list...	blob \| commitdiff \| raw \| diff to current
2016-08-30	Clifford Wolf	Added $anyconst support to yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2016-08-29	Clifford Wolf	Added "yosys-smtbmc --dump-all"	blob \| commitdiff \| raw \| diff to current
2016-08-29	Clifford Wolf	More yosys-smtbmc bugfixes	blob \| commitdiff \| raw \| diff to current
2016-08-29	Clifford Wolf	Various fixes and improvements in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2016-08-27	Clifford Wolf	Some changes to yosys-smtbmc cmd line options, add...	blob \| commitdiff \| raw \| diff to current
2016-08-27	Clifford Wolf	Added smtc "final" statement	blob \| commitdiff \| raw \| diff to current
2016-08-26	Clifford Wolf	Merge pull request #215 from frznchckn/to_upstream	blob \| commitdiff \| raw \| diff to current
2016-08-24	Clifford Wolf	More yosys-smtbmc smtc features	blob \| commitdiff \| raw \| diff to current
2016-08-24	Clifford Wolf	yosys-smtbmc --smtc -g	blob \| commitdiff \| raw \| diff to current
2016-08-22	Clifford Wolf	Minor yosys-smtbmc bugfix	blob \| commitdiff \| raw \| diff to current
2016-08-22	Clifford Wolf	Added "yosys-smtbmc --constr"	blob \| commitdiff \| raw \| diff to current
next

RSS Atom