Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | glift: Use ID() rather than string literals. | Alberto Gonzalez | 2020-07-01 | 1 | -11/+11 |
| | |||||
* | glift: Use worker pattern. | Alberto Gonzalez | 2020-07-01 | 1 | -80/+75 |
| | |||||
* | glift: Add support for $_NAND_ and $_NOR_ cells. | Alberto Gonzalez | 2020-07-01 | 1 | -8/+11 |
| | |||||
* | glift: Add support for $_MUX_ and $_NMUX_ cells. | Alberto Gonzalez | 2020-07-01 | 1 | -1/+34 |
| | |||||
* | glift: Add support for $_XOR_ and $_XNOR_ cells. | Alberto Gonzalez | 2020-07-01 | 1 | -15/+79 |
| | |||||
* | glift: Add initial hierarchy support. | Alberto Gonzalez | 2020-07-01 | 1 | -12/+59 |
| | |||||
* | glift: Replace `YS_OVERRIDE` with `override`. | Alberto Gonzalez | 2020-07-01 | 1 | -2/+2 |
| | |||||
* | glift: Add `-simple-cost-model` option | Alberto Gonzalez | 2020-07-01 | 1 | -20/+45 |
| | | | | | | | | Rather than assigning specific weights to specific versions of taint tracking logic and summing the weights of all GLIFT cells, sum the following values for each GLIFT cell: - 0 if the associated hole/$anyconst cell value is non-zero, i.e. reduced-precision taint tracking logic is chosen at this cell - 1 if the associated hole/$anyconst cell value is zero, i.e. the full-precision taint tracking logic is chosen at this cell This simplified cost modeling reduces the potential for the QBF-SAT solver to minimize taint tracking logic area but significantly simplifies the QBF-SAT problem. | ||||
* | glift: Add `-instrument-more` option to add 4 more versions of taint ↵ | Alberto Gonzalez | 2020-07-01 | 1 | -44/+124 |
| | | | | tracking logic. Also refactor a bit and update help text. | ||||
* | glift: Change command names to better represent their functions. | Alberto Gonzalez | 2020-07-01 | 1 | -22/+22 |
| | |||||
* | glift: Add `-create-imprecise` command, rename other commands, and re-work ↵ | Alberto Gonzalez | 2020-07-01 | 1 | -28/+54 |
| | | | | the help text. | ||||
* | glift: Add replacement scoring and area minimization option. | Alberto Gonzalez | 2020-07-01 | 1 | -3/+56 |
| | |||||
* | glift: Remove outputs by default; add `-keep-outputs` option; properly reset ↵ | Alberto Gonzalez | 2020-07-01 | 1 | -12/+43 |
| | | | | internal state between calls. | ||||
* | glift: Initial implementation of the `-sketchify` option. | Alberto Gonzalez | 2020-07-01 | 1 | -50/+71 |
| | |||||
* | glift: Initial implementation of GLIFT model construction. | Alberto Gonzalez | 2020-07-01 | 1 | -2/+173 |
| | |||||
* | glift: Add skeleton for `glift` command. | Alberto Gonzalez | 2020-07-01 | 1 | -0/+50 |