Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Added read_verilog -icells option | Clifford Wolf | 2014-01-29 | |
| | ||||
* | Major rewrite of techlibs/common/simlib.v for LEC (cadance conformal) | Clifford Wolf | 2014-01-29 | |
| | ||||
* | presentation progress | Clifford Wolf | 2014-01-28 | |
| | ||||
* | Renamed manual/FILES_* directories | Clifford Wolf | 2014-01-28 | |
| | ||||
* | Progress on presentation | Clifford Wolf | 2014-01-28 | |
| | ||||
* | Progress on presentation | Clifford Wolf | 2014-01-27 | |
| | ||||
* | Added first presentation slides | Clifford Wolf | 2014-01-27 | |
| | ||||
* | Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys | Clifford Wolf | 2014-01-26 | |
|\ | ||||
| * | root bug corrected | Ahmed Irfan | 2014-01-25 | |
| | | ||||
* | | Merge pull request #21 from hansiglaser/master | Clifford Wolf | 2014-01-25 | |
|\ \ | | | | | | | beautified write_intersynth, enabled multiple "-map" for the extract pass | |||
| * | | enabled multiple "-map" for the extract pass | Johann Glaser | 2014-01-25 | |
| | | | ||||
| * | | beautified write_intersynth | Johann Glaser | 2014-01-25 | |
|/ / | ||||
* | | Added support for // comments in liberty parser | Clifford Wolf | 2014-01-25 | |
| | | ||||
* | | Merge branch 'btor' | Clifford Wolf | 2014-01-24 | |
|\| | ||||
| * | removed regex include | Ahmed Irfan | 2014-01-24 | |
| | | ||||
| * | merged clifford changes + removed regex | Ahmed Irfan | 2014-01-24 | |
| | | ||||
| * | Use techmap -share_map in btor scripts | Clifford Wolf | 2014-01-24 | |
| | | ||||
| * | Moved btor scripts to backends/btor/ | Clifford Wolf | 2014-01-24 | |
| | | ||||
| * | Restored Makefile | Clifford Wolf | 2014-01-24 | |
| | | ||||
| * | Restored IdString::check() | Clifford Wolf | 2014-01-24 | |
| | | ||||
| * | Merge branch 'btor' of https://github.com/ahmedirfan1983/yosys into btor | Clifford Wolf | 2014-01-24 | |
|/| | ||||
| * | minor change in script | Ahmed Irfan | 2014-01-24 | |
| | | ||||
| * | Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor | Ahmed Irfan | 2014-01-22 | |
| |\ | ||||
| * | | slice bug corrected | Ahmed Irfan | 2014-01-20 | |
| | | | ||||
| * | | assert feature | Ahmed Irfan | 2014-01-20 | |
| | | | ||||
| * | | Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor | Ahmed Irfan | 2014-01-20 | |
| |\ \ | ||||
| * | | | script added | Ahmed Irfan | 2014-01-18 | |
| | | | | ||||
| * | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-18 | |
| |\ \ \ | ||||
| | * \ \ | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys | Ahmed Irfan | 2014-01-18 | |
| | |\ \ \ | ||||
| | * \ \ \ | Merge branch 'master' of https://github.com/cliffordwolf/yosys | Ahmed Irfan | 2014-01-18 | |
| | |\ \ \ \ | ||||
| * | \ \ \ \ | pmux2mux | Ahmed Irfan | 2014-01-18 | |
| |\ \ \ \ \ \ | | | |/ / / / | | |/| | | | | ||||
| * | | | | | | verilog default options pull | Ahmed Irfan | 2014-01-17 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | shift operator width issues | |||
| * | | | | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-17 | |
| |\ \ \ \ \ \ | | | |_|/ / / | | |/| | | | | ||||
| | * | | | | | Merge pull request #4 from cliffordwolf/master | Ahmed Irfan | 2014-01-17 | |
| | |\ \ \ \ \ | | | | | | | | | | | | | | | | | verilog defaults | |||
| * | | | | | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-17 | |
| |\| | | | | | | ||||
| | * | | | | | | Merge pull request #3 from cliffordwolf/master | Ahmed Irfan | 2014-01-17 | |
| | |\ \ \ \ \ \ | | | |_|_|/ / / | | |/| | | | | | memory_unpack | |||
| * | | | | | | | slice error corrected | Ahmed Irfan | 2014-01-16 | |
| | | | | | | | | ||||
| * | | | | | | | width issues | Ahmed Irfan | 2014-01-15 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | dff cell for more than one registers | |||
| * | | | | | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-15 | |
| |\| | | | | | | ||||
| | * | | | | | | Merge pull request #2 from cliffordwolf/master | Ahmed Irfan | 2014-01-15 | |
| | |\ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | hierarchy | |||
| * | | | | | | | | BTOR backend | Ahmed Irfan | 2014-01-14 | |
| | | | | | | | | | ||||
| * | | | | | | | | Merge branch 'master' of https://github.com/ahmedirfan1983/yosys into btor | Ahmed Irfan | 2014-01-14 | |
| |\| | | | | | | | ||||
| | * | | | | | | | Merge pull request #1 from cliffordwolf/master | Ahmed Irfan | 2014-01-14 | |
| | |\ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | Added "opt_const -mux_undef" | |||
| * | \ \ \ \ \ \ \ | splitnet -driver feature | Ahmed Irfan | 2014-01-03 | |
| |\ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor | |||
| * \ \ \ \ \ \ \ \ \ | Merge branch 'master' of https://github.com/cliffordwolf/yosys into btor | Ahmed Irfan | 2014-01-03 | |
| |\ \ \ \ \ \ \ \ \ \ | ||||
| * | | | | | | | | | | | makefile | Ahmed Irfan | 2014-01-03 | |
| | | | | | | | | | | | | ||||
| * | | | | | | | | | | | btor | Ahmed Irfan | 2014-01-03 | |
| | | | | | | | | | | | | ||||
* | | | | | | | | | | | | Fixed handling of unsized constants in verilog frontend | Clifford Wolf | 2014-01-24 | |
| |_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | ||||
* | | | | | | | | | | | Fixed algorithmic complexity of AST simplification of long expressions | Clifford Wolf | 2014-01-20 | |
| |_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | ||||
* | | | | | | | | | | Added hilomap command | Clifford Wolf | 2014-01-19 | |
| | | | | | | | | | |