aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers
Commit message (Expand)AuthorAge
* add reflexivity to reify autosolveGravatar Jason Gross2017-11-12
* Also unfold tuple for reificationGravatar Jason Gross2017-11-11
* Handle more base types in Z.ReifyGravatar Jason Gross2017-11-10
* Add more fine-grained cmovnz notationsGravatar Jason Gross2017-11-10
* Handle tuples in reificationGravatar Jason Gross2017-11-10
* Add unfold_flat_interp_tupleGravatar Jason Gross2017-11-10
* Use match in flat_interp_{,un}tuple'Gravatar Jason Gross2017-11-10
* Make a reification packageGravatar Jason Gross2017-11-07
* Generalize extended version of IdWithAltGravatar Jason Gross2017-11-06
* Add IdWithAlt to ZExtendedGravatar Jason Gross2017-11-04
* Add Zsub to extended syntaxGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Fix error in generated C notationsGravatar Jason Gross2017-11-03
* Add preformatting for casts of mulxGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Add notations for mulx involving uint8_tGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Fix missing cases in previous commitGravatar Jason Gross2017-11-03
* Add SubWithGetBorrow with ZExtendedGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-03
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-02
* Add more constant notationsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Add more constant notationsGravatar Jason Gross2017-11-01
* Switch to AddWithGetCarry in ZExtendedGravatar Jason Gross2017-10-31
* Add MapBaseTypeGravatar Jason Gross2017-10-31
* Add unextend_opGravatar Jason Gross2017-10-31
* Generalize MapBaseType a bitGravatar Jason Gross2017-10-31
* Add invert_PairsConst_genGravatar Jason Gross2017-10-31
* Add more constant notationsGravatar Jason Gross2017-10-31
* Add more constant notationsGravatar Jason Gross2017-10-29
* Add inversion_wf_one_constrGravatar Jason Gross2017-10-24
* Add MapBaseTypeWf, generalize src/Compilers/MapBaseType.v a bitGravatar Jason Gross2017-10-24
* Generalize In_flatten_binding_list_untransfer_interp_flat_typeGravatar Jason Gross2017-10-24
* Add In_flatten_binding_list_untransfer_interp_flat_typeGravatar Jason Gross2017-10-24