index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
smt2
Commit message (
Expand
)
Author
Age
Files
Lines
*
Ensure smt2 comments are associated with accessors
Noah Moroze
2020-08-20
1
-9
/
+20
*
smtio: Emit `mode: start` options before `set-logic` command and any other op...
Alberto Gonzalez
2020-07-20
1
-1
/
+8
*
smtio: Add support for parsing `yosys-smt2-solver-option` info statements.
Alberto Gonzalez
2020-07-20
1
-3
/
+10
*
smt2: Add `-solver-option` option.
Alberto Gonzalez
2020-07-20
1
-0
/
+13
*
Only allow "sat" and "unsat" smt solver responses in yosys-smtbmc
Claire Wolf
2020-07-20
2
-4
/
+4
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-2
/
+2
*
more reasonable numbers for memory
Yehowshua Immanuel
2020-06-04
1
-1
/
+1
*
MacOS has even stricter stack limits in catalina.
Yehowshua Immanuel
2020-06-04
1
-1
/
+1
*
Merge pull request #2018 from boqwxp/qbfsat-timeout
clairexen
2020-05-30
2
-5
/
+31
|
\
|
*
smtbmc: Remove superfluous `yosys-smt2-timeout` file macro.
Alberto Gonzalez
2020-05-29
1
-4
/
+0
|
*
smtbmc and qbfsat: Add timeout option to set solver timeouts for Z3, Yices, a...
Alberto Gonzalez
2020-05-25
2
-5
/
+35
*
|
Merge pull request #1885 from Xiretza/mod-rem-cells
clairexen
2020-05-29
1
-0
/
+10
|
\
\
|
|
/
|
/
|
|
*
Add flooring modulo operator
Xiretza
2020-05-28
1
-0
/
+10
*
|
qbfsat: Move SMT2 info statements back to the top of the file.
Alberto Gonzalez
2020-05-25
1
-3
/
+3
*
|
qbfsat: Add `-solver` option and allow choice of Z3 or Yices, making Yices th...
Alberto Gonzalez
2020-05-25
1
-3
/
+7
|
/
*
smtbmc: Fix typo in error message.
Alberto Gonzalez
2020-05-19
1
-1
/
+1
*
smtbmc: Fix return status handling.
Alberto Gonzalez
2020-05-14
1
-2
/
+2
*
Merge pull request #1830 from boqwxp/qbfsat
N. Engelhardt
2020-04-15
1
-3
/
+15
|
\
|
*
Updated `yosys-smtbmc` to optionally dump raw bit strings, and fixed hole val...
Alberto Gonzalez
2020-04-04
1
-3
/
+15
*
|
Support custom PROGRAM_PREFIX
Miodrag Milanovic
2020-04-10
2
-9
/
+8
*
|
kernel: big fat patch to use more ID::*, otherwise ID(*)
Eddie Hung
2020-04-02
1
-135
/
+135
*
|
kernel: use more ID::*
Eddie Hung
2020-04-02
1
-37
/
+37
*
|
Update `RTLIL::id2cstr()` usage to `log_id`.
Alberto Gonzalez
2020-04-01
1
-2
/
+2
|
/
*
Do not change solver output parsing for non-exists-forall problems.
Alberto Gonzalez
2020-03-26
1
-2
/
+6
*
Skip reading stdout from the solver that if it isn't a line reading only "sat...
Alberto Gonzalez
2020-03-26
1
-1
/
+3
*
Revert part of 0fda8308 from #1746 that broke other smtbmc flows
Claire Wolf
2020-03-24
1
-3
/
+1
*
fix typo in `write_smt2` help
Teguh Hofstee
2020-03-23
1
-1
/
+1
*
Merge pull request #1768 from boqwxp/smt2_cleanup
N. Engelhardt
2020-03-16
1
-5
/
+5
|
\
|
*
Clean up pseudo-private member usage in `backends/smt2/smt2.cc`.
Alberto Gonzalez
2020-03-13
1
-5
/
+5
*
|
Add support for optimizing exists-forall problems.
Alberto Gonzalez
2020-03-13
3
-1
/
+33
|
/
*
Improve yosys-smtbmc "solver not found" handling
Claire Wolf
2020-01-27
1
-1
/
+5
*
Bugfix in smtio vcd handling of $-identifiers
Clifford Wolf
2019-10-23
1
-6
/
+9
*
Change smtbmc "Warmup failed" status to "PREUNSAT"
Clifford Wolf
2019-10-03
1
-14
/
+14
*
backends: smt2: use $(CXX) variable for compiler
Sean Cross
2019-09-08
1
-1
/
+1
*
substr() -> compare()
Eddie Hung
2019-08-07
1
-1
/
+1
*
Make liberal use of IdString.in()
Eddie Hung
2019-08-06
1
-1
/
+1
*
Add $_NMUX_, add "abc -g cmos", add proper cmos cell costs
Clifford Wolf
2019-08-06
1
-0
/
+1
*
smt: handle failure of setrlimit syscall
N. Engelhardt
2019-07-15
1
-1
/
+5
*
Escape scope names starting with dollar sign in smtio.py
Clifford Wolf
2019-06-26
1
-1
/
+4
*
Add timescale and generated-by header to yosys-smtbmc MkVcd
Clifford Wolf
2019-06-16
1
-0
/
+2
*
Add "whitebox" attribute, add "read_verilog -wb"
Clifford Wolf
2019-04-18
1
-1
/
+1
*
Fix smtbmc.py handling of zero appended steps
Clifford Wolf
2019-03-14
1
-5
/
+5
*
Install launcher executable when running yosys-smtbmc on Windows.
William D. Jones
2019-03-13
1
-1
/
+17
*
Fix signed $shift/$shiftx handling in write_smt2
Clifford Wolf
2019-03-09
1
-1
/
+2
*
Use SVA label in smt export if available
Clifford Wolf
2019-03-07
1
-2
/
+2
*
Fix smt2 code generation for partially initialized memowy words, fixes #831
Clifford Wolf
2019-02-28
1
-4
/
+11
*
Add missing blackslash-to-slash convertion to smtio.py (matching Smt2Worker::...
Clifford Wolf
2019-02-06
1
-1
/
+1
*
Fix typographical and grammatical errors and inconsistencies.
whitequark
2019-01-02
1
-4
/
+4
*
Add yosys-smtbmc support for btor witness
Clifford Wolf
2018-12-10
1
-15
/
+100
*
Add "yosys-smtbmc --btorwit" skeleton
Clifford Wolf
2018-12-08
1
-1
/
+19
[next]