index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
examples
Commit message (
Expand
)
Author
Age
Files
Lines
*
Progress in examples/gowin/
Clifford Wolf
2016-11-08
5
-21
/
+95
*
Added examples/gowin/
Clifford Wolf
2016-11-07
6
-0
/
+57
*
Added $anyseq cell type
Clifford Wolf
2016-10-14
1
-1
/
+2
*
yosys-smtbmc meminit support
Clifford Wolf
2016-09-08
3
-2
/
+29
*
Improvements in assertpmux
Clifford Wolf
2016-09-07
3
-2
/
+25
*
Made examples/smtbmc/demo1.v more interesting
Clifford Wolf
2016-09-02
1
-1
/
+1
*
Added $anyconst support to yosys-smtbmc
Clifford Wolf
2016-08-30
3
-1
/
+29
*
Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem"
Clifford Wolf
2016-08-30
1
-4
/
+4
*
Removed $predict again
Clifford Wolf
2016-08-28
1
-1
/
+0
*
Added smtc "final" statement
Clifford Wolf
2016-08-27
4
-2
/
+36
*
More yosys-smtbmc smtc features
Clifford Wolf
2016-08-24
4
-5
/
+38
*
yosys-smtbmc --smtc -g
Clifford Wolf
2016-08-24
2
-5
/
+14
*
Added "yosys-smtbmc --dump-constr"
Clifford Wolf
2016-08-22
1
-1
/
+1
*
Added examples/smtbmc/demo2.v
Clifford Wolf
2016-08-20
3
-3
/
+45
*
Added smtbmc longopt support
Clifford Wolf
2016-08-20
1
-2
/
+2
*
Added $initstate support to smtbmc flow
Clifford Wolf
2016-07-27
1
-1
/
+2
*
After reading the SV spec, using non-standard predict() instead of expect()
Clifford Wolf
2016-07-21
1
-1
/
+1
*
Added examples/smtbmc
Clifford Wolf
2016-07-13
2
-0
/
+30
*
Cleanups and improvements in examples/cmos/
Clifford Wolf
2016-03-11
5
-12
/
+19
*
Merge commit 'b34385ec924b6067c1f82bdbae923f8062518956'
Clifford Wolf
2016-03-11
5
-9
/
+76
|
\
|
*
Completed ngspice digital example with verilog tb
Uros Platise
2016-03-05
5
-9
/
+76
*
|
Added examples/cxx-api/evaldemo.cc
Clifford Wolf
2016-03-08
1
-0
/
+55
|
/
*
Added digital (xspice) example code to examples/cmos/
Clifford Wolf
2016-03-02
4
-1
/
+70
*
Added examples/ top-level directory
Clifford Wolf
2015-10-13
15
-0
/
+304