index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Added missing :produce-models setting to smtio.py
Clifford Wolf
2016-09-11
1
-1
/
+2
*
Minor improvements to smtio.py vcd writer
Clifford Wolf
2016-09-10
1
-1
/
+3
*
fixed write_smt2 for (non-combinatorial) loops through hierarchical cells
Clifford Wolf
2016-09-10
1
-17
/
+34
*
smt2 mem init bugfix
Clifford Wolf
2016-09-08
1
-4
/
+6
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2016-09-08
1
-1
/
+1
|
\
|
*
Merge pull request #225 from Kmanfi/test
Clifford Wolf
2016-09-08
1
-1
/
+1
|
|
\
|
|
*
Typo fix.
Kaj Tuomi
2016-09-08
1
-1
/
+1
|
|
/
*
/
yosys-smtbmc meminit support
Clifford Wolf
2016-09-08
4
-5
/
+52
|
/
*
Bugfix in "yosys-smtbmc --unroll"
Clifford Wolf
2016-09-07
1
-1
/
+1
*
Added "yosys-smtbmc --unroll"
Clifford Wolf
2016-09-07
1
-11
/
+130
*
Install celledges.h
Clifford Wolf
2016-09-07
1
-0
/
+1
*
Improvements in assertpmux
Clifford Wolf
2016-09-07
6
-23
/
+202
*
Updated ABC to hg 8e08604f8ad3
Clifford Wolf
2016-09-07
1
-1
/
+1
*
Added assertpmux
Clifford Wolf
2016-09-07
3
-0
/
+105
*
Added "tee +INT -INT"
Clifford Wolf
2016-09-06
1
-0
/
+10
*
Run log_flush() before solving in sat command
Clifford Wolf
2016-09-06
1
-0
/
+3
*
Bugfix in parsing of BLIF latch init values
Clifford Wolf
2016-09-06
1
-1
/
+1
*
Avoid creation of bogus initial blocks for assert/assume in always @*
Clifford Wolf
2016-09-06
3
-1
/
+13
*
Fix spelling and grammar in README
Larry Doolittle
2016-09-06
1
-4
/
+4
*
yosys-smtbmc: flush stdout after each log msg
Clifford Wolf
2016-09-06
1
-17
/
+21
*
Minor bugfix in write_smt2
Clifford Wolf
2016-09-04
1
-3
/
+3
*
Minor README updates
Clifford Wolf
2016-09-03
1
-4
/
+4
*
Added boolector support to yosys-smtbmc
Clifford Wolf
2016-09-03
3
-33
/
+58
*
Merge branch 'smtbmc-kmanfi'
Clifford Wolf
2016-09-02
3
-49
/
+34
|
\
|
*
Made examples/smtbmc/demo1.v more interesting
Clifford Wolf
2016-09-02
1
-1
/
+1
|
*
Don't re-create hex_dict for each value
Clifford Wolf
2016-09-02
1
-7
/
+10
|
*
More PEP 8 fixes.
Kaj Tuomi
2016-09-02
2
-7
/
+6
|
*
Indentation and PEP 8 fixes. CamelCase and white space after semicolon.
Kaj Tuomi
2016-09-02
2
-13
/
+13
|
*
Use dict lookup instead of many ifs.
Kaj Tuomi
2016-09-02
1
-19
/
+8
|
*
Fix: Unresolved reference.
Kaj Tuomi
2016-09-02
1
-1
/
+1
|
*
Some syntax fixes. Generator and comma separated list modifications.
Kaj Tuomi
2016-09-02
1
-14
/
+8
|
/
*
Added "prep -nomem"
Clifford Wolf
2016-08-30
1
-6
/
+16
*
Added $anyconst support to yosys-smtbmc
Clifford Wolf
2016-08-30
7
-2
/
+58
*
Removed $aconst cell type
Clifford Wolf
2016-08-30
7
-21
/
+8
*
Fixed memory bug in write_smt2
Clifford Wolf
2016-08-30
1
-9
/
+23
*
Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"
Clifford Wolf
2016-08-30
2
-18
/
+22
*
Added $anyconst support to smt2 back-end
Clifford Wolf
2016-08-30
1
-0
/
+17
*
Improved init spec handling in opt_rmdff, modernized the code a bit
Clifford Wolf
2016-08-30
1
-39
/
+82
*
Added "yosys-smtbmc --dump-all"
Clifford Wolf
2016-08-29
1
-45
/
+67
*
More yosys-smtbmc bugfixes
Clifford Wolf
2016-08-29
1
-6
/
+6
*
Various fixes and improvements in yosys-smtbmc
Clifford Wolf
2016-08-29
1
-42
/
+66
*
Removed $predict again
Clifford Wolf
2016-08-28
15
-38
/
+7
*
Improved "show" help message
Clifford Wolf
2016-08-28
1
-3
/
+5
*
Some changes to yosys-smtbmc cmd line options, add --final-only
Clifford Wolf
2016-08-27
1
-33
/
+49
*
Fixed handling of transparent bram rd ports on ROMs
Clifford Wolf
2016-08-27
2
-0
/
+4
*
Added smtc "final" statement
Clifford Wolf
2016-08-27
5
-9
/
+86
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2016-08-26
1
-3
/
+4
|
\
|
*
Merge pull request #215 from frznchckn/to_upstream
Clifford Wolf
2016-08-26
1
-3
/
+4
|
|
\
|
|
*
Relax test to see if yosys dir is a git repository in Makefile
Russell L Friesenhahn
2016-08-26
1
-1
/
+1
|
|
*
Allow redefining of the ABC repository URL
Russell L Friesenhahn
2016-08-26
1
-2
/
+3
[prev]
[next]