Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 1 | -0/+1 |
| | | | | | | | These can be used to protect undefined flip-flop initialization values from optimizations that are not sound for formal verification and can help mapping all solver-provided values in witness traces for flows that use different backends simultaneously. | ||||
* | Makefile: properly conditionalize features requiring compression. | Iris Johnson | 2022-04-07 | 1 | -0/+2 |
| | |||||
* | Add WASI platform support. | whitequark | 2020-04-30 | 1 | -1/+2 |
| | | | | | | | | | | | | This includes the following significant changes: * Patching ezsat and minisat to disable resource limiting code on WASM/WASI, since the POSIX functions they use are unavailable. * Adding a new definition, YOSYS_DISABLE_SPAWN, present if platform does not support spawning subprocesses (i.e. Emscripten or WASI). This definition hides the definition of `run_command()`. * Adding a new Makefile flag, DISABLE_SPAWN, present in the same condition. This flag disables all passes that require spawning subprocesses for their function. | ||||
* | Initial skeleton for `qbfsat` command. | Alberto Gonzalez | 2020-04-04 | 1 | -0/+1 |
| | |||||
* | Add fminit pass | Clifford Wolf | 2020-01-09 | 1 | -0/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add "cutpoint" pass | Clifford Wolf | 2019-03-25 | 1 | -0/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add fmcombine pass | Clifford Wolf | 2019-03-15 | 1 | -0/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add basic "mutate -list N" framework | Clifford Wolf | 2019-03-14 | 1 | -0/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add "supercover" skeleton | Clifford Wolf | 2019-02-27 | 1 | -0/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add async2sync pass | Clifford Wolf | 2018-07-19 | 1 | -0/+1 |
| | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
* | Add "sim" command skeleton | Clifford Wolf | 2017-08-16 | 1 | -0/+1 |
| | |||||
* | Added clk2fflogic | Clifford Wolf | 2016-10-14 | 1 | -0/+1 |
| | |||||
* | Added assertpmux | Clifford Wolf | 2016-09-07 | 1 | -0/+1 |
| | |||||
* | Moved equiv stuff to passes/equiv/ | Clifford Wolf | 2015-01-22 | 1 | -3/+0 |
| | |||||
* | Added equiv_simple | Clifford Wolf | 2015-01-19 | 1 | -0/+1 |
| | |||||
* | Added equiv_status | Clifford Wolf | 2015-01-19 | 1 | -0/+1 |
| | |||||
* | Added equiv_make command | Clifford Wolf | 2015-01-19 | 1 | -0/+1 |
| | |||||
* | Moved "share" and "wreduce" to passes/opt/ | Clifford Wolf | 2014-09-01 | 1 | -1/+0 |
| | |||||
* | Started to implement real resource sharing | Clifford Wolf | 2014-07-19 | 1 | -0/+1 |
| | |||||
* | Added expose command | Clifford Wolf | 2014-02-05 | 1 | -0/+1 |
| | |||||
* | Added miter command | Clifford Wolf | 2014-02-01 | 1 | -0/+1 |
| | |||||
* | Added freduce command | Clifford Wolf | 2013-08-06 | 1 | -0/+1 |
| | |||||
* | Added "eval" pass | Clifford Wolf | 2013-06-19 | 1 | -0/+1 |
| | |||||
* | Renamed "sat_solve" pass to "sat" | Clifford Wolf | 2013-06-09 | 1 | -1/+1 |
| | |||||
* | Added SAT generator and simple sat_solve command | Clifford Wolf | 2013-06-07 | 1 | -0/+3 |