aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds/glift.cc
Commit message (Collapse)AuthorAgeFilesLines
* glift: Use ID() rather than string literals.Alberto Gonzalez2020-07-011-11/+11
|
* glift: Use worker pattern.Alberto Gonzalez2020-07-011-80/+75
|
* glift: Add support for $_NAND_ and $_NOR_ cells.Alberto Gonzalez2020-07-011-8/+11
|
* glift: Add support for $_MUX_ and $_NMUX_ cells.Alberto Gonzalez2020-07-011-1/+34
|
* glift: Add support for $_XOR_ and $_XNOR_ cells.Alberto Gonzalez2020-07-011-15/+79
|
* glift: Add initial hierarchy support.Alberto Gonzalez2020-07-011-12/+59
|
* glift: Replace `YS_OVERRIDE` with `override`.Alberto Gonzalez2020-07-011-2/+2
|
* glift: Add `-simple-cost-model` optionAlberto Gonzalez2020-07-011-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 Gonzalez2020-07-011-44/+124
| | | | tracking logic. Also refactor a bit and update help text.
* glift: Change command names to better represent their functions.Alberto Gonzalez2020-07-011-22/+22
|
* glift: Add `-create-imprecise` command, rename other commands, and re-work ↵Alberto Gonzalez2020-07-011-28/+54
| | | | the help text.
* glift: Add replacement scoring and area minimization option.Alberto Gonzalez2020-07-011-3/+56
|
* glift: Remove outputs by default; add `-keep-outputs` option; properly reset ↵Alberto Gonzalez2020-07-011-12/+43
| | | | internal state between calls.
* glift: Initial implementation of the `-sketchify` option.Alberto Gonzalez2020-07-011-50/+71
|
* glift: Initial implementation of GLIFT model construction.Alberto Gonzalez2020-07-011-2/+173
|
* glift: Add skeleton for `glift` command.Alberto Gonzalez2020-07-011-0/+50