index
:
yosys
master
Debian dgit repo for package yosys
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
passes
Commit message (
Expand
)
Author
Age
*
Bugfixes for empty signal vectors
Clifford Wolf
2013-07-10
*
Added opt_clean -purge option
Clifford Wolf
2013-07-07
*
Fixed handling of $eq and $ne in opt_const
Clifford Wolf
2013-07-07
*
Added SAT support for -all/-max with -verify
Clifford Wolf
2013-06-23
*
Merge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf
2013-06-20
|
\
|
*
Added renaming of wires and cells to "rename" command
Clifford Wolf
2013-06-19
*
|
Added timout functionality to SAT solver
Clifford Wolf
2013-06-20
|
/
*
Added "eval" pass
Clifford Wolf
2013-06-19
*
Added splitnets command
Clifford Wolf
2013-06-18
*
Added support for "assign" statements in abc vlparse
Clifford Wolf
2013-06-15
*
Fixed even more ConstEval bugs found using xsthammer
Clifford Wolf
2013-06-14
*
Added consteval testing to xsthammer and fixed bugs
Clifford Wolf
2013-06-13
*
More xsthammer improvements (using xst 14.5 now)
Clifford Wolf
2013-06-13
*
Added "scatter" command
Clifford Wolf
2013-06-12
*
Renamed yosys-show temp files to be dot-files in the users home directory
Clifford Wolf
2013-06-12
*
Improvements and fixes in SAT code
Clifford Wolf
2013-06-10
*
Added "rename" command
Clifford Wolf
2013-06-10
*
Renamed "sat_solve" pass to "sat"
Clifford Wolf
2013-06-09
*
Implemented temporal induction proofs in sat_solve
Clifford Wolf
2013-06-09
*
Added support for non-temporal proofs to sat_solve
Clifford Wolf
2013-06-09
*
Re-organization in sat_solver pass for temporal induction
Clifford Wolf
2013-06-09
*
Added ezSAT api support for don't care values in models
Clifford Wolf
2013-06-09
*
Fixed handling of $_XOR_ in SAT generator
Clifford Wolf
2013-06-09
*
Added sequential solving support to sat_solve
Clifford Wolf
2013-06-09
*
Look for yosys-abc and yosys-svgviewer where the main exe is
Clifford Wolf
2013-06-09
*
Added "make abc" and "make install-abc"
Clifford Wolf
2013-06-08
*
Moved cmds from kernel/ to passes/cmds/
Clifford Wolf
2013-06-08
*
Fixed typo is sat_solve help msg
Clifford Wolf
2013-06-08
*
Added support for shifter cells to SAT generator
Clifford Wolf
2013-06-08
*
Various improvements in sat_solve pass and SAT generator
Clifford Wolf
2013-06-08
*
Added -all and -max options to sat_solve
Clifford Wolf
2013-06-08
*
Improved auto-detection of -show signals in sat_solve
Clifford Wolf
2013-06-08
*
Improved sat generator and sat_solve pass
Clifford Wolf
2013-06-07
*
Added SAT generator and simple sat_solve command
Clifford Wolf
2013-06-07
*
Renamed opt_rmunused to opt_clean
Clifford Wolf
2013-06-05
*
Fixed techmap/flatten for positional module arguments
Clifford Wolf
2013-05-26
*
Improved log messages generated by hierarchy pass
Clifford Wolf
2013-05-26
*
Added -nodetect option to fsm pass
Clifford Wolf
2013-05-24
*
Improved FSM one-hot encoding, added binary encoding
Clifford Wolf
2013-05-24
*
Added log_abort() api
Clifford Wolf
2013-05-24
*
Fixed a gcc vs. clang determinism problem in abc pass
Clifford Wolf
2013-05-23
*
Fixed memory corruption bug in opt_rmunused
Clifford Wolf
2013-05-23
*
Added missing newline to some error messages
Clifford Wolf
2013-05-23
*
Some improvements in opt_rmdff
Clifford Wolf
2013-05-23
*
Fixed to aggressive x-folding in opt_const
Clifford Wolf
2013-05-17
*
Added support for const cell inputs in techmap
Clifford Wolf
2013-04-27
*
Added "flatten" pass
Clifford Wolf
2013-04-26
*
Fixed hierarchy pass for hierarchies of parametric modules
Clifford Wolf
2013-04-26
*
Added "submod -name ..." support
Clifford Wolf
2013-04-15
*
Fixed a bug in opt_const when optimizing 1-bit compares with constants
Clifford Wolf
2013-04-13
[next]