aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers
Commit message (Expand)AuthorAge
...
* Split off ZUtil.Stabilization, finish IsBoundedBy!Gravatar Jason Gross2017-04-09
* More wip on boundsGravatar Jason Gross2017-04-09
* More progress on boundsGravatar Jason Gross2017-04-09
* Don't take abs in upper_lor_and_boundsGravatar Jason Gross2017-04-09
* Take more abs in Bounds.InterpretationGravatar Jason Gross2017-04-09
* Factor out Z.{lor,land} proofs a bit moreGravatar Jason Gross2017-04-09
* Finish shift cases, extract out land, lor factsGravatar Jason Gross2017-04-09
* WIP on bounds lemmaGravatar Jason Gross2017-04-08
* More WIP on PullCastGravatar Jason Gross2017-04-08
* Add interpToZ_rangeGravatar Jason Gross2017-04-08
* Add ZToInterp_eq_injGravatar Jason Gross2017-04-08
* Use Z.max 0, not an if statementGravatar Jason Gross2017-04-08
* Add interpToZ_ZToInterp_modGravatar Jason Gross2017-04-08
* Add cast_const_mod lemmasGravatar Jason Gross2017-04-08
* Add cast_const_split_modGravatar Jason Gross2017-04-08
* More WIP on PullCastGravatar Jason Gross2017-04-08
* Add cast_const_idempotent_smallGravatar Jason Gross2017-04-08
* WIP on pullcastGravatar Jason Gross2017-04-08
* Work in progress on proving PullCastGravatar Jason Gross2017-04-07
* Remove useless importsGravatar Jason Gross2017-04-07
* Split up Compilers/Z/Bounds/InterpretationLemmasGravatar Jason Gross2017-04-07
* Parameterize bounds analysis over round_upGravatar Jason Gross2017-04-07
* Add inversion_base_type_constrGravatar Jason Gross2017-04-07
* Slightly faster reificationGravatar Jason Gross2017-04-07
* Display un-interped C codeGravatar Jason Gross2017-04-07
* Add Display files and targetsGravatar Jason Gross2017-04-07
* Merge branch 'rename-everything'. Closes #14.Gravatar Andres Erbsen2017-04-06
* rename-everythingGravatar Andres Erbsen2017-04-06
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-08 09:19:01 +0000