| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | write_cex: Check for unsupported multi-PO SAT based minimization | Jannis Harder | 2022-08-05 | 1 | -1/+6 |
| | | | | | | Running SAT-based CEX minimization with multiple POs runs into an assertion. This makes it produce an error message instead. | ||||
| * | read_cex: Faster parsing and care bits for verification | Jannis Harder | 2022-08-05 | 1 | -33/+73 |
| | | |||||
| * | Merge remote-tracking branch 'upstream/master' into yosys-experimental | Miodrag Milanovic | 2022-07-04 | 2 | -19/+99 |
| |\ | |||||
| | * | Supporting new resub problem format. | Alan Mishchenko | 2022-06-02 | 1 | -0/+53 |
| | | | |||||
| | * | Improving truth table handling. | Alan Mishchenko | 2022-02-16 | 1 | -0/+10 |
| | | | |||||
| | * | Improving truth table handling. | Alan Mishchenko | 2022-02-03 | 1 | -19/+24 |
| | | | |||||
| | * | Outputting the constant node in 'write_gml'. | Alan Mishchenko | 2021-12-06 | 1 | -0/+12 |
| | | | |||||
| * | | read_cex: Allow reading cex that has extra registers | Jannis Harder | 2022-07-01 | 1 | -0/+6 |
| | | | |||||
| * | | distinquish between old and new format as well | Miodrag Milanovic | 2022-05-06 | 1 | -3/+3 |
| | | | |||||
| * | | Give more reasonable error on read_cex and handle status | Miodrag Milanovic | 2022-05-06 | 1 | -4/+7 |
| | | | |||||
| * | | Fix for unhandled aiw file commands | Miodrag Milanovic | 2022-04-15 | 1 | -2/+2 |
| | | | |||||
| * | | Make read_cex able to append if some latches are missing | Miodrag Milanovic | 2022-04-13 | 1 | -3/+11 |
| | | | |||||
| * | | fix buffer error | Miodrag Milanovic | 2022-03-22 | 1 | -2/+5 |
| | | | |||||
| * | | gcc 4.8 fix | Miodrag Milanovic | 2022-03-04 | 1 | -3/+3 |
| | | | |||||
| * | | read_cex (#12) | Miodrag Milanović | 2022-03-04 | 1 | -7/+285 |
| | | | | | | | Added read_cex command | ||||
| * | | Fixes and more cleanups in write_cex output code | Claire Xenia Wolf | 2022-02-15 | 1 | -34/+27 |
| | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | ||||
| * | | Cleanups in write_cex output format | Claire Xenia Wolf | 2022-02-15 | 1 | -2/+7 |
| | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | ||||
| * | | Enable writing of minimized Cex in non-names mode | Claire Xenia Wolf | 2022-02-15 | 1 | -3/+7 |
| | | | | | | | | | Signed-off-by: Claire Xenia Wolf <claire@clairexen.net> | ||||
| * | | write_cex - add minimize using algorithm from cexinfo command | Miodrag Milanovic | 2021-11-19 | 1 | -4/+36 |
| |/ | |||||
| * | Various changes. | Alan Mishchenko | 2021-09-02 | 1 | -0/+9 |
| | | |||||
| * | Compiler warnings. | Alan Mishchenko | 2021-08-23 | 1 | -1/+1 |
| | | |||||
| * | Suggested changes to collect and pass timing information. | Alan Mishchenko | 2021-08-12 | 1 | -5/+14 |
| | | |||||
| * | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-16 | 2 | -16/+89 |
| | | |||||
| * | Disable cube-sort when deriving SOPs. | Alan Mishchenko | 2021-05-11 | 1 | -2/+2 |
| | | |||||
| * | Updating LUT synthesis code. | Alan Mishchenko | 2021-05-11 | 1 | -1/+1 |
| | | |||||
| * | Making sure read_bench can read nodes up to 15 inputs. | Alan Mishchenko | 2021-04-30 | 2 | -5/+6 |
| | | |||||
| * | Passing node labels. | Alan Mishchenko | 2021-04-26 | 1 | -0/+8 |
| | | |||||
| * | Trying to explicitly compute don't-cares during optimization. | Alan Mishchenko | 2020-11-01 | 1 | -1/+2 |
| | | |||||
| * | Adding an option to write Verilog with LUT instances (compiler warnings). | Alan Mishchenko | 2020-10-31 | 2 | -3/+3 |
| | | |||||
| * | Adding an option to write Verilog with LUT instances. | Alan Mishchenko | 2020-10-31 | 2 | -3/+196 |
| | | |||||
| * | Fixing a clang error related to 'unlink'. | Alan Mishchenko | 2020-10-09 | 1 | -0/+3 |
| | | |||||
| * | New command 'read_sf'. | Alan Mishchenko | 2020-10-01 | 2 | -0/+128 |
| | | |||||
| * | Ongoing changes to the simulator. | Alan Mishchenko | 2020-03-09 | 1 | -0/+2 |
| | | |||||
| * | Adding CNF variable mapping rules. | Alan Mishchenko | 2020-01-18 | 1 | -0/+11 |
| | | |||||
| * | Updates to JSON parser. | Alan Mishchenko | 2019-12-02 | 1 | -0/+20 |
| | | |||||
| * | Updates to JSON parser. | Alan Mishchenko | 2019-12-02 | 2 | -7/+138 |
| | | |||||
| * | Adding logfile dump to print_status. | Alan Mishchenko | 2019-11-25 | 1 | -0/+26 |
| | | |||||
| * | Dumping multiple counter-examples. | Alan Mishchenko | 2019-11-19 | 1 | -1/+1 |
| | | |||||
| * | Dumping multiple counter-examples. | Alan Mishchenko | 2019-11-19 | 1 | -1/+1 |
| | | |||||
| * | Dumping multiple counter-examples. | Alan Mishchenko | 2019-11-19 | 1 | -104/+139 |
| | | |||||
| * | Bug fix in parsing hierarchical BLIF with mapping. | Alan Mishchenko | 2019-11-18 | 1 | -3/+16 |
| | | |||||
| * | Fix read_bench to read standard gate names in lower-case. | Alan Mishchenko | 2019-08-28 | 1 | -9/+9 |
| | | |||||
| * | Adding synonym of 'read_dsd'. | Alan Mishchenko | 2019-06-20 | 1 | -0/+1 |
| | | |||||
| * | Modifying 'write_truth' to dump truth table in hex. | Alan Mishchenko | 2019-05-07 | 1 | -3/+11 |
| | | |||||
| * | Adding switch 'read_truth -f <file_name>' to read truth table from file. | Alan Mishchenko | 2019-04-15 | 1 | -9/+22 |
| | | |||||
| * | Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵ | Alan Mishchenko | 2019-03-05 | 3 | -4/+4 |
| | | | | | memcpy, etc. | ||||
| * | Suggested white-space changes for fewer gcc warnings. | Alan Mishchenko | 2019-03-04 | 1 | -1/+1 |
| | | |||||
| * | Add skip feature to CEX printing. | Alan Mishchenko | 2019-02-08 | 1 | -1/+9 |
| | | |||||
| * | Exploring other ways of CEX writing. | Alan Mishchenko | 2019-01-21 | 1 | -5/+51 |
| | | |||||
| * | Undoing some recent changes for improved CEX writing. | Alan Mishchenko | 2019-01-21 | 1 | -65/+8 |
| | | |||||
 |
index : iCE40/abc | |
| [no description] |
| summaryrefslogtreecommitdiffstats |