| Commit message (Expand) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | Updated ABC to hg rev e6b09e1 | Clifford Wolf | 2014-01-29 | 1 | -1/+1 | |
| * | Added read_verilog -icells option | Clifford Wolf | 2014-01-29 | 4 | -6/+20 | |
| * | Major rewrite of techlibs/common/simlib.v for LEC (cadance conformal) | Clifford Wolf | 2014-01-29 | 1 | -105/+305 | |
| * | presentation progress | Clifford Wolf | 2014-01-28 | 2 | -4/+237 | |
| * | Renamed manual/FILES_* directories | Clifford Wolf | 2014-01-28 | 29 | -9/+9 | |
| * | Progress on presentation | Clifford Wolf | 2014-01-28 | 2 | -8/+69 | |
| * | Progress on presentation | Clifford Wolf | 2014-01-27 | 2 | -5/+79 | |
| * | Added first presentation slides | Clifford Wolf | 2014-01-27 | 7 | -1/+105 | |
| * | Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys | Clifford Wolf | 2014-01-26 | 1 | -1/+5 | |
| |\ | ||||||
| | * | root bug corrected | Ahmed Irfan | 2014-01-25 | 1 | -1/+5 | |
| * | | Merge pull request #21 from hansiglaser/master | Clifford Wolf | 2014-01-25 | 2 | -17/+34 | |
| |\ \ | ||||||
| | * | | enabled multiple "-map" for the extract pass | Johann Glaser | 2014-01-25 | 1 | -17/+25 | |
| | * | | beautified write_intersynth | Johann Glaser | 2014-01-25 | 1 | -0/+9 | |
| |/ / | ||||||
| * | | Added support for // comments in liberty parser | Clifford Wolf | 2014-01-25 | 1 | -0/+5 | |
| * | | Merge branch 'btor' | Clifford Wolf | 2014-01-24 | 5 | -0/+1026 | |
| |\| | ||||||
| | * | removed regex include | Ahmed Irfan | 2014-01-24 | 1 | -1/+0 | |
| | * | merged clifford changes + removed regex | Ahmed Irfan | 2014-01-24 | 1 | -26/+52 | |
| | * | Use techmap -share_map in btor scripts | Clifford Wolf | 2014-01-24 | 2 | -2/+2 | |
| | * | Moved btor scripts to backends/btor/ | Clifford Wolf | 2014-01-24 | 2 | -0/+0 | |
| | * | Restored Makefile | Clifford Wolf | 2014-01-24 | 1 | -3/+3 | |
| | * | Restored IdString::check() | Clifford Wolf | 2014-01-24 | 1 | -1/+1 | |
| | * | Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys into btor | Clifford Wolf | 2014-01-24 | 7 | -4/+1005 | |
| |/| | ||||||
| | * | minor change in script | Ahmed Irfan | 2014-01-24 | 1 | -2/+11 | |
| | * | Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor | Ahmed Irfan | 2014-01-22 | 3 | -6/+13 | |
| | |\ | ||||||
| | * | | slice bug corrected | Ahmed Irfan | 2014-01-20 | 1 | -1/+1 | |
| | * | | assert feature | Ahmed Irfan | 2014-01-20 | 1 | -9/+40 | |
| | * | | Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor | Ahmed Irfan | 2014-01-20 | 16 | -33/+349 | |
| | |\ \ | ||||||
| | * | | | script added | Ahmed Irfan | 2014-01-18 | 2 | -9/+28 | |
| | * | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-18 | 0 | -0/+0 | |
| | |\ \ \ | ||||||
| | | * \ \ | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys | Ahmed Irfan | 2014-01-18 | 0 | -0/+0 | |
| | | |\ \ \ | ||||||
| | | * \ \ \ | Merge branch 'master' of https://github.com/cliffordwolf/yosys | Ahmed Irfan | 2014-01-18 | 13 | -12/+451 | |
| | | |\ \ \ \ | ||||||
| | * | \ \ \ \ | pmux2mux | Ahmed Irfan | 2014-01-18 | 7 | -9/+197 | |
| | |\ \ \ \ \ \ | | | |/ / / / | | |/| | | | | ||||||
| | * | | | | | | verilog default options pull | Ahmed Irfan | 2014-01-17 | 2 | -34/+104 | |
| | * | | | | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-17 | 4 | -7/+119 | |
| | |\ \ \ \ \ \ | | | |_|/ / / | | |/| | | | | ||||||
| | | * | | | | | Merge pull request #4 from cliffordwolf/master | Ahmed Irfan | 2014-01-17 | 4 | -7/+119 | |
| | | |\ \ \ \ \ | ||||||
| | * | | | | | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-17 | 2 | -0/+117 | |
| | |\| | | | | | | ||||||
| | | * | | | | | | Merge pull request #3 from cliffordwolf/master | Ahmed Irfan | 2014-01-17 | 2 | -0/+117 | |
| | | |\ \ \ \ \ \ | | | |_|_|/ / / | | |/| | | | | | ||||||
| | * | | | | | | | slice error corrected | Ahmed Irfan | 2014-01-16 | 1 | -5/+5 | |
| | * | | | | | | | width issues | Ahmed Irfan | 2014-01-15 | 2 | -65/+88 | |
| | * | | | | | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-15 | 4 | -15/+60 | |
| | |\| | | | | | | ||||||
| | | * | | | | | | Merge pull request #2 from cliffordwolf/master | Ahmed Irfan | 2014-01-15 | 4 | -15/+60 | |
| | | |\ \ \ \ \ \ | ||||||
| | * | | | | | | | | BTOR backend | Ahmed Irfan | 2014-01-14 | 2 | -279/+334 | |
| | * | | | | | | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-14 | 7 | -72/+364 | |
| | |\| | | | | | | | ||||||
| | | * | | | | | | | Merge pull request #1 from cliffordwolf/master | Ahmed Irfan | 2014-01-14 | 1 | -5/+71 | |
| | | |\ \ \ \ \ \ \ | ||||||
| | * | \ \ \ \ \ \ \ | splitnet -driver feature | Ahmed Irfan | 2014-01-03 | 6 | -45/+343 | |
| | |\ \ \ \ \ \ \ \ \ | ||||||
| | * \ \ \ \ \ \ \ \ \ | Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor | Ahmed Irfan | 2014-01-03 | 43 | -873/+2070 | |
| | |\ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | makefile | Ahmed Irfan | 2014-01-03 | 2 | -3/+3 | |
| | * | | | | | | | | | | | btor | Ahmed Irfan | 2014-01-03 | 4 | -0/+816 | |
| * | | | | | | | | | | | | Fixed handling of unsized constants in verilog frontend | Clifford Wolf | 2014-01-24 | 1 | -2/+2 | |
| | |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | ||||||
| * | | | | | | | | | | | Fixed algorithmic complexity of AST simplification of long expressions | Clifford Wolf | 2014-01-20 | 3 | -6/+13 | |
| | |_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | ||||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |