aboutsummaryrefslogtreecommitdiff
path: root/src/Compilers
Commit message (Collapse)AuthorAge
* 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
| | | | | It's the final argument, not the second-to-final argument, that needs to be a particular size
* 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
|
* Add wff_SmartPairf_SmartValfGravatar Jason Gross2017-10-24
|
* Add MapBaseTypeGravatar Jason Gross2017-10-23
|
* Add find_Name_and_val_transfer_interp_flat_type_NoneGravatar Jason Gross2017-10-23
|
* Add find_Name_and_val_transfer_interp_flat_typeGravatar Jason Gross2017-10-23
|
* Factor out some code in src/Compilers/Named/MapType.vGravatar Jason Gross2017-10-23
|
* Add {un,}transfer_interp_flat_type, lift_flat_typeGravatar Jason Gross2017-10-23
|
* Add InlineConstAndOpByRewriteGravatar Jason Gross2017-10-23
|
* Add inline_const_and_op{f,} specializationsGravatar Jason Gross2017-10-22
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 11:01:48 +0000