Clifford Wolf
|
18ea65ef04
|
Add "yosys-smtbmc --aig <aim_filename>:<aiw_filename>" support
|
2017-01-30 11:38:43 +01:00 |
|
Clifford Wolf
|
e54c355b41
|
Add "yosys-smtbmc --aig-noheader" and AIGER mem init support
|
2017-01-28 15:15:02 +01:00 |
|
Clifford Wolf
|
b7cfb7dbd2
|
Fix $initstate handling bug in yosys-smtbmc
|
2017-01-11 14:14:12 +01:00 |
|
Clifford Wolf
|
81bb952e5d
|
Handle "always 1" like "always -1" in .smtc files
|
2017-01-02 20:08:03 +01:00 |
|
Clifford Wolf
|
37760541bd
|
Improved yosys-smtbmc default -t/--assume-skipped for --cex and --aig
|
2016-12-03 12:37:20 +01:00 |
|
Clifford Wolf
|
88b9733253
|
Added "yosys-smtbmc --aig"
|
2016-12-01 13:16:57 +01:00 |
|
Clifford Wolf
|
f257ccf22e
|
Added "yosys-smtbmc --append"
|
2016-11-22 21:21:13 +01:00 |
|
Clifford Wolf
|
281a977b39
|
Ignore L_pi nets in "yosys-smtbmc --cex"
|
2016-10-18 10:54:53 +02:00 |
|
Clifford Wolf
|
0bcc617a4f
|
Added "yosys-smtbmc --cex <filename>"
|
2016-10-17 14:57:28 +02:00 |
|
Clifford Wolf
|
5f6a838823
|
Added smtc support for top-level state with [], [N:] syntax
|
2016-10-08 12:25:34 +02:00 |
|
Clifford Wolf
|
34e2fb594d
|
Minor improvements in yosys-smtbmc
|
2016-09-24 20:40:22 +02:00 |
|
Clifford Wolf
|
2e244c2d8e
|
Added yosys-smtbmc --noinfo and --dummy
|
2016-09-19 20:43:28 +02:00 |
|
Clifford Wolf
|
d009cdd6ee
|
Improved handling of SMT2 logics in yosys-smtbmc
|
2016-09-18 20:48:09 +02:00 |
|
Clifford Wolf
|
7bc88e8101
|
yosys-smtbmc: added -i support smtc files
|
2016-09-18 00:48:36 +02:00 |
|
Clifford Wolf
|
d39db41df8
|
Work-around for boolector bug
|
2016-09-13 13:23:06 +02:00 |
|
Clifford Wolf
|
97b449fe55
|
yosys-smtbmc: flush stdout after each log msg
|
2016-09-06 01:40:31 +02:00 |
|
Clifford Wolf
|
fa5565b606
|
Added boolector support to yosys-smtbmc
|
2016-09-03 14:26:00 +02:00 |
|
Kaj Tuomi
|
d88cd0ae7f
|
More PEP 8 fixes.
|
2016-09-02 13:09:09 +03:00 |
|
Kaj Tuomi
|
c4ba1965fd
|
Indentation and PEP 8 fixes. CamelCase and white space after semicolon.
|
2016-09-02 13:01:31 +03:00 |
|
Kaj Tuomi
|
74dd36ad55
|
Some syntax fixes. Generator and comma separated list modifications.
|
2016-09-02 11:02:19 +03:00 |
|
Clifford Wolf
|
aa25a4cec6
|
Added $anyconst support to yosys-smtbmc
|
2016-08-30 19:27:42 +02:00 |
|
Clifford Wolf
|
c417421495
|
Added "yosys-smtbmc --dump-all"
|
2016-08-29 22:41:45 +02:00 |
|
Clifford Wolf
|
b226893461
|
More yosys-smtbmc bugfixes
|
2016-08-29 14:53:32 +02:00 |
|
Clifford Wolf
|
a2e2fc5980
|
Various fixes and improvements in yosys-smtbmc
|
2016-08-29 13:53:12 +02:00 |
|
Clifford Wolf
|
f56dba8e20
|
Some changes to yosys-smtbmc cmd line options, add --final-only
|
2016-08-27 22:04:15 +02:00 |
|
Clifford Wolf
|
adcda6817e
|
Added smtc "final" statement
|
2016-08-27 14:30:36 +02:00 |
|
Clifford Wolf
|
ad56ad44c3
|
More yosys-smtbmc smtc features
|
2016-08-24 23:18:29 +02:00 |
|
Clifford Wolf
|
ee3e7a0e45
|
yosys-smtbmc --smtc -g
|
2016-08-24 22:09:50 +02:00 |
|
Clifford Wolf
|
6523023645
|
Minor yosys-smtbmc bugfix
|
2016-08-22 17:45:01 +02:00 |
|
Clifford Wolf
|
583ceee6eb
|
Added "yosys-smtbmc --constr"
|
2016-08-22 17:27:43 +02:00 |
|
Clifford Wolf
|
2bd30e2026
|
Added "yosys-smtbmc --dump-constr"
|
2016-08-22 16:48:46 +02:00 |
|
Clifford Wolf
|
7a33b9892a
|
yosys-smtbmc: improved --dump-vlogtb handling of memories
|
2016-08-21 15:56:22 +02:00 |
|
Clifford Wolf
|
f7578b0239
|
Added "yosys-smtbmc --dump-vlogtb"
|
2016-08-20 18:43:39 +02:00 |
|
Clifford Wolf
|
28271e43c9
|
Added "yosys-smtbmc -g"
|
2016-08-20 16:32:50 +02:00 |
|
Clifford Wolf
|
a889acb897
|
Added smtbmc longopt support
|
2016-08-20 16:07:59 +02:00 |
|
Clifford Wolf
|
de8ee412c3
|
Improved smtbmc vcd generation performance
|
2016-08-18 11:17:45 +02:00 |
|
Clifford Wolf
|
dfcd30ea86
|
Added printing of code loc of failed asserts to yosys-smtbmc
|
2016-08-17 20:10:02 +02:00 |
|
Clifford Wolf
|
da56a5bbc6
|
Added $initstate support to smtbmc flow
|
2016-07-27 16:11:37 +02:00 |
|
Clifford Wolf
|
c71785d65e
|
Yosys-smtbmc: Support for hierarchical VCD dumping
|
2016-07-11 12:49:33 +02:00 |
|
Clifford Wolf
|
0153ad85d9
|
Moved smt2 yosys info parsing from smtbmc.py to smtio.py
|
2016-07-11 11:49:05 +02:00 |
|
Clifford Wolf
|
771c5fe000
|
Support for hierarchical designs in smt2 back-end
|
2016-07-10 18:11:25 +02:00 |
|
Clifford Wolf
|
47fac573cf
|
Added yosys-smtbmc -S
|
2015-12-20 09:58:54 +01:00 |
|
Clifford Wolf
|
255bb914ba
|
Progress in yosys-smtbmc
|
2015-10-15 15:54:59 +02:00 |
|
Clifford Wolf
|
302166dd59
|
Improvements in yosys-smtbmc
|
2015-10-15 15:10:33 +02:00 |
|
Clifford Wolf
|
5dd3e93e8f
|
More "yosys-smtbmc -c" fixes
|
2015-10-14 23:23:25 +02:00 |
|
Clifford Wolf
|
9fd0f87059
|
Fixed yosys-smtbmc -c
|
2015-10-14 23:00:46 +02:00 |
|
Clifford Wolf
|
3c31572152
|
Added yosys-smtbmc copyright
|
2015-10-14 01:31:54 +02:00 |
|
Clifford Wolf
|
d7de0f4bd1
|
Improvements in yosys-smtbmc
|
2015-10-14 01:27:55 +02:00 |
|
Clifford Wolf
|
821f1b8534
|
Added yosys-smtbmc
|
2015-10-14 00:47:04 +02:00 |
|
Clifford Wolf
|
7bcd2a4bb3
|
Implemented smtbmc.py -i
|
2015-10-14 00:18:38 +02:00 |
|