index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
backends
/
smv
Commit message (
Expand
)
Author
Age
Files
Lines
*
Hook up $aldff support in various passes.
Marcelina KoĆcielnicka
2021-10-02
1
-1
/
+1
*
Fixing old e-mail addresses and deadnames
Claire Xenia Wolf
2021-06-08
1
-1
/
+1
*
btor, smt2, smv: Add a hint on how to deal with funny FF types.
Marcelina KoĆcielnicka
2021-02-25
1
-2
/
+16
*
Add missing gitignores for test artifacts
Xiretza
2020-08-31
1
-0
/
+1
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-2
/
+2
*
Add flooring division operator
Xiretza
2020-05-28
1
-2
/
+2
*
Add flooring modulo operator
Xiretza
2020-05-28
2
-4
/
+5
*
kernel: big fat patch to use more ID::*, otherwise ID(*)
Eddie Hung
2020-04-02
1
-72
/
+72
*
kernel: use more ID::*
Eddie Hung
2020-04-02
1
-70
/
+70
*
substr() -> compare()
Eddie Hung
2019-08-07
1
-1
/
+1
*
Add $_NMUX_, add "abc -g cmos", add proper cmos cell costs
Clifford Wolf
2019-08-06
1
-0
/
+7
*
Add "whitebox" attribute, add "read_verilog -wb"
Clifford Wolf
2019-04-18
1
-1
/
+1
*
Minor update
Aman Goel
2018-10-15
1
-1
/
+1
*
Update to .smv backend
Aman Goel
2018-10-01
1
-33
/
+52
*
Consistent use of 'override' for virtual methods in derived classes.
Henner Zeller
2018-07-20
1
-2
/
+2
*
Add $_ANDNOT_ and $_ORNOT_ gates
Clifford Wolf
2017-05-17
1
-3
/
+7
*
Added "yosys -D" feature
Clifford Wolf
2016-04-21
1
-1
/
+1
*
Import more std:: stuff into Yosys namespace
Clifford Wolf
2015-10-25
1
-5
/
+5
*
Added SMV back-end 'test_cells.sh' script
Clifford Wolf
2015-08-12
1
-0
/
+33
*
Bugfix in SMV back-end for partially unassigned wires
Clifford Wolf
2015-08-05
1
-4
/
+16
*
Added $assert support to SMV back-end
Clifford Wolf
2015-08-04
1
-4
/
+21
*
Fixed trailing whitespaces
Clifford Wolf
2015-07-02
1
-2
/
+2
*
Added init support to SMV back-end
Clifford Wolf
2015-06-19
1
-1
/
+3
*
Progress in SMV back-end
Clifford Wolf
2015-06-19
1
-64
/
+115
*
Progress in SMV back-end
Clifford Wolf
2015-06-19
1
-13
/
+59
*
Progress in SMV back-end
Clifford Wolf
2015-06-18
1
-24
/
+94
*
Progress in SMV back-end
Clifford Wolf
2015-06-17
1
-11
/
+72
*
Progress in SMV back-end
Clifford Wolf
2015-06-17
1
-11
/
+64
*
Progress in SMV back-end
Clifford Wolf
2015-06-16
1
-3
/
+46
*
Progress in SMV back-end
Clifford Wolf
2015-06-15
1
-2
/
+95
*
Progress in SMV back-end
Clifford Wolf
2015-06-15
1
-7
/
+85
*
Added "write_smv" skeleton
Clifford Wolf
2015-06-15
2
-0
/
+261