Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add WASI platform support. | whitequark | 2020-04-30 | 1 | -0/+4 |
| | | | | | | | | | | | | 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. | ||||
* | abc9: tolerate ABC nonzero exit code if output.aig; write before &mfs | Eddie Hung | 2020-04-20 | 1 | -2/+13 |
| | | | | | Re-enable mfs for xilinx/ecp5 speculatively -- if it fails, use pre-mfs result | ||||
* | xilinx/ecp5: disable abc9's "&mfs" optimisation | Eddie Hung | 2020-04-20 | 1 | -0/+4 |
| | | | | Can sometimes fire an assertion, e.g. #1962 | ||||
* | abc9_exe: verify -> &verify -s | Eddie Hung | 2020-04-14 | 1 | -2/+2 |
| | |||||
* | Support custom PROGRAM_PREFIX | Miodrag Milanovic | 2020-04-10 | 1 | -4/+4 |
| | |||||
* | abc9: cleanup | Eddie Hung | 2020-02-10 | 1 | -1/+1 |
| | |||||
* | Fix misc.abc9.abc9_abc9_luts | Eddie Hung | 2020-02-07 | 1 | -1/+1 |
| | |||||
* | Merge branch 'eddie/abc9_refactor' into eddie/abc9_required | Eddie Hung | 2020-01-27 | 1 | -4/+4 |
|\ | |||||
| * | Merge remote-tracking branch 'origin/eddie/abc9_fixes' into eddie/abc9_refactor | Eddie Hung | 2020-01-22 | 1 | -4/+4 |
| | | |||||
* | | abc9_ops: -write_box is empty, output a dummy box to prevent ABC error | Eddie Hung | 2020-01-15 | 1 | -2/+1 |
|/ | |||||
* | abc9: log which module is being operated on | Eddie Hung | 2020-01-13 | 1 | -4/+0 |
| | |||||
* | Merge remote-tracking branch 'origin/master' into eddie/abc9_refactor | Eddie Hung | 2020-01-13 | 1 | -62/+58 |
| | |||||
* | abc9: cleanup | Eddie Hung | 2020-01-11 | 1 | -10/+5 |
| | |||||
* | abc_exe: move 'count_outputs' check to abc | Eddie Hung | 2020-01-07 | 1 | -45/+32 |
| | |||||
* | Add abc9_ops -reintegrate; moved out from now abc9_exe | Eddie Hung | 2020-01-06 | 1 | -0/+557 |