| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | 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. | ||||
| | * | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established) | ||||
| * | | fix basys3 example | japm48 | 2018-07-22 | 2 | -0/+4 |
| |/ | | | | | | | Added `CONFIG_VOLTAGE` and `CFGBVS` to constraints file to avoid warning `DRC 23-20`. Added `open_hw` needed for programming. | ||||
| * | Update examples/cmos/counter.ys to use "synth" command | Clifford Wolf | 2018-05-30 | 1 | -5/+5 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add smtbmc support for exist-forall problems | Clifford Wolf | 2018-02-23 | 3 | -2/+23 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add $allconst and $allseq cell types | Clifford Wolf | 2018-02-23 | 1 | -1/+1 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | 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 |
| | | |||||
| * | yosys-smtbmc meminit support | Clifford Wolf | 2016-09-08 | 3 | -2/+29 |
| | | |||||
| * | Improvements in assertpmux | Clifford Wolf | 2016-09-07 | 3 | -2/+25 |
| | | |||||
| * | Made examples/smtbmc/demo1.v more interesting | Clifford Wolf | 2016-09-02 | 1 | -1/+1 |
| | | |||||
| * | Added $anyconst support to yosys-smtbmc | Clifford Wolf | 2016-08-30 | 3 | -1/+29 |
| | | |||||
| * | Made "write_smt2 -bv -mem" default, added "write_smt2 -nobv -nomem" | Clifford Wolf | 2016-08-30 | 1 | -4/+4 |
| | | |||||
| * | Removed $predict again | Clifford Wolf | 2016-08-28 | 1 | -1/+0 |
| | | |||||
| * | Added smtc "final" statement | Clifford Wolf | 2016-08-27 | 4 | -2/+36 |
| | | |||||
| * | More yosys-smtbmc smtc features | Clifford Wolf | 2016-08-24 | 4 | -5/+38 |
| | | |||||
| * | yosys-smtbmc --smtc -g | Clifford Wolf | 2016-08-24 | 2 | -5/+14 |
| | | |||||
| * | Added "yosys-smtbmc --dump-constr" | Clifford Wolf | 2016-08-22 | 1 | -1/+1 |
| | | |||||
| * | Added examples/smtbmc/demo2.v | Clifford Wolf | 2016-08-20 | 3 | -3/+45 |
| | | |||||
| * | Added smtbmc longopt support | Clifford Wolf | 2016-08-20 | 1 | -2/+2 |
| | | |||||
| * | Added $initstate support to smtbmc flow | Clifford Wolf | 2016-07-27 | 1 | -1/+2 |
| | | |||||
| * | After reading the SV spec, using non-standard predict() instead of expect() | Clifford Wolf | 2016-07-21 | 1 | -1/+1 |
| | | |||||
| * | Added examples/smtbmc | Clifford Wolf | 2016-07-13 | 2 | -0/+30 |
| | | |||||
| * | Cleanups and improvements in examples/cmos/ | Clifford Wolf | 2016-03-11 | 5 | -12/+19 |
| | | |||||
| * | Merge commit 'b34385ec924b6067c1f82bdbae923f8062518956' | Clifford Wolf | 2016-03-11 | 5 | -9/+76 |
| |\ | |||||
| | * | Completed ngspice digital example with verilog tb | Uros Platise | 2016-03-05 | 5 | -9/+76 |
| | | | |||||
| * | | Added examples/cxx-api/evaldemo.cc | Clifford Wolf | 2016-03-08 | 1 | -0/+55 |
| |/ | |||||
| * | Added digital (xspice) example code to examples/cmos/ | Clifford Wolf | 2016-03-02 | 4 | -1/+70 |
| | | |||||
| * | Added examples/ top-level directory | Clifford Wolf | 2015-10-13 | 15 | -0/+304 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |