aboutsummaryrefslogtreecommitdiffstats
path: root/passes
Commit message (Expand)AuthorAgeFilesLines
* Added SAT support for -all/-max with -verifyClifford Wolf2013-06-231-6/+11
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2013-06-201-2/+28
|\
| * Added renaming of wires and cells to "rename" commandClifford Wolf2013-06-191-2/+28
* | Added timout functionality to SAT solverClifford Wolf2013-06-201-5/+62
|/
* Added "eval" passClifford Wolf2013-06-193-187/+228
* Added splitnets commandClifford Wolf2013-06-182-0/+110
* Added support for "assign" statements in abc vlparseClifford Wolf2013-06-152-2/+39
* Fixed even more ConstEval bugs found using xsthammerClifford Wolf2013-06-141-2/+1
* Added consteval testing to xsthammer and fixed bugsClifford Wolf2013-06-131-0/+97
* More xsthammer improvements (using xst 14.5 now)Clifford Wolf2013-06-131-1/+1
* Added "scatter" commandClifford Wolf2013-06-122-0/+73
* Renamed yosys-show temp files to be dot-files in the users home directoryClifford Wolf2013-06-121-3/+3
* Improvements and fixes in SAT codeClifford Wolf2013-06-101-4/+14
* Added "rename" commandClifford Wolf2013-06-102-0/+95
* Renamed "sat_solve" pass to "sat"Clifford Wolf2013-06-093-13/+13
* Implemented temporal induction proofs in sat_solveClifford Wolf2013-06-092-37/+178
* Added support for non-temporal proofs to sat_solveClifford Wolf2013-06-092-26/+127
* Re-organization in sat_solver pass for temporal inductionClifford Wolf2013-06-091-251/+296
* Added ezSAT api support for don't care values in modelsClifford Wolf2013-06-091-1/+4
* Fixed handling of $_XOR_ in SAT generatorClifford Wolf2013-06-091-1/+3
* Added sequential solving support to sat_solveClifford Wolf2013-06-092-57/+208
* Look for yosys-abc and yosys-svgviewer where the main exe isClifford Wolf2013-06-092-2/+2
* Added "make abc" and "make install-abc"Clifford Wolf2013-06-081-3/+4
* Moved cmds from kernel/ to passes/cmds/Clifford Wolf2013-06-083-0/+1739
* Fixed typo is sat_solve help msgClifford Wolf2013-06-081-1/+1
* Added support for shifter cells to SAT generatorClifford Wolf2013-06-082-3/+17
* Various improvements in sat_solve pass and SAT generatorClifford Wolf2013-06-083-10/+74
* Added -all and -max options to sat_solveClifford Wolf2013-06-081-0/+31
* Improved auto-detection of -show signals in sat_solveClifford Wolf2013-06-082-29/+72
* Improved sat generator and sat_solve passClifford Wolf2013-06-072-4/+4
* Added SAT generator and simple sat_solve commandClifford Wolf2013-06-074-0/+259
* Renamed opt_rmunused to opt_cleanClifford Wolf2013-06-057-17/+17
* Fixed techmap/flatten for positional module argumentsClifford Wolf2013-05-261-8/+20
* Improved log messages generated by hierarchy passClifford Wolf2013-05-261-5/+17
* Added -nodetect option to fsm passClifford Wolf2013-05-241-2/+8
* Improved FSM one-hot encoding, added binary encodingClifford Wolf2013-05-243-44/+85
* Added log_abort() apiClifford Wolf2013-05-241-1/+1
* Fixed a gcc vs. clang determinism problem in abc passClifford Wolf2013-05-231-4/+11
* Fixed memory corruption bug in opt_rmunusedClifford Wolf2013-05-231-7/+14
* Added missing newline to some error messagesClifford Wolf2013-05-231-2/+2
* Some improvements in opt_rmdffClifford Wolf2013-05-231-2/+33
* Fixed to aggressive x-folding in opt_constClifford Wolf2013-05-171-8/+21
* Added support for const cell inputs in techmapClifford Wolf2013-04-271-6/+28
* Added "flatten" passClifford Wolf2013-04-261-1/+41
* Fixed hierarchy pass for hierarchies of parametric modulesClifford Wolf2013-04-261-0/+1
* Added "submod -name ..." supportClifford Wolf2013-04-151-40/+96
* Fixed a bug in opt_const when optimizing 1-bit compares with constantsClifford Wolf2013-04-131-2/+4
* fsm_export: optionally use binary state encoding as state names instead ofJohann Glaser2013-04-051-6/+23
* fsm_export: specify KISS filename on command lineJohann Glaser2013-04-051-5/+20
* Improved opt_share for reduce cellsClifford Wolf2013-03-291-0/+20