| Commit message (Expand) | Author | Age | Files | Lines |
* | Filter out type aliases | Nadrieril | 2024-06-06 | 1 | -1/+1 |
* | Add an option to run Aeneas as a borrow checker | Son Ho | 2024-06-05 | 1 | -2/+2 |
* | Rename meta into span | Aymeric Fromherz | 2024-05-24 | 1 | -53/+53 |
* | Merge remote-tracking branch 'origin/main' into son/clean | Son Ho | 2024-04-11 | 1 | -1/+3 |
|\ |
|
| * | added Error and EError to expressions and propagated related changes | Escherichia | 2024-04-03 | 1 | -1/+3 |
* | | Update the extraction | Son Ho | 2024-04-04 | 1 | -11/+10 |
|/ |
|
* | Cleanup and fix a mistake | Son Ho | 2024-03-29 | 1 | -0/+1 |
* | Add some error messages | Son Ho | 2024-03-29 | 1 | -4/+4 |
* | formatting and changed save_error condition for failing from b to not b | Escherichia | 2024-03-29 | 1 | -2/+5 |
* | added file and line arg to craise and cassert | Escherichia | 2024-03-29 | 1 | -11/+11 |
* | formatting | Escherichia | 2024-03-28 | 1 | -9/+14 |
* | changes after git rebase main | Escherichia | 2024-03-28 | 1 | -1/+1 |
* | Should answer all comments, there are still some TODO: error message left | Escherichia | 2024-03-28 | 1 | -7/+6 |
* | Added sanity_check and sanity_check_opt_meta helpers and changed sanity check... | Escherichia | 2024-03-28 | 1 | -2/+2 |
* | WIP: translate.ml and extract.ml do not compile. Some assert left to do and w... | Escherichia | 2024-03-28 | 1 | -26/+27 |
* | Improve the generation of pretty name and the micro passes | Son Ho | 2024-03-20 | 1 | -13/+38 |
* | Improve the pure micro passes | Son Ho | 2024-03-19 | 1 | -8/+46 |
* | Fix an issue in PureMicroPasses.filter_loop_inputs | Son Ho | 2024-03-08 | 1 | -13/+43 |
* | Make progress on propagating the changes | Son Ho | 2024-03-08 | 1 | -300/+31 |
* | Update the micro-passes | Son Ho | 2023-12-23 | 1 | -77/+94 |
* | Improve the micro passes to eliminate pattern `let f := fun x => g x` | Son Ho | 2023-12-23 | 1 | -2/+43 |
* | Fix the output type of the loops backward functions | Son Ho | 2023-12-22 | 1 | -22/+3 |
* | Improve the pure micro passes | Son Ho | 2023-12-21 | 1 | -3/+33 |
* | Improve PureMicroPasses.filter_useless to simplify the matches | Son Ho | 2023-12-21 | 1 | -1/+14 |
* | Implement a micro-pass to simplify the let-bindings | Son Ho | 2023-12-21 | 1 | -0/+78 |
* | Simplify the type of the merged fwd/back functions | Son Ho | 2023-12-21 | 1 | -3/+4 |
* | Remove some asserts which are now useless | Son Ho | 2023-12-21 | 1 | -3/+0 |
* | Fix a minor mistake in SymbolicToPure | Son Ho | 2023-12-18 | 1 | -2/+7 |
* | Make progress on updating the code | Son Ho | 2023-12-15 | 1 | -19/+29 |
* | Make progress on propagating the changes | Son Ho | 2023-12-15 | 1 | -55/+55 |
* | Make progress on generalizing the signature information | Son Ho | 2023-12-15 | 1 | -7/+3 |
* | Update Pure.fun_sig_info | Son Ho | 2023-12-13 | 1 | -39/+57 |
* | Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sig | Son Ho | 2023-12-13 | 1 | -0/+5 |
* | Update the micro passes to inline deconstruction of tuples with one field | Son Ho | 2023-12-07 | 1 | -6/+34 |
* | Use a better syntax when extracting tuple types (structures with unnamed fields) | Son Ho | 2023-12-07 | 1 | -38/+44 |
* | Improve further the generation of parent clause/trait clause names | Son Ho | 2023-11-22 | 1 | -2/+6 |
* | Add span information to the generated code | Son Ho | 2023-11-21 | 1 | -3/+6 |
* | Add an `is_local` field to declarations | Son Ho | 2023-11-21 | 1 | -0/+1 |
* | Fix minor issues | Son Ho | 2023-11-20 | 1 | -53/+13 |
* | Update SymbolicToPure.eliminate_box_functions | Son Ho | 2023-11-16 | 1 | -30/+45 |
* | Finish propagating the changes to the names and cleaning | Son Ho | 2023-11-16 | 1 | -12/+17 |
* | Add RegionsHierarchy.ml | Son Ho | 2023-11-13 | 1 | -4/+5 |
* | Prefix variants related to types with "T" | Son Ho | 2023-11-12 | 1 | -6/+6 |
* | Remove the 'r type variable from the ty type definition | Son Ho | 2023-11-12 | 1 | -5/+5 |
* | Start taking into account non-fallible functions like core::mem::replace | Son Ho | 2023-10-24 | 1 | -5/+7 |
* | Remove some assumed types and add more support for builtin definitions | Son Ho | 2023-10-23 | 1 | -20/+22 |
* | Start updating to handle function pointers | Son Ho | 2023-10-20 | 1 | -16/+16 |
* | Add sup | Son Ho | 2023-10-13 | 1 | -1/+1 |
* | Merge trans_ctx and decls_ctx | Son Ho | 2023-09-17 | 1 | -7/+4 |
* | Make progress on correctly handling trait method calls in the symbolic execution | Son Ho | 2023-09-11 | 1 | -14/+15 |