index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
Files
Lines
*
Added SAT support for -all/-max with -verify
Clifford Wolf
2013-06-23
1
-6
/
+11
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2013-06-20
1
-2
/
+28
|
\
|
*
Added renaming of wires and cells to "rename" command
Clifford Wolf
2013-06-19
1
-2
/
+28
*
|
Added timout functionality to SAT solver
Clifford Wolf
2013-06-20
1
-5
/
+62
|
/
*
Added "eval" pass
Clifford Wolf
2013-06-19
3
-187
/
+228
*
Added splitnets command
Clifford Wolf
2013-06-18
2
-0
/
+110
*
Added support for "assign" statements in abc vlparse
Clifford Wolf
2013-06-15
2
-2
/
+39
*
Fixed even more ConstEval bugs found using xsthammer
Clifford Wolf
2013-06-14
1
-2
/
+1
*
Added consteval testing to xsthammer and fixed bugs
Clifford Wolf
2013-06-13
1
-0
/
+97
*
More xsthammer improvements (using xst 14.5 now)
Clifford Wolf
2013-06-13
1
-1
/
+1
*
Added "scatter" command
Clifford Wolf
2013-06-12
2
-0
/
+73
*
Renamed yosys-show temp files to be dot-files in the users home directory
Clifford Wolf
2013-06-12
1
-3
/
+3
*
Improvements and fixes in SAT code
Clifford Wolf
2013-06-10
1
-4
/
+14
*
Added "rename" command
Clifford Wolf
2013-06-10
2
-0
/
+95
*
Renamed "sat_solve" pass to "sat"
Clifford Wolf
2013-06-09
3
-13
/
+13
*
Implemented temporal induction proofs in sat_solve
Clifford Wolf
2013-06-09
2
-37
/
+178
*
Added support for non-temporal proofs to sat_solve
Clifford Wolf
2013-06-09
2
-26
/
+127
*
Re-organization in sat_solver pass for temporal induction
Clifford Wolf
2013-06-09
1
-251
/
+296
*
Added ezSAT api support for don't care values in models
Clifford Wolf
2013-06-09
1
-1
/
+4
*
Fixed handling of $_XOR_ in SAT generator
Clifford Wolf
2013-06-09
1
-1
/
+3
*
Added sequential solving support to sat_solve
Clifford Wolf
2013-06-09
2
-57
/
+208
*
Look for yosys-abc and yosys-svgviewer where the main exe is
Clifford Wolf
2013-06-09
2
-2
/
+2
*
Added "make abc" and "make install-abc"
Clifford Wolf
2013-06-08
1
-3
/
+4
*
Moved cmds from kernel/ to passes/cmds/
Clifford Wolf
2013-06-08
3
-0
/
+1739
*
Fixed typo is sat_solve help msg
Clifford Wolf
2013-06-08
1
-1
/
+1
*
Added support for shifter cells to SAT generator
Clifford Wolf
2013-06-08
2
-3
/
+17
*
Various improvements in sat_solve pass and SAT generator
Clifford Wolf
2013-06-08
3
-10
/
+74
*
Added -all and -max options to sat_solve
Clifford Wolf
2013-06-08
1
-0
/
+31
*
Improved auto-detection of -show signals in sat_solve
Clifford Wolf
2013-06-08
2
-29
/
+72
*
Improved sat generator and sat_solve pass
Clifford Wolf
2013-06-07
2
-4
/
+4
*
Added SAT generator and simple sat_solve command
Clifford Wolf
2013-06-07
4
-0
/
+259
*
Renamed opt_rmunused to opt_clean
Clifford Wolf
2013-06-05
7
-17
/
+17
*
Fixed techmap/flatten for positional module arguments
Clifford Wolf
2013-05-26
1
-8
/
+20
*
Improved log messages generated by hierarchy pass
Clifford Wolf
2013-05-26
1
-5
/
+17
*
Added -nodetect option to fsm pass
Clifford Wolf
2013-05-24
1
-2
/
+8
*
Improved FSM one-hot encoding, added binary encoding
Clifford Wolf
2013-05-24
3
-44
/
+85
*
Added log_abort() api
Clifford Wolf
2013-05-24
1
-1
/
+1
*
Fixed a gcc vs. clang determinism problem in abc pass
Clifford Wolf
2013-05-23
1
-4
/
+11
*
Fixed memory corruption bug in opt_rmunused
Clifford Wolf
2013-05-23
1
-7
/
+14
*
Added missing newline to some error messages
Clifford Wolf
2013-05-23
1
-2
/
+2
*
Some improvements in opt_rmdff
Clifford Wolf
2013-05-23
1
-2
/
+33
*
Fixed to aggressive x-folding in opt_const
Clifford Wolf
2013-05-17
1
-8
/
+21
*
Added support for const cell inputs in techmap
Clifford Wolf
2013-04-27
1
-6
/
+28
*
Added "flatten" pass
Clifford Wolf
2013-04-26
1
-1
/
+41
*
Fixed hierarchy pass for hierarchies of parametric modules
Clifford Wolf
2013-04-26
1
-0
/
+1
*
Added "submod -name ..." support
Clifford Wolf
2013-04-15
1
-40
/
+96
*
Fixed a bug in opt_const when optimizing 1-bit compares with constants
Clifford Wolf
2013-04-13
1
-2
/
+4
*
fsm_export: optionally use binary state encoding as state names instead of
Johann Glaser
2013-04-05
1
-6
/
+23
*
fsm_export: specify KISS filename on command line
Johann Glaser
2013-04-05
1
-5
/
+20
*
Improved opt_share for reduce cells
Clifford Wolf
2013-03-29
1
-0
/
+20
[next]