| Commit message (Expand) | Author | Age | Files | Lines |
* | glift: Use `qbfsat -O2` instead of manually calling `abc`. | Alberto Gonzalez | 2020-07-01 | 8 | -40/+8 |
* | glift: Change command names to better represent their functions. | Alberto Gonzalez | 2020-07-01 | 9 | -27/+27 |
* | glift: Add `-create-imprecise` command, rename other commands, and re-work th... | Alberto Gonzalez | 2020-07-01 | 9 | -12/+13 |
* | glift: Add examples, including a number of benchmarks used in some academic w... | Alberto Gonzalez | 2020-07-01 | 18 | -1/+7279 |
* | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 1 | -1/+1 |
* | kernel: use more ID::* | Eddie Hung | 2020-04-02 | 1 | -2/+2 |
* | Add support for optimizing exists-forall problems. | Alberto Gonzalez | 2020-03-13 | 2 | -2/+22 |
* | set undriven pads to zero | Pepijn de Vos | 2019-09-04 | 1 | -2/+2 |
* | fix tcl script | Pepijn de Vos | 2019-09-04 | 1 | -2/+1 |
* | add broken TCL run script | Pepijn de Vos | 2019-09-04 | 2 | -0/+18 |
* | Add demonstration of breakage | Pepijn de Vos | 2019-09-04 | 1 | -0/+1 |
* | Update example for GW1NR-9 | Pepijn de Vos | 2019-09-04 | 4 | -47/+28 |
* | Add clock buffer insertion pass, improve iopadmap. | Marcin KoĆcielnicki | 2019-08-13 | 1 | -2/+1 |
* | Add a simple example for Spartan 6 | Marcin KoĆcielnicki | 2019-07-24 | 5 | -0/+47 |
* | Added cell_stats example | Benedikt Tutzer | 2019-04-03 | 4 | -478/+54 |
* | Merge remote-tracking branch 'origin/master' into feature/python_bindings | Benedikt Tutzer | 2019-03-28 | 16 | -1/+215 |
|\ |
|
| * | Merge pull request #856 from kprasadvnsi/master | Clifford Wolf | 2019-03-07 | 6 | -10/+12 |
| |\ |
|
| | * | examples/anlogic/ now also output the SVF file. | Kali Prasad | 2019-03-06 | 6 | -10/+12 |
| * | | Refactor SF2 iobuf insertion, Add clkint insertion | Clifford Wolf | 2019-03-06 | 1 | -1/+1 |
| * | | Improve igloo2 example | Clifford Wolf | 2019-03-05 | 1 | -2/+3 |
| * | | Improve igloo2 example | Clifford Wolf | 2019-03-05 | 2 | -2/+54 |
| * | | Improvements in SF2 flow and demo | Clifford Wolf | 2019-03-05 | 2 | -1/+2 |
| |/ |
|
| * | Improve igloo2 exmaple | Clifford Wolf | 2019-03-05 | 4 | -8/+16 |
| * | Add missing newline | Clifford Wolf | 2019-03-05 | 1 | -1/+1 |
| * | Added examples/anlogic/ | Kali Prasad | 2019-03-04 | 7 | -0/+55 |
| * | Improve igloo2 example | Clifford Wolf | 2019-03-03 | 2 | -3/+10 |
| * | Update igloo2 example to Libero v12.0 | Clifford Wolf | 2019-03-03 | 2 | -6/+5 |
| * | Cleanups in igloo2 example design | Clifford Wolf | 2019-01-17 | 6 | -7/+4 |
| * | Add SF2 IO buffer insertion | Clifford Wolf | 2019-01-17 | 2 | -2/+3 |
| * | Improve Igloo2 example | Clifford Wolf | 2019-01-17 | 8 | -22/+41 |
| * | Improve igloo2 example | Clifford Wolf | 2019-01-08 | 4 | -5/+29 |
| * | Add skeleton Yosys-Libero igloo2 example project | Clifford Wolf | 2019-01-05 | 5 | -0/+44 |
| * | Merge pull request #591 from hzeller/virtual-override | Clifford Wolf | 2018-08-15 | 1 | -1/+1 |
| |\ |
|
| | * | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -1/+1 |
| * | | fix basys3 example | japm48 | 2018-07-22 | 2 | -0/+4 |
| |/ |
|
* / | Added sample code for python-api | Benedikt Tutzer | 2018-12-11 | 3 | -0/+479 |
|/ |
|
* | Update examples/cmos/counter.ys to use "synth" command | Clifford Wolf | 2018-05-30 | 1 | -5/+5 |
* | Add smtbmc support for exist-forall problems | Clifford Wolf | 2018-02-23 | 3 | -2/+23 |
* | Add $allconst and $allseq cell types | Clifford Wolf | 2018-02-23 | 1 | -1/+1 |
* | Fixed the -vout flag to -vqm in examples/intel directory | dh73 | 2017-11-14 | 4 | -4/+4 |
* | Add timing constraints to osu035 example | Clifford Wolf | 2017-10-10 | 3 | -2/+4 |
* | Add examples/osu035 | Clifford Wolf | 2017-05-23 | 4 | -0/+30 |
* | Replace CRLF line endings with LF in de2i.qsf (quartus example) | Clifford Wolf | 2017-04-12 | 1 | -1098/+1098 |
* | Squelch trailing whitespace | Larry Doolittle | 2017-04-12 | 6 | -31/+31 |
* | Add initial support for both MAX10 and Cyclone IV (E|GX) FPGAs | dh73 | 2017-04-05 | 17 | -0/+1287 |
* | Added $assert/$assume support to AIGER back-end | Clifford Wolf | 2016-12-03 | 2 | -3/+3 |
* | Added examples/aiger/ | Clifford Wolf | 2016-12-01 | 4 | -0/+53 |
* | Progress in examples/gowin/ | Clifford Wolf | 2016-11-08 | 5 | -21/+95 |
* | Added examples/gowin/ | Clifford Wolf | 2016-11-07 | 6 | -0/+57 |
* | Added $anyseq cell type | Clifford Wolf | 2016-10-14 | 1 | -1/+2 |