index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
equiv
/
equiv_make.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fixing old e-mail addresses and deadnames
Claire Xenia Wolf
2021-06-08
1
-1
/
+1
*
use the new isPublic() in a few places
N. Engelhardt
2020-09-14
1
-4
/
+4
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-2
/
+2
*
kernel: big fat patch to use more ID::*, otherwise ID(*)
Eddie Hung
2020-04-02
1
-1
/
+1
*
Spelling
Eddie Hung
2019-08-22
1
-2
/
+2
*
using [i] to access individual bits of SigSpec and merging bits into a tmp Si...
rafaeltp
2018-10-21
1
-11
/
+12
*
cleaning up for PR
rafaeltp
2018-10-20
1
-2
/
+2
*
fixing code style
rafaeltp
2018-10-20
1
-1
/
+1
*
solves #675
rafaeltp
2018-10-20
1
-11
/
+17
*
stop check_signal_in_fanout from traversing FFs
tklam
2018-10-13
1
-2
/
+2
*
stop check_signal_in_fanout from traversing FFs
tklam
2018-10-13
1
-1
/
+12
*
fix bug: pass by reference
tklam
2018-09-26
1
-1
/
+1
*
Fix issue #639
TK Lam
2018-09-26
1
-0
/
+58
*
Consistent use of 'override' for virtual methods in derived classes.
Henner Zeller
2018-07-20
1
-2
/
+2
*
Improve log messages in equiv_make
Clifford Wolf
2018-01-19
1
-2
/
+2
*
Added "yosys -D" feature
Clifford Wolf
2016-04-21
1
-1
/
+1
*
Improved inout handling in equiv_make
Clifford Wolf
2015-10-21
1
-1
/
+1
*
Spell check (by Larry Doolittle)
Clifford Wolf
2015-08-14
1
-1
/
+1
*
Fixed trailing whitespaces
Clifford Wolf
2015-07-02
1
-2
/
+2
*
Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")
Clifford Wolf
2015-01-31
1
-12
/
+31
*
Added "equiv_make -blacklist <file> -encfile <file>"
Clifford Wolf
2015-01-31
1
-4
/
+172
*
Various equiv_* improvements
Clifford Wolf
2015-01-24
1
-8
/
+13
*
Improvements in equiv_make, equiv_induct
Clifford Wolf
2015-01-22
1
-0
/
+34
*
Moved equiv stuff to passes/equiv/
Clifford Wolf
2015-01-22
1
-0
/
+248