index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
equiv
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
10
-20
/
+20
*
Improve log messages in equiv_make
Clifford Wolf
2018-01-19
1
-2
/
+2
*
Fix equiv_simple, old behavior now available with "equiv_simple -short"
Clifford Wolf
2017-04-28
1
-10
/
+41
*
Squelch trailing whitespace
Larry Doolittle
2017-04-12
1
-1
/
+1
*
Add $ff and $_FF_ support to equiv_simple
Clifford Wolf
2017-01-30
1
-2
/
+2
*
Improved equiv_purge log output
Clifford Wolf
2016-11-29
1
-1
/
+1
*
Added "yosys -D" feature
Clifford Wolf
2016-04-21
9
-9
/
+9
*
Added "equiv_struct -fwonly"
Clifford Wolf
2016-01-08
1
-5
/
+17
*
Bugfixes in equiv_struct
Clifford Wolf
2016-01-08
1
-2
/
+9
*
Added "equiv_struct -maxiter <N>"
Clifford Wolf
2016-01-06
1
-4
/
+16
*
Added "equiv_add -try" mode
Clifford Wolf
2016-01-06
1
-6
/
+33
*
Use mfp<> in equiv_mark
Clifford Wolf
2015-10-27
1
-28
/
+4
*
Improvements in equiv_struct
Clifford Wolf
2015-10-25
1
-17
/
+62
*
Major refactoring of equiv_struct
Clifford Wolf
2015-10-25
1
-93
/
+165
*
Import more std:: stuff into Yosys namespace
Clifford Wolf
2015-10-25
1
-1
/
+1
*
Added "equiv_add -cell"
Clifford Wolf
2015-10-25
1
-32
/
+93
*
equiv_struct now creates equiv_merged attributes
Clifford Wolf
2015-10-25
1
-0
/
+3
*
Improvements in equiv_struct
Clifford Wolf
2015-10-24
1
-1
/
+22
*
renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit()
Clifford Wolf
2015-10-24
2
-7
/
+7
*
equiv_purge bugfix, using SigChunk in Yosys namespace
Clifford Wolf
2015-10-24
2
-3
/
+4
*
Added equiv_mark command
Clifford Wolf
2015-10-23
3
-1
/
+265
*
Also merge $equiv cells in equiv_struct
Clifford Wolf
2015-10-23
1
-0
/
+1
*
Improvements in equiv_struct
Clifford Wolf
2015-10-23
1
-11
/
+18
*
Added equiv_purge
Clifford Wolf
2015-10-22
2
-0
/
+210
*
Added equiv_struct command
Clifford Wolf
2015-10-21
2
-0
/
+188
*
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
7
-14
/
+14
*
Replaced ezDefaultSAT with ezSatPtr
Clifford Wolf
2015-02-21
2
-28
/
+29
*
Added equiv_add
Clifford Wolf
2015-02-08
2
-0
/
+90
*
Improved performance in equiv_simple
Clifford Wolf
2015-02-01
1
-23
/
+72
*
Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")
Clifford Wolf
2015-01-31
1
-12
/
+31
*
Added "equiv_induct -undef"
Clifford Wolf
2015-01-31
1
-5
/
+50
*
Added "equiv_simple -undef"
Clifford Wolf
2015-01-31
1
-17
/
+47
*
Added "equiv_make -blacklist <file> -encfile <file>"
Clifford Wolf
2015-01-31
2
-5
/
+173
*
Fixed bug in equiv_miter
Clifford Wolf
2015-01-28
1
-6
/
+6
*
Added equiv_remove
Clifford Wolf
2015-01-25
2
-0
/
+84
*
Added equiv_miter
Clifford Wolf
2015-01-25
2
-0
/
+344
*
Various equiv_* improvements
Clifford Wolf
2015-01-24
4
-14
/
+20
*
Added dict/pool.sort()
Clifford Wolf
2015-01-24
1
-0
/
+2
*
Improvements in equiv_make, equiv_induct
Clifford Wolf
2015-01-22
2
-0
/
+46
*
Added equiv_induct
Clifford Wolf
2015-01-22
2
-0
/
+182
[next]