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
*
Add -async2sync to help text as per @daveshah1
Eddie Hung
2019-10-04
1
-1
/
+4
*
Restore part of doc
Eddie Hung
2019-10-03
1
-1
/
+2
*
Add new -async2sync option
Eddie Hung
2019-10-03
1
-1
/
+11
*
Revert "equiv_opt to call async2sync when not -multiclock like SymbiYosys"
Eddie Hung
2019-10-03
1
-2
/
+0
*
Revert "Update doc for equiv_opt"
Eddie Hung
2019-10-03
1
-3
/
+2
*
Update doc for equiv_opt
Eddie Hung
2019-09-30
1
-2
/
+3
*
equiv_opt to call async2sync when not -multiclock like SymbiYosys
Eddie Hung
2019-09-27
1
-0
/
+2
*
Add equiv_opt -multiclock
David Shah
2019-09-11
1
-1
/
+11
*
Spelling
Eddie Hung
2019-08-22
1
-2
/
+2
*
substr() -> compare()
Eddie Hung
2019-08-07
2
-3
/
+3
*
stoi -> atoi
Eddie Hung
2019-08-07
3
-3
/
+3
*
Use std::stoi instead of atoi(<str>.c_str())
Eddie Hung
2019-08-06
3
-3
/
+3
*
Add -undef option to equiv_opt, passed to equiv_induct
Eddie Hung
2019-04-26
1
-3
/
+16
*
Add "techmap -wb", use in formal flows
Clifford Wolf
2019-04-20
1
-1
/
+1
*
Fix equiv_opt indenting
Clifford Wolf
2018-12-16
1
-139
/
+129
*
equiv_opt: pass -D EQUIV when techmapping.
whitequark
2018-12-07
1
-2
/
+4
*
equiv_opt: new command, for verifying optimization passes.
whitequark
2018-12-07
2
-1
/
+166
*
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
[next]