| Commit message (Expand) | Author | Age |
|---|
| * | Remove the bits of the new reflective pipeline in master |  Jason Gross | 2017-04-02 |
| * | Generalize Z.InterpInlineConst | Jason Gross | 2017-04-02 |
| * | Better version of inversion_ProcessedReflectivePackage | Jason Gross | 2017-04-02 |
| * | Add inversion_ProcessedReflectivePackage | Jason Gross | 2017-04-02 |
| * | Add PreDefinitions pipeline file | Jason Gross | 2017-04-02 |
| * | Add Z instantiations of InlineConst | Jason Gross | 2017-04-02 |
| * | Add Z.Bounds.MapCastByDeBruijn instantiation | Jason Gross | 2017-04-02 |
| * | Add Z instantiation of MapCastByDeBruijnInterp | Jason Gross | 2017-04-02 |
| * | Add reflective_interp rewrite db | Jason Gross | 2017-04-02 |
| * | Add an initial glue file in the pipeline, no option in bounds | Jason Gross | 2017-04-01 |
| * | Add back word hex constant notations | Jason Gross | 2017-04-01 |
| * | Add wf proof for arithmetic simplifer | Jason Gross | 2017-04-01 |
| * | Add interp proof for arithmetic simplifier | Jason Gross | 2017-04-01 |
| * | Add an arithmetic simplifier | Jason Gross | 2017-04-01 |
| * | Alter relax_output_bounds statement | Jason Gross | 2017-04-01 |
| * | Add a bounds relaxation lemma | Jason Gross | 2017-03-31 |
| * | Fix inversion_base_type | Jason Gross | 2017-03-31 |
| * | Add inversion_base_type for Z.Syntax.base_type | Jason Gross | 2017-03-31 |
| * | Add Bounds.is_tighter_thanb | Jason Gross | 2017-03-31 |
| * | Use a better order of arguments for Bounds.is_bounded_by | Jason Gross | 2017-03-31 |
| * | Start instantiating MapCastByDeBruijn in Z/ | Jason Gross | 2017-03-30 |
| * | Don't linearize and eta in MapCastByDeBruijn | Jason Gross | 2017-03-30 |
| * | Revert "Update CNotations, JavaNotations" | Jason Gross | 2017-03-30 |
| * | Update CNotations, JavaNotations | Jason Gross | 2017-03-30 |
| * | Rename Bounds to ZRange, use Prop, not bool | Jason Gross | 2017-03-30 |
| * | Use Bounds in BoundsInterpretations | Jason Gross | 2017-03-30 |
| * | More robust reifier | Jason Gross | 2017-03-29 |
| * | Add Z.FoldTypes.{Min,Max}TypeUsed | Jason Gross | 2017-03-28 |
| * | Add Bounds.dec_eq_interp_flat_type | Jason Gross | 2017-03-27 |
| * | Add cast_back_flat_const | Jason Gross | 2017-03-22 |
| * | Make Z.ltb_to_lt a bit stronger | Jason Gross | 2017-03-21 |
| * | Add dummy TWord constructor to syntax type | Jason Gross | 2017-03-19 |
| * | make 8.5 happy |  Andres Erbsen | 2017-03-02 |
| * | Switch to fully uncurried form for reflection | Jason Gross | 2017-03-01 |
| * | Add BoundsInterpretations | Jason Gross | 2017-02-23 |
| * | Add various reflection improvements, boundbycast | Jason Gross | 2017-02-21 |
| * | Rename Interp lemmas | Jason Gross | 2017-02-21 |
| * | Add rudimentary Java and C notation files, display | Jason Gross | 2017-02-15 |
| * | Add files for constant reflective notations | Jason Gross | 2017-02-10 |
| * | Clean up and improve Reflection.Relations | Jason Gross | 2017-02-07 |
| * | Move things from WordUtil to ZUtil, add word lemma | Jason Gross | 2017-02-06 |
| * | Reorder Reflection.Z.Syntax | Jason Gross | 2017-02-02 |
| * | Split up Reflection/Z/Syntax and make it smaller | Jason Gross | 2017-02-02 |
| * | Add invert_match_op | Jason Gross | 2017-02-01 |
| * | Add invert_op | Jason Gross | 2017-02-01 |
| * | Split off some bits of Reflection.Syntax | Jason Gross | 2017-01-26 |
| * | Remove the Const constructor of exprf | Jason Gross | 2017-01-19 |
| * | Split out Reflection.Equality, change Tflat implicit argument | Jason Gross | 2017-01-19 |
| * | Various application lemmas | Jason Gross | 2016-11-23 |
| * | Remove an admit | Jason Gross | 2016-11-17 |
Jason Gross
Andres Erbsen