| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Update SymbolicToPure so that we don't construct tuples with exactly one | Son Ho | 2022-02-04 | 4 | -32/+51 |
* | Fix a small issue with the types of tuple values in | Son Ho | 2022-02-04 | 2 | -14/+42 |
* | Filter the backward functions with no outputs in the micro passes | Son Ho | 2022-02-04 | 1 | -46/+66 |
* | Make a minor modification | Son Ho | 2022-02-03 | 1 | -1/+0 |
* | Make a minor improvement in printing | Son Ho | 2022-02-03 | 2 | -4/+13 |
* | Make mor modifications | Son Ho | 2022-02-03 | 1 | -1/+10 |
* | Fix a small issue with the unit type | Son Ho | 2022-02-03 | 2 | -5/+12 |
* | Fix an issue with the assumed box functions being considered as monadic | Son Ho | 2022-02-03 | 1 | -2/+13 |
* | Make minor modifications | Son Ho | 2022-02-03 | 1 | -0/+2 |
* | Rename Assumed.fst to Primitives.fst and make progress on that | Son Ho | 2022-02-03 | 1 | -11/+17 |
* | Fix an issue with StringUtils.to_snake_case | Son Ho | 2022-02-03 | 1 | -3/+6 |
* | Improve the extraction of `if ... then ... else ...` | Son Ho | 2022-02-03 | 1 | -1/+5 |
* | Fix more issues | Son Ho | 2022-02-03 | 1 | -2/+8 |
* | Improve the way the matches/switches are extracted | Son Ho | 2022-02-03 | 1 | -5/+13 |
* | Start fixing extraction of functions | Son Ho | 2022-02-03 | 1 | -5/+9 |
* | Implement a micro pass to filter the box functions | Son Ho | 2022-02-03 | 5 | -67/+108 |
* | Cleanup a bit | Son Ho | 2022-02-03 | 5 | -14/+10 |
* | Implement the extraction of match over enumerations | Son Ho | 2022-02-03 | 1 | -6/+41 |
* | Implement extraction of switch int and make extract_texpression return | Son Ho | 2022-02-03 | 3 | -81/+110 |
* | Implement extraction of `if ... then ... else ...` | Son Ho | 2022-02-03 | 2 | -1/+47 |
* | Implement extraction of function calls | Son Ho | 2022-02-03 | 4 | -86/+263 |
* | Make progress on extract_texpression | Son Ho | 2022-02-03 | 1 | -3/+37 |
* | Implement ExtractToFStar.extract_typed_rvalue | Son Ho | 2022-02-03 | 5 | -12/+96 |
* | Make more progress on implementing function extraction | Son Ho | 2022-02-03 | 4 | -53/+225 |
* | Make progress on function extraction | Son Ho | 2022-02-03 | 2 | -9/+101 |
* | Update PureUtils.functions_not_mutually_recursive | Son Ho | 2022-02-02 | 1 | -9/+9 |
* | Implement detection of non-recursive forward/backward functions groups when | Son Ho | 2022-02-02 | 3 | -11/+77 |
* | Start working on function extraction | Son Ho | 2022-02-02 | 2 | -6/+40 |
* | Make minor modifications to extract mutually recursive types | Son Ho | 2022-02-02 | 3 | -46/+122 |
* | Update a comment | Son Ho | 2022-02-02 | 1 | -2/+10 |
* | Improve formatting even more | Son Ho | 2022-02-02 | 2 | -4/+8 |
* | Work on formatting | Son Ho | 2022-02-02 | 1 | -5/+7 |
* | Make minor improvements | Son Ho | 2022-02-02 | 2 | -1/+6 |
* | Improve formatting | Son Ho | 2022-02-02 | 1 | -7/+4 |
* | Fix more issues when extracting types to F* | Son Ho | 2022-02-02 | 4 | -40/+44 |
* | Start working on fixing the extraction of type definitions | Son Ho | 2022-02-02 | 2 | -9/+43 |
* | Start generating code for type definitions | Son Ho | 2022-02-02 | 4 | -9/+144 |
* | Make a minor modification to ExtractToFStar.extract_type_def_enum_body | Son Ho | 2022-02-01 | 1 | -0/+4 |
* | Implement ExtractToFStar.mk_name_formatter | Son Ho | 2022-02-01 | 2 | -54/+160 |
* | Introduce a small optimization | Son Ho | 2022-02-01 | 1 | -1/+21 |
* | Make a minor modification | Son Ho | 2022-01-29 | 1 | -1/+1 |
* | Make progress on ExtractToFStar.mk_name_formatter | Son Ho | 2022-01-29 | 2 | -16/+47 |
* | Implement StringUtils.to_camel_case | Son Ho | 2022-01-29 | 1 | -14/+11 |
* | Start working on StringUtils | Son Ho | 2022-01-29 | 2 | -0/+113 |
* | Cleanup a bit | Son Ho | 2022-01-29 | 2 | -19/+21 |
* | Make the field names optional and make progress on ExtractToFStar | Son Ho | 2022-01-29 | 7 | -25/+45 |
* | Make progress on ExtractToFStar | Son Ho | 2022-01-29 | 2 | -48/+184 |
* | Rename ExtractToFstar to ExtractToFStar | Son Ho | 2022-01-29 | 2 | -1/+1 |
* | Make progress on ExtractToFstar | Son Ho | 2022-01-29 | 2 | -11/+43 |
* | Start working on extraction to F* | Son Ho | 2022-01-29 | 3 | -19/+210 |