| Commit message (Expand) | Author | Age | Files | Lines |
* | Rename meta into span | Aymeric Fromherz | 2024-05-24 | 1 | -16/+16 |
* | Rename span into raw_span | Aymeric Fromherz | 2024-05-24 | 1 | -1/+1 |
* | Merge remote-tracking branch 'origin/main' into son/clean | Son Ho | 2024-04-11 | 1 | -0/+8 |
|\ |
|
| * | added Error and EError to expressions and propagated related changes | Escherichia | 2024-04-03 | 1 | -0/+8 |
* | | Update the extraction | Son Ho | 2024-04-04 | 1 | -1/+1 |
|/ |
|
* | Improve the generation of pretty name and the micro passes | Son Ho | 2024-03-20 | 1 | -1/+7 |
* | Make good progress on adding generics to global constants | Son Ho | 2024-03-18 | 1 | -0/+20 |
* | Update following changes in Charon | Son Ho | 2024-03-17 | 1 | -4/+2 |
* | Update the generation of names | Son Ho | 2024-03-11 | 1 | -2/+2 |
* | Make progress on propagating the changes | Son Ho | 2024-03-08 | 1 | -3/+1 |
* | Fix the output type of the loops backward functions | Son Ho | 2023-12-22 | 1 | -3/+1 |
* | Fix several issues | Son Ho | 2023-12-21 | 1 | -17/+0 |
* | Simplify the type of the merged fwd/back functions | Son Ho | 2023-12-21 | 1 | -0/+6 |
* | Make progress on propagating the changes | Son Ho | 2023-12-15 | 1 | -2/+1 |
* | Make good progress on updating SymbolicToPure | Son Ho | 2023-12-15 | 1 | -3/+4 |
* | Make progress on generalizing the signature information | Son Ho | 2023-12-15 | 1 | -40/+90 |
* | Make minor modifications | Son Ho | 2023-12-15 | 1 | -4/+5 |
* | Merge remote-tracking branch 'origin/main' into son/merge_back | Son Ho | 2023-12-14 | 1 | -1/+1 |
|\ |
|
| * | Update the extraction to handle casts between integers/bools | Son Ho | 2023-12-13 | 1 | -1/+1 |
* | | Start updating Pure.fun_sig_info to handle merged forward and backward functions | Son Ho | 2023-12-14 | 1 | -4/+20 |
* | | Update Pure.fun_sig_info | Son Ho | 2023-12-13 | 1 | -14/+16 |
* | | Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sig | Son Ho | 2023-12-13 | 1 | -3/+5 |
|/ |
|
* | Fix the issues with the cross-references for OCaml doc | Son Ho | 2023-11-27 | 1 | -2/+2 |
* | Improve further the generation of parent clause/trait clause names | Son Ho | 2023-11-22 | 1 | -0/+27 |
* | Add span information to the generated code | Son Ho | 2023-11-21 | 1 | -2/+11 |
* | Add an `is_local` field to declarations | Son Ho | 2023-11-21 | 1 | -0/+4 |
* | Finish propagating the changes to the names and cleaning | Son Ho | 2023-11-16 | 1 | -0/+1 |
* | Start updating the name type, cleanup the names and the module abbrevs | Son Ho | 2023-11-15 | 1 | -10/+17 |
* | Prefix variants related to types with "T" | Son Ho | 2023-11-12 | 1 | -12/+12 |
* | Remove the 'r type variable from the ty type definition | Son Ho | 2023-11-12 | 1 | -7/+5 |
* | Update the normalization of associated types | Son Ho | 2023-11-07 | 1 | -0/+1 |
* | Update following some changes in Charon | Son Ho | 2023-11-06 | 1 | -0/+1 |
* | Make minor updates following changes in Charon | Son Ho | 2023-10-30 | 1 | -1/+0 |
* | Make the hashmap files typecheck again in Lean | Son Ho | 2023-10-25 | 1 | -2/+2 |
* | Update following the addition of raw pointers | Son Ho | 2023-10-25 | 1 | -1/+17 |
* | Remove some assumed types and add more support for builtin definitions | Son Ho | 2023-10-23 | 1 | -11/+1 |
* | Make progress on correctly handling trait method calls in the symbolic execution | Son Ho | 2023-09-11 | 1 | -3/+11 |
* | Add support for the trait associated constants | Son Ho | 2023-09-10 | 1 | -1/+3 |
* | Make progress on the extraction | Son Ho | 2023-09-03 | 1 | -0/+44 |
* | Make progress on the extraction | Son Ho | 2023-09-03 | 1 | -3/+13 |
* | Finish updating SymbolicToPure.ml | Son Ho | 2023-08-31 | 1 | -3/+4 |
* | Start adding support for traits | Son Ho | 2023-08-31 | 1 | -11/+89 |
* | Update following the introduction of ConstantExpr | Son Ho | 2023-08-18 | 1 | -0/+2 |
* | Fix an issue with the extraction of aggregated arrays | Son Ho | 2023-08-03 | 1 | -42/+97 |
* | Make progress | Son Ho | 2023-08-02 | 1 | -5/+1 |
* | Make progress | Son Ho | 2023-08-02 | 1 | -0/+1 |
* | Make progress | Son Ho | 2023-08-02 | 1 | -3/+7 |
* | Make progress proapagating the changes | Son Ho | 2023-08-02 | 1 | -13/+30 |
* | Start adding support for const generics | Son Ho | 2023-08-01 | 1 | -17/+7 |
* | Start using namespaces in the Lean backend | Son Ho | 2023-07-05 | 1 | -3/+7 |