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

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

2019-07-24	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw
2019-07-18	Clifford Wolf	Merge pull request #1184 from whitequark/synth-better...	blob \| commitdiff \| raw
2019-07-16	Eddie Hung	Merge pull request #1188 from YosysHQ/eddie/abc9_push_i...	blob \| commitdiff \| raw
2019-07-16	Eddie Hung	Merge pull request #1186 from YosysHQ/eddie/abc9_ice40_fix	blob \| commitdiff \| raw
2019-07-15	Eddie Hung	Merge pull request #1196 from YosysHQ/eddie/fix1178	blob \| commitdiff \| raw
2019-07-15	Clifford Wolf	Merge pull request #1189 from YosysHQ/eddie/fix1151	blob \| commitdiff \| raw
2019-07-15	Clifford Wolf	Merge pull request #1190 from YosysHQ/eddie/fix_1099	blob \| commitdiff \| raw
2019-07-15	Clifford Wolf	Merge pull request #1191 from whitequark/opt_lut-log_debug	blob \| commitdiff \| raw
2019-07-15	Clifford Wolf	Merge pull request #1195 from Roman-Parise/master	blob \| commitdiff \| raw
2019-07-15	Clifford Wolf	Merge pull request #1197 from nakengelhardt/handle...	blob \| commitdiff \| raw
2019-07-15	N. Engelhardt	smt: handle failure of setrlimit syscall	blob \| commitdiff \| raw
2019-06-27	Eddie Hung	Merge origin/master	blob \| commitdiff \| raw \| diff to current
2019-06-27	Eddie Hung	Merge pull request #1138 from YosysHQ/koriakin/xc7nocar...	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/xaig' into xc7mux	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 'xc7nocarrymux' of https://github.com...	blob \| commitdiff \| raw \| diff to current
2019-06-26	Clifford Wolf	Escape scope names starting with dollar sign in smtio.py	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 pull request #1085 from YosysHQ/eddie/shregmap_im...	blob \| commitdiff \| raw \| diff to current
2019-06-21	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-20	Clifford Wolf	Merge branch 'master' of https://github.com/bogdanvuk...	blob \| commitdiff \| raw \| diff to current
2019-06-18	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig	blob \| commitdiff \| raw \| diff to current
2019-06-18	Eddie Hung	Merge remote-tracking branch 'origin/master' into xc7mux	blob \| commitdiff \| raw \| diff to current
2019-06-18	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	blob \| commitdiff \| raw \| diff to current
2019-06-18	Clifford Wolf	Merge pull request #1086 from udif/pr_elab_sys_tasks2	blob \| commitdiff \| raw \| diff to current
2019-06-16	Clifford Wolf	Add timescale and generated-by header to yosys-smtbmc...	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-02-28	Clifford Wolf	Merge pull request #794 from daveshah1/ecp5improve	blob \| commitdiff \| raw \| diff to current
2019-02-17	Clifford Wolf	Merge branch 'master' of github.com:YosysHQ/yosys into...	blob \| commitdiff \| raw \| diff to current
2019-02-12	Clifford Wolf	Merge pull request #802 from whitequark/write_verilog_a...	blob \| commitdiff \| raw \| diff to current
2019-02-11	Jim Lawson	Merge remote-tracking branch 'upstream/master'	blob \| commitdiff \| raw \| diff to current
2019-02-06	Eddie Hung	Merge branch 'dff_init' of https://github.com/eddiehung...	blob \| commitdiff \| raw \| diff to current
2019-02-06	Clifford Wolf	Add missing blackslash-to-slash convertion to smtio...	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-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-07	Clifford Wolf	Merge pull request #693 from YosysHQ/rlimit	blob \| commitdiff \| raw \| diff to current
2018-11-07	Clifford Wolf	Limit stack size to 16 MB on Darwin	blob \| commitdiff \| raw \| diff to current
2018-11-06	Clifford Wolf	Run solver in non-incremental mode whem smtio.py is...	blob \| commitdiff \| raw \| diff to current
2018-11-06	Clifford Wolf	Fix for improved smtio.py rlimit code	blob \| commitdiff \| raw \| diff to current
2018-11-06	Clifford Wolf	Improve stack rlimit code in smtio.py	blob \| commitdiff \| raw \| diff to current
2018-11-05	Clifford Wolf	Merge pull request #691 from arjenroodselaar/stacksize	blob \| commitdiff \| raw \| diff to current
2018-11-05	Arjen Roodselaar	Use conservative stack size for SMT2 on MacOS	blob \| commitdiff \| raw \| diff to current
2018-09-17	Udi Finkelstein	Merge branch 'master' into pr_reg_wire_error	blob \| commitdiff \| raw \| diff to current
2018-08-22	Jim Lawson	Merge pull request #1 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-08-18	Aman Goel	Merge pull request #3 from YosysHQ/master	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #573 from cr1901/msys-64	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #591 from hzeller/virtual-override	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #590 from hzeller/remaining-file...	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #576 from cr1901/no-resource	blob \| commitdiff \| raw \| diff to current
2018-08-15	Clifford Wolf	Merge pull request #513 from udif/pr_reg_wire_error	blob \| commitdiff \| raw \| diff to current
2018-07-06	William D. Jones	Gate POSIX-only signals and resource module to only...	blob \| commitdiff \| raw \| diff to current
2018-04-04	Clifford Wolf	Add smtio.py support for parsing SMT2 (_ bvX n) syntax...	blob \| commitdiff \| raw \| diff to current
2018-03-29	Clifford Wolf	Add smtio status msgs when --progress is inactive	blob \| commitdiff \| raw \| diff to current
2018-03-29	Clifford Wolf	Bugfix in smtio.py VCD file generator	blob \| commitdiff \| raw \| diff to current
2018-03-17	Clifford Wolf	Improve yosys-smtbmc log output and error handling	blob \| commitdiff \| raw \| diff to current
2018-03-17	Clifford Wolf	Improve handling of invalid check-sat result in smtio.py	blob \| commitdiff \| raw \| diff to current
2018-03-08	Clifford Wolf	Remove debug prints from yosys-smtbmc VCD writer	blob \| commitdiff \| raw \| diff to current
2018-03-07	Clifford Wolf	Check results of (check-sat) in yosys-smtbmc	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-04	Clifford Wolf	Fix a hangup in yosys-smtbmc error handling	blob \| commitdiff \| raw \| diff to current
2018-03-03	Clifford Wolf	Improved error handling in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2018-03-03	Clifford Wolf	Terminate running SMT solver when smtbmc is terminated	blob \| commitdiff \| raw \| diff to current
2018-03-01	Clifford Wolf	Mangle names with square brackets in VCD files to work...	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
2018-02-03	Clifford Wolf	Merge pull request #488 from azonenberg/for_clifford	blob \| commitdiff \| raw \| diff to current
2018-01-29	Clifford Wolf	Fix smtio.py for large SMT2 S-expressions	blob \| commitdiff \| raw \| diff to current
2018-01-18	Clifford Wolf	Move user-provided smt2 info stmts to the top of the...	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-24	Clifford Wolf	Merge pull request #446 from mithro/travis-rework	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	Improve smtio performance by using reader thread, not...	blob \| commitdiff \| raw \| diff to current
2017-10-25	Clifford Wolf	Use separate writer thread for talking to SMT solver...	blob \| commitdiff \| raw \| diff to current
2017-10-25	Clifford Wolf	Improve p_* functions in smtio.py	blob \| commitdiff \| raw \| diff to current
2017-10-25	Clifford Wolf	Capsulate smt-solver read/write in separate functions	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-05-27	Clifford Wolf	Change default smt2 solver to yices (Yices 2 has switch...	blob \| commitdiff \| raw \| diff to current
2017-05-08	Clifford Wolf	Fix boolector support in yosys-smtbmc	blob \| commitdiff \| raw \| diff to current
2017-03-20	Clifford Wolf	Add "write_smt2 -stdt" mode	blob \| commitdiff \| raw \| diff to current
2017-03-04	Clifford Wolf	Improve smt2 encodings of assert/assume/cover, better...	blob \| commitdiff \| raw \| diff to current
2017-02-26	Clifford Wolf	Fix bug in smtio unroll code	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	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-24	Andrew Zonenberg	Merge https://github.com/cliffordwolf/yosys	blob \| commitdiff \| raw \| diff to current
2017-02-19	Clifford Wolf	Add "yosys-smtbmc -S <opt>"	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	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-28	Clifford Wolf	Add "yosys-smtbmc --aig-noheader" and AIGER mem init...	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-04	Clifford Wolf	Implicitly set "yosys-smtbmc --noprogress" on windows	blob \| commitdiff \| raw \| diff to current
2017-01-04	Clifford Wolf	Fixed "yosys-smtbmc --noprogress"	blob \| commitdiff \| raw \| diff to current
2016-11-27	Clifford Wolf	Removed shebang line from smtio.py, fixes #279	blob \| commitdiff \| raw \| diff to current
next

RSS Atom