Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added stubnets example to manual prog chapter | Clifford Wolf | 2013-08-07 | 3 | -7/+15 |
| | |||||
* | Small bugfixes in freduce pass | Clifford Wolf | 2013-08-06 | 1 | -4/+14 |
| | |||||
* | Added freduce command | Clifford Wolf | 2013-08-06 | 2 | -0/+362 |
| | |||||
* | Fixed SigPool::del() method | Clifford Wolf | 2013-08-06 | 1 | -1/+1 |
| | |||||
* | Added proper deallocation of history buffer | Clifford Wolf | 2013-08-06 | 1 | -0/+5 |
| | |||||
* | Updated TODO section in README | Clifford Wolf | 2013-08-01 | 1 | -9/+1 |
| | |||||
* | Added "design" command (-reset, -save, -load) | Clifford Wolf | 2013-07-27 | 6 | -12/+246 |
| | |||||
* | Added "help -write-web-command-reference-manual" | Clifford Wolf | 2013-07-26 | 1 | -0/+52 |
| | |||||
* | Fixed comments in manual rtlil/ilang syntax | Clifford Wolf | 2013-07-25 | 1 | -2/+1 |
| | |||||
* | Added RTLIL and Liberty syntax highlighting to manual | Clifford Wolf | 2013-07-25 | 3 | -4/+19 |
| | |||||
* | Automatically run "proc" on extract map files | Clifford Wolf | 2013-07-24 | 1 | -0/+5 |
| | |||||
* | Added $lut cells and abc lut mapping support | Clifford Wolf | 2013-07-23 | 7 | -28/+304 |
| | |||||
* | Fixed "make clean" for manual files | Clifford Wolf | 2013-07-23 | 1 | -1/+1 |
| | |||||
* | Added web site link to README | Clifford Wolf | 2013-07-21 | 1 | -0/+8 |
| | |||||
* | Added Yosys Manual | Clifford Wolf | 2013-07-20 | 48 | -1/+7949 |
| | |||||
* | More fixes in ternary op sign handling | Clifford Wolf | 2013-07-12 | 2 | -0/+11 |
| | |||||
* | Fixed sign handling in ternary operator | Clifford Wolf | 2013-07-12 | 2 | -2/+10 |
| | |||||
* | Added ast frontend refactoring to TODO | Clifford Wolf | 2013-07-11 | 1 | -0/+1 |
| | |||||
* | Another vloghammer related bugfix | Clifford Wolf | 2013-07-11 | 2 | -1/+8 |
| | |||||
* | Bugfixes for empty signal vectors | Clifford Wolf | 2013-07-10 | 1 | -0/+3 |
| | |||||
* | Fixed sign propagation in bit-wise operators | Clifford Wolf | 2013-07-09 | 1 | -0/+1 |
| | |||||
* | More fixes in ast expression sign/width handling | Clifford Wolf | 2013-07-09 | 2 | -22/+23 |
| | |||||
* | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2013-07-09 | 5 | -37/+189 |
|\ | |||||
| * | Major redesign of expr width/sign detecion (verilog/ast frontend) | Clifford Wolf | 2013-07-09 | 5 | -37/+189 |
| | | |||||
* | | Fixed shift ops with large right hand side | Clifford Wolf | 2013-07-09 | 3 | -10/+50 |
|/ | |||||
* | Fixed another bug found using vloghammer | Clifford Wolf | 2013-07-07 | 2 | -1/+11 |
| | |||||
* | Fixed AST_CONSTANT node generation | Clifford Wolf | 2013-07-07 | 1 | -1/+1 |
| | |||||
* | Removed tests/xsthammer | Clifford Wolf | 2013-07-07 | 13 | -1748/+0 |
| | | | | | This test is now available as 'vloghammer' in a seperate repository: https://github.com/cliffordwolf/VlogHammer | ||||
* | Added opt_clean -purge option | Clifford Wolf | 2013-07-07 | 1 | -7/+19 |
| | |||||
* | Fixed handling of $eq and $ne in opt_const | Clifford Wolf | 2013-07-07 | 1 | -2/+2 |
| | |||||
* | Fixed vivado related xsthammer bugs | Clifford Wolf | 2013-07-05 | 3 | -2/+14 |
| | |||||
* | Various improvements in xsthammer report generator | Clifford Wolf | 2013-07-05 | 1 | -6/+23 |
| | |||||
* | Added work-around to isim bug in xsthammer report script | Clifford Wolf | 2013-07-05 | 1 | -4/+5 |
| | |||||
* | Fixed gcc warnings in ezminisat | Clifford Wolf | 2013-07-05 | 1 | -2/+2 |
| | |||||
* | Added CARRY4 Xilinx cell to xsthammer cell lib | Clifford Wolf | 2013-07-05 | 1 | -0/+13 |
| | |||||
* | Added xsthammer report generator | Clifford Wolf | 2013-07-05 | 4 | -13/+170 |
| | |||||
* | Improved xsthammer quartus support | Clifford Wolf | 2013-07-04 | 2 | -1/+484 |
| | |||||
* | Added Altera Cyclon III cell library to xsthammer | Clifford Wolf | 2013-07-04 | 3 | -14/+115 |
| | |||||
* | Documentation updates | Clifford Wolf | 2013-07-04 | 1 | -5/+2 |
| | |||||
* | Added defparam support to Verilog/AST frontend | Clifford Wolf | 2013-07-04 | 7 | -13/+79 |
| | |||||
* | Added QMAKE makefile variable | Clifford Wolf | 2013-07-03 | 1 | -1/+2 |
| | |||||
* | Added Altera Quartus support to xsthammer | Clifford Wolf | 2013-07-03 | 3 | -2/+39 |
| | |||||
* | Progress in xsthammer | Clifford Wolf | 2013-07-03 | 5 | -9/+23 |
| | |||||
* | Added vivado support to xsthammer | Clifford Wolf | 2013-06-26 | 5 | -7/+69 |
| | |||||
* | Added SAT support for -all/-max with -verify | Clifford Wolf | 2013-06-23 | 1 | -6/+11 |
| | |||||
* | Merge branch 'master' of github.com:cliffordwolf/yosys | Clifford Wolf | 2013-06-20 | 1 | -2/+28 |
|\ | |||||
| * | Added renaming of wires and cells to "rename" command | Clifford Wolf | 2013-06-19 | 1 | -2/+28 |
| | | |||||
* | | Added timout functionality to SAT solver | Clifford Wolf | 2013-06-20 | 6 | -8/+120 |
|/ | |||||
* | Added "eval" pass | Clifford Wolf | 2013-06-19 | 6 | -189/+316 |
| | |||||
* | Fixed build with clang | Clifford Wolf | 2013-06-18 | 1 | -41/+69 |
| |