index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
sat
Commit message (
Expand
)
Author
Age
Files
Lines
*
kernel: use more ID::*
Eddie Hung
2020-04-02
9
-60
/
+60
*
Merge pull request #1845 from YosysHQ/eddie/kernel_speedup
Eddie Hung
2020-04-02
1
-8
/
+8
|
\
|
*
kernel: SigSpec use more const& + overloads to prevent implicit SigSpec
Eddie Hung
2020-03-13
1
-8
/
+8
*
|
Merge pull request #1835 from boqwxp/cleanup_sat_expose
Eddie Hung
2020-03-30
1
-85
/
+66
|
\
\
|
*
|
Remove unused function parameter.
Alberto Gonzalez
2020-03-30
1
-2
/
+2
|
*
|
Simplify iterating over selected modules or cells.
Alberto Gonzalez
2020-03-30
1
-16
/
+4
|
*
|
Clean up more in `passes/sat/expose.cc`.
Alberto Gonzalez
2020-03-30
1
-64
/
+59
|
*
|
Clean up pseudo-private member usage in `passes/sat/expose.cc`.
Alberto Gonzalez
2020-03-28
1
-11
/
+9
*
|
|
Merge pull request #1831 from boqwxp/cleanup_sat_eval
Eddie Hung
2020-03-30
1
-46
/
+44
|
\
\
\
|
*
|
|
Further clean up `passes/sat/eval.cc`.
Alberto Gonzalez
2020-03-30
1
-16
/
+15
|
*
|
|
Clean up pseudo-private member usage in `passes/sat/eval.cc`.
Alberto Gonzalez
2020-03-28
1
-35
/
+34
|
|
/
/
*
|
|
Further clean up `passes/sat/freduce.cc`.
Alberto Gonzalez
2020-03-30
1
-3
/
+2
*
|
|
Clean up pseudo-private member usage in `passes/sat/freduce.cc`.
Alberto Gonzalez
2020-03-28
1
-13
/
+12
|
/
/
*
/
Clean up pseudo-private member usage in `passes/sat/miter.cc`.
Alberto Gonzalez
2020-03-19
1
-60
/
+56
|
/
*
Merge pull request #1638 from YosysHQ/eddie/fix1631
Eddie Hung
2020-02-05
1
-6
/
+77
|
\
|
*
clk2fflogic: work for bit-level $_DFF_* and $_DFFSR_*
Eddie Hung
2020-01-15
1
-6
/
+77
*
|
Merge pull request #1567 from YosysHQ/eddie/sat_init_warning
Claire Wolf
2020-01-28
1
-1
/
+2
|
\
\
|
*
|
Suppress warning message for init[i] = 1'bx
Eddie Hung
2019-12-11
1
-1
/
+2
*
|
|
Add fminit pass
Clifford Wolf
2020-01-09
2
-0
/
+198
|
|
/
|
/
|
*
|
Fix sim for assignments with lhs<rhs size, fixes #1565
Clifford Wolf
2019-12-17
1
-1
/
+1
|
/
*
Revert "Be mindful that sigmap(wire) could have dupes when checking \init"
Eddie Hung
2019-10-08
1
-4
/
+1
*
Be mindful that sigmap(wire) could have dupes when checking \init
Eddie Hung
2019-10-02
1
-1
/
+4
*
Fix $dlatch handling in async2sync
Clifford Wolf
2019-09-30
1
-0
/
+1
*
Add $dlatch support to async2sync
Clifford Wolf
2019-08-28
1
-1
/
+36
*
Ignore all 1'bx in (* init *)
Eddie Hung
2019-08-27
1
-3
/
+1
*
In sat: 'x' in init attr should not override constant
Eddie Hung
2019-08-22
1
-0
/
+2
*
More use of IdString::in()
Eddie Hung
2019-08-15
1
-1
/
+1
*
substr() -> compare()
Eddie Hung
2019-08-07
3
-6
/
+6
*
Remove std:: namespace
Eddie Hung
2019-08-07
1
-5
/
+5
*
stoi -> atoi
Eddie Hung
2019-08-07
4
-33
/
+33
*
Use std::stoi instead of atoi(<str>.c_str())
Eddie Hung
2019-08-06
4
-33
/
+33
*
Use State::S{0,1}
Eddie Hung
2019-08-06
2
-3
/
+3
*
Fix tests/various/async FFL test
Clifford Wolf
2019-07-09
1
-0
/
+7
*
Add a few more filename rewrites
Ben Widawsky
2019-06-20
1
-0
/
+4
*
Fixed the help summary line for a few commands
acw1251
2019-06-19
2
-4
/
+4
*
Error out if no top module given before 'sim'
Eddie Hung
2019-06-05
1
-0
/
+5
*
Fix typo in fmcombine log message, fixes #1063
Clifford Wolf
2019-06-05
1
-2
/
+2
*
Add "fmcombine -initeq -anyeq"
Clifford Wolf
2019-05-11
1
-3
/
+38
*
Fix bug in "expose -input"
Clifford Wolf
2019-05-06
1
-1
/
+1
*
Add missing enable_undef to "sat -tempinduct-def", fixes #883
Clifford Wolf
2019-05-02
1
-0
/
+1
*
Add "techmap -wb", use in formal flows
Clifford Wolf
2019-04-20
1
-4
/
+4
*
Added missing argument checking to "mutate" command
Clifford Wolf
2019-04-04
1
-0
/
+32
*
Add "cutpoint -undef"
Clifford Wolf
2019-03-26
1
-10
/
+14
*
Add "cutpoint" pass
Clifford Wolf
2019-03-25
2
-0
/
+165
*
Add "mutate -none -mode", "mutate -mode none"
Clifford Wolf
2019-03-23
1
-1
/
+30
*
Add "mutate -s <filename>"
Clifford Wolf
2019-03-23
1
-2
/
+24
*
Improve mix of src/wire/wirebit coverage in "mutate -list"
Clifford Wolf
2019-03-16
1
-29
/
+84
*
Add "fmcombine -fwd -bwd -nop"
Clifford Wolf
2019-03-15
1
-10
/
+59
*
Add fmcombine pass
Clifford Wolf
2019-03-15
2
-0
/
+293
*
Improvements in "mutate" list-reduce algorithm
Clifford Wolf
2019-03-15
1
-13
/
+36
[next]