Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add support for reifying `zrange` and `option` | 2019-02-18 | |
* | Add Option.{lift,map,combine}, List.Option.lift | 2019-02-11 | |
* | Use Preconditions: Postconditions:, rather than /\ and -> | 2019-02-02 | |
* | Add autogenerated docstrings to synthesized code | 2019-02-02 | |
* | Support Nat.eqb in reification | 2019-01-25 | |
* | Ensure that we only left-shift on unsigned values | 2019-01-15 | |
* | Fix computation of INTX_MIN | 2019-01-15 | |
* | Don't cast signed to unsigned before shifting | 2019-01-15 | |
* | move src/Experiments/NewPipeline/ to src/ | 2019-01-09 |