aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* Fixed width and sign detection for ** operatorClifford Wolf2013-08-191-3/+3
* Added support for bufif0/bufif1 primitivesClifford Wolf2013-08-192-33/+59
* Improved ast dumping (ast/verilog frontend)Clifford Wolf2013-08-194-64/+35
* Implemented same div-by-zero behavior as found in other synthesis toolsClifford Wolf2013-08-152-7/+59
* Fixed signed div/mod in const eval (rounding and stuff)Clifford Wolf2013-08-151-2/+8
* Added ezsat api for creation of anonymous vectorsClifford Wolf2013-08-152-0/+9
* Added sat -ignore_div_by_zero switchClifford Wolf2013-08-152-2/+17
* Added eval -brute_force_equiv_checker_x modeClifford Wolf2013-08-152-9/+25
* Added support for "2**n" shifter encodingClifford Wolf2013-08-122-24/+33
* Added SAT support for $div and $mod cellsClifford Wolf2013-08-113-0/+55
* Added "clean -purge" and ";;;" supportClifford Wolf2013-08-112-4/+21
* Added ";;" as shortcut for "; clean;"Clifford Wolf2013-08-112-1/+7
* freduce performance fixClifford Wolf2013-08-101-4/+8
* Added $div and $mod technology mappingClifford Wolf2013-08-094-34/+137
* Added techmap -opt modeClifford Wolf2013-08-092-9/+44
* Some fixes to improve determinismClifford Wolf2013-08-095-32/+41
* Sort ctrl signals in fsm_extractClifford Wolf2013-08-081-0/+3
* Added -try option to freduce passClifford Wolf2013-08-081-16/+44
* Added "clean" command (less verbose opt_clean)Clifford Wolf2013-08-081-9/+52
* Fixed topological ordering in freduce passClifford Wolf2013-08-071-54/+67
* Improved handling of private names in opt_clean and rename commandsClifford Wolf2013-08-072-7/+39
* Added stubnets example to manual prog chapterClifford Wolf2013-08-073-7/+15
* Small bugfixes in freduce passClifford Wolf2013-08-061-4/+14
* Added freduce commandClifford Wolf2013-08-062-0/+362
* Fixed SigPool::del() methodClifford Wolf2013-08-061-1/+1
* Added proper deallocation of history bufferClifford Wolf2013-08-061-0/+5
* Updated TODO section in READMEClifford Wolf2013-08-011-9/+1
* Added "design" command (-reset, -save, -load)Clifford Wolf2013-07-276-12/+246
* Added "help -write-web-command-reference-manual"Clifford Wolf2013-07-261-0/+52
* Fixed comments in manual rtlil/ilang syntaxClifford Wolf2013-07-251-2/+1
* Added RTLIL and Liberty syntax highlighting to manualClifford Wolf2013-07-253-4/+19
* Automatically run "proc" on extract map filesClifford Wolf2013-07-241-0/+5
* Added $lut cells and abc lut mapping supportClifford Wolf2013-07-237-28/+304
* Fixed "make clean" for manual filesClifford Wolf2013-07-231-1/+1
* Added web site link to READMEClifford Wolf2013-07-211-0/+8
* Added Yosys ManualClifford Wolf2013-07-2048-1/+7949
* More fixes in ternary op sign handlingClifford Wolf2013-07-122-0/+11
* Fixed sign handling in ternary operatorClifford Wolf2013-07-122-2/+10
* Added ast frontend refactoring to TODOClifford Wolf2013-07-111-0/+1
* Another vloghammer related bugfixClifford Wolf2013-07-112-1/+8
* Bugfixes for empty signal vectorsClifford Wolf2013-07-101-0/+3
* Fixed sign propagation in bit-wise operatorsClifford Wolf2013-07-091-0/+1
* More fixes in ast expression sign/width handlingClifford Wolf2013-07-092-22/+23
* Merge branch 'master' of github.com:cliffordwolf/yosysClifford Wolf2013-07-095-37/+189
|\
| * Major redesign of expr width/sign detecion (verilog/ast frontend)Clifford Wolf2013-07-095-37/+189
* | Fixed shift ops with large right hand sideClifford Wolf2013-07-093-10/+50
|/
* Fixed another bug found using vloghammerClifford Wolf2013-07-072-1/+11
* Fixed AST_CONSTANT node generationClifford Wolf2013-07-071-1/+1
* Removed tests/xsthammerClifford Wolf2013-07-0713-1748/+0
* Added opt_clean -purge optionClifford Wolf2013-07-071-7/+19