index
:
iCE40/yosys
master
clone of https://github.com/YosysHQ/yosys
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
|
|
|
|
|
Cope with width != 1 when re-mapping cells
Eddie Hung
2019-02-15
1
-11
/
+25
*
|
|
|
|
|
abc9 to stitch results with CI/CO properly
Eddie Hung
2019-02-15
1
-16
/
+32
*
|
|
|
|
|
Fix stitching
Eddie Hung
2019-02-13
1
-4
/
+4
*
|
|
|
|
|
Merge remote-tracking branch 'origin/read_aiger' into xaig
Eddie Hung
2019-02-13
1
-0
/
+2
|
\
\
\
\
\
\
|
*
|
|
|
|
|
Missing headers for Xcode?
Eddie Hung
2019-02-12
1
-0
/
+2
|
|
|
_
|
/
/
/
|
|
/
|
|
|
|
*
|
|
|
|
|
Merge https://github.com/YosysHQ/yosys into xaig
Eddie Hung
2019-02-13
1
-1
/
+2
|
\
\
\
\
\
\
|
|
|
/
/
/
/
|
|
/
|
|
|
|
|
*
|
|
|
|
fsm_opt: Fix runtime error for FSMs without a reset state
David Shah
2019-02-07
1
-1
/
+2
|
|
/
/
/
/
*
|
|
|
|
Rip out some more stuff
Eddie Hung
2019-02-13
1
-36
/
+0
*
|
|
|
|
Rip out unused functions in abc9
Eddie Hung
2019-02-12
1
-416
/
+61
*
|
|
|
|
WIP for ABC with aiger
Eddie Hung
2019-02-12
1
-130
/
+19
*
|
|
|
|
Compile abc9
Eddie Hung
2019-02-08
2
-8
/
+9
*
|
|
|
|
Copy abc.cc to abc9.cc
Eddie Hung
2019-02-08
1
-0
/
+1868
|
/
/
/
/
*
|
|
|
proc_clean: fix critical typo.
whitequark
2019-01-23
1
-1
/
+1
*
|
|
|
proc_clean: fix fully def check to consider compare/signal length.
whitequark
2019-01-18
1
-1
/
+7
|
/
/
/
*
|
|
flowmap: clean up terminology.
whitequark
2019-01-08
1
-17
/
+18
*
|
|
flowmap: implement depth relaxation.
whitequark
2019-01-08
7
-22
/
+762
*
|
|
Bugfix in $memrd sharing
Clifford Wolf
2019-01-07
1
-2
/
+6
*
|
|
Merge pull request #782 from whitequark/flowmap_dfs
Clifford Wolf
2019-01-07
3
-124
/
+243
|
\
\
\
|
*
|
|
flowmap: construct a max-volume max-flow min-cut, not just any one.
whitequark
2019-01-06
1
-7
/
+10
|
*
|
|
flowmap: add -minlut option, to allow postprocessing with opt_lut.
whitequark
2019-01-04
1
-7
/
+21
|
*
|
|
flowmap: cleanup for clarity. NFCI.
whitequark
2019-01-04
3
-107
/
+179
|
*
|
|
flowmap: improve debug graph output. NFC.
whitequark
2019-01-04
1
-47
/
+76
|
*
|
|
flowmap: add link to longer version of paper. NFC.
whitequark
2019-01-04
1
-2
/
+3
*
|
|
|
Switch "bugpoint" from system() to run_command()
Clifford Wolf
2019-01-07
1
-1
/
+1
*
|
|
|
bugpoint: new pass.
whitequark
2019-01-07
2
-1
/
+370
*
|
|
|
Rename cells based on the wires they drive.
Scott Mansell
2019-01-06
1
-0
/
+66
|
/
/
/
*
|
|
Merge pull request #775 from whitequark/opt_flowmap
Clifford Wolf
2019-01-03
3
-1
/
+875
|
\
\
\
|
*
|
|
flowmap: new techmap pass.
whitequark
2019-01-03
3
-1
/
+875
*
|
|
|
Merge pull request #770 from whitequark/opt_expr_cmp
Clifford Wolf
2019-01-02
1
-97
/
+134
|
\
\
\
\
|
|
/
/
/
|
/
|
|
|
|
*
|
|
opt_expr: improve simplification of comparisons with large constants.
whitequark
2019-01-02
1
-70
/
+47
|
*
|
|
opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.
whitequark
2019-01-02
1
-31
/
+37
|
*
|
|
opt_expr: refactor simplification of signed X>=0 and X<0. NFCI.
whitequark
2019-01-02
1
-24
/
+26
|
*
|
|
opt_expr: simplify any unsigned comparisons with all-0 and all-1.
whitequark
2019-01-02
1
-17
/
+69
*
|
|
|
Merge pull request #750 from Icenowy/anlogic-ff-init
Clifford Wolf
2019-01-02
1
-3
/
+30
|
\
\
\
\
|
*
|
|
|
Add "dffinit -noreinit" parameter
Icenowy Zheng
2018-12-18
1
-1
/
+14
|
*
|
|
|
Add "dffinit -strinit high low"
Icenowy Zheng
2018-12-18
1
-2
/
+16
*
|
|
|
|
Merge pull request #773 from whitequark/opt_lut_elim_fixes
Clifford Wolf
2019-01-02
1
-8
/
+31
|
\
\
\
\
\
|
*
|
|
|
|
opt_lut: reflect changes in sigmap.
whitequark
2019-01-02
1
-0
/
+2
|
*
|
|
|
|
opt_lut: use a worklist, and revisit cells affected by elimination.
whitequark
2019-01-02
1
-3
/
+10
|
*
|
|
|
|
opt_lut: count eliminated cells, and set opt.did_something for them.
whitequark
2019-01-02
1
-6
/
+20
|
|
|
/
/
/
|
|
/
|
|
|
*
/
|
|
|
Fix typographical and grammatical errors and inconsistencies.
whitequark
2019-01-02
11
-19
/
+19
|
/
/
/
/
*
|
|
|
opt_lut: eliminate LUTs evaluating to constants or inputs.
whitequark
2018-12-31
1
-0
/
+81
*
|
|
|
Fix handling of (* keep *) wires in wreduce
Clifford Wolf
2018-12-31
1
-1
/
+4
*
|
|
|
proc_clean: remove any empty cases if all cases use all-def compare.
whitequark
2018-12-23
1
-6
/
+28
*
|
|
|
proc_clean: remove any empty cases at the end of the switch.
whitequark
2018-12-22
1
-7
/
+3
*
|
|
|
memory_collect: do not truncate 'x from \INIT.
whitequark
2018-12-21
1
-3
/
+0
*
|
|
|
memory_dff: Fix typo when checking init value
David Shah
2018-12-18
1
-1
/
+1
|
/
/
/
*
|
|
Revert "Proof-of-concept: preserve naming through ABC using dress"
Clifford Wolf
2018-12-16
1
-51
/
+29
*
|
|
Merge pull request #736 from whitequark/select_assert_list
Clifford Wolf
2018-12-16
1
-8
/
+50
|
\
\
\
|
*
|
|
select: print selection if a -assert-* flag causes an error.
whitequark
2018-12-16
1
-8
/
+50
[prev]
[next]
