Commit message (Expand)AuthorAge
* Updated ABC to rev 10cc13a2a0f1Clifford Wolf2014-02-06
* Added "retime" to standard ABC recipesClifford Wolf2014-02-06
* Added copy commandClifford Wolf2014-02-06
* Added design -stash/-copy-from/-copy-toClifford Wolf2014-02-06
* Added support for s: select expressions (wire width)Clifford Wolf2014-02-06
* Added i:, o:, and x: selection patternClifford Wolf2014-02-06
* Added support for %m selection opClifford Wolf2014-02-06
* Merge branch 'master' of Wolf2014-02-06
| * Merge pull request #23 from hansiglaser/masterClifford Wolf2014-02-06
| |\
| | * new %s: add sub-modules to selectionJohann Glaser2014-02-06
| |/
* | Added generic RTLIL::SigSpec::parse_sel() with support for selection variablesClifford Wolf2014-02-06
* Added support for sat -show @<sel_name>Clifford Wolf2014-02-06
* Added sat -set-init-def and sat -tempinduct-defClifford Wolf2014-02-06
* Added opt_const -undrivenClifford Wolf2014-02-06
* Added expose -dffClifford Wolf2014-02-06
* Added support for #-comments in same line as commandClifford Wolf2014-02-06
* presentation progressClifford Wolf2014-02-06
* Changed techmap description from "simple" to "generic"Clifford Wolf2014-02-06
* Added miter -make_outcmpClifford Wolf2014-02-06
* Added sat -set-init-zero supportClifford Wolf2014-02-06
* Added support for backslash continuation in script filesClifford Wolf2014-02-06
* Added counters sat test caseClifford Wolf2014-02-06
* Added sat -verify and -falsify support for non-prove casesClifford Wolf2014-02-06
* Added expose commandClifford Wolf2014-02-05
* presentation progressClifford Wolf2014-02-05
* Simplified select "Assertation failed" message generationClifford Wolf2014-02-05
* Merge branch 'master' of Wolf2014-02-05
| * Merge pull request #22 from hansiglaser/masterClifford Wolf2014-02-05
| |\
| | * be more verbose for select -assert-any and -assert-noneJohann Glaser2014-02-05
| | * improved help for "select"Johann Glaser2014-02-05
| |/
* | Added BTOR backend README fileClifford Wolf2014-02-05
* | Added selection support for r: and selection with relational operatorsClifford Wolf2014-02-05
* presentation progressClifford Wolf2014-02-05
* presentation progressClifford Wolf2014-02-05
* Added read_verilog -setattrClifford Wolf2014-02-05
* Added setattr and setparam commandsClifford Wolf2014-02-05
* Updated todo items in README fileClifford Wolf2014-02-05
* Removed old unused files from tests/Clifford Wolf2014-02-05
* Added support for dump -appendClifford Wolf2014-02-04
* Throw errors if non-existing selection variables are usedClifford Wolf2014-02-04
* Added select -noneClifford Wolf2014-02-04
* presentation progressClifford Wolf2014-02-04
* Fixed detection of init attribute in opt_rmdffClifford Wolf2014-02-04
* Added support for inline commands to abc -scriptClifford Wolf2014-02-04
* presentation progressClifford Wolf2014-02-04
* Added hierarchy -purge_lib optionClifford Wolf2014-02-04
* Added test cases for sat commandClifford Wolf2014-02-04
* added sat -falsifyClifford Wolf2014-02-04
* Fixed bug in sequential sat proofs and improved handling of assertsClifford Wolf2014-02-04
* Improved handling of reg init in opt_share and opt_rmdffClifford Wolf2014-02-04