Commit message (Expand)AuthorAge
* Switched to Python 3Clifford Wolf2015-08-22
* Added sat -show-regs, -show-public, -show-allClifford Wolf2015-08-18
* Bugfix in fsm_detect for complex muxtreesClifford Wolf2015-08-18
* Properly clean up unused "init" attributesClifford Wolf2015-08-18
* Small corrections to const2ast warning messagesClifford Wolf2015-08-17
* Check base-n literals only contain valid digitsFlorian Zeitz2015-08-17
* Warn on literals exceeding the specified bit widthFlorian Zeitz2015-08-17
* Merge pull request #72 from cseed/masterClifford Wolf2015-08-17
| * Added .travis.yml.Cotton Seed2015-08-17
* Another bugfix for ice40 and xilinx brams_init make rulesClifford Wolf2015-08-16
* Fixed Makefile rules for generated share filesClifford Wolf2015-08-16
* Added $tribuf and $_TBUF_ sim modelsClifford Wolf2015-08-16
* Added tribuf commandClifford Wolf2015-08-16
* Added $tribuf and $_TBUF_ cell typesClifford Wolf2015-08-16
* Fixed opt_clean handling of inout portsClifford Wolf2015-08-16
* Fixed generation of smt2 concat statementsClifford Wolf2015-08-15
* Fix version strings for out-of-tree buildsLarry Doolittle2015-08-14
* Another block of spelling fixesLarry Doolittle2015-08-14
* Keep gcc from complaining about uninitialized variablesLarry Doolittle2015-08-14
* Re-created command-reference-manual.tex, copied some doc fixes to online helpClifford Wolf2015-08-14
* Spell check (by Larry Doolittle)Clifford Wolf2015-08-14
* Merge branch 'master' of Wolf2015-08-13
| * Added "write_smt2 -regs"Clifford Wolf2015-08-12
| * Fixed "make clean" for out-of-tree buildsClifford Wolf2015-08-12
| * Adjust makefiles to work with out-of-tree buildsClifford Wolf2015-08-12
| * Improved handling of "keep" attributes in hierarchical designs in opt_cleanClifford Wolf2015-08-12
| * Fixed hashlib for 64 bit int keysClifford Wolf2015-08-12
| * Added SMV back-end '' scriptClifford Wolf2015-08-12
* | More ASCII encoding fixesClifford Wolf2015-08-13
* | Fixed CRLF line endingsClifford Wolf2015-08-13
* | Some ASCII encoding fixes (comments and docs) by Larry DoolittleClifford Wolf2015-08-13
* Merge pull request #70 from gaomy3832/bugfixClifford Wolf2015-08-12
| * Remove unused blackbox modules in opt_clean.Mingyu Gao2015-08-11
| * Bugfix for cell hash cache option in opt_share.Mingyu Gao2015-08-10
* | Bugfix for cell hash cache option in opt_share.Mingyu Gao2015-08-11
* | Fixed handling of [a-fxz?] in decimal constantsClifford Wolf2015-08-11
* | Added missing ct_all setup to opt_cleanClifford Wolf2015-08-11
* Use MEMID as name for $mem cellClifford Wolf2015-08-09
* Merge pull request #69 from zeldin/masterClifford Wolf2015-08-07
| * Added iCE40 WARMBOOT cellMarcus Comstedt2015-08-06
* Remove some very strange whitespace in (by Larry Doolittle)Clifford Wolf2015-08-05
* Bugfix in SMV back-end for partially unassigned wiresClifford Wolf2015-08-05
* Added ENABLE_LIBYOSYS Makefile optionClifford Wolf2015-08-04
* Added $assert support to SMV back-endClifford Wolf2015-08-04
* Added buildClifford Wolf2015-08-04
* Merge pull request #68 from zeldin/masterClifford Wolf2015-08-01
| * Add -noautowire option to verilog frontendMarcus Comstedt2015-08-01
* Added WORDS parameter to $meminitClifford Wolf2015-07-31
* Fixed flatten $meminit handlingClifford Wolf2015-07-30
* Improvements in BLIF back-endClifford Wolf2015-07-29