| Commit message (Expand) | Author | Age | Files | Lines |
... | |
* | Simplify SymbolicToPure.bs_ctx.{backward_outputs, loop_backward_outputs} | Son Ho | 2023-12-19 | 2 | -100/+70 |
* | Remove the backwards field from SymbolicToPure.call_info | Son Ho | 2023-12-18 | 1 | -15/+5 |
* | Fix a minor mistake in SymbolicToPure | Son Ho | 2023-12-18 | 3 | -11/+15 |
* | Add some comments | Son Ho | 2023-12-18 | 1 | -16/+31 |
* | Rename some definitions | Son Ho | 2023-12-18 | 15 | -140/+139 |
* | Do not register the names of the back funs if they are merged with the fwd funs | Son Ho | 2023-12-18 | 1 | -3/+8 |
* | Make progress on updating the code | Son Ho | 2023-12-15 | 3 | -200/+134 |
* | Make progress on propagating the changes | Son Ho | 2023-12-15 | 6 | -97/+72 |
* | Minor fix | Son Ho | 2023-12-15 | 1 | -2/+2 |
* | Make good progress on updating SymbolicToPure | Son Ho | 2023-12-15 | 5 | -42/+226 |
* | Make progress on updating SymbolicToPure | Son Ho | 2023-12-15 | 1 | -57/+112 |
* | Make progress on generalizing the signature information | Son Ho | 2023-12-15 | 5 | -218/+253 |
* | Make minor modifications | Son Ho | 2023-12-15 | 2 | -79/+38 |
* | Make progress on generated merged fwd/back functions | Son Ho | 2023-12-14 | 2 | -28/+32 |
* | Merge remote-tracking branch 'origin/main' into son/merge_back | Son Ho | 2023-12-14 | 6 | -27/+95 |
|\ |
|
| * | Update the extraction to handle casts between integers/bools | Son Ho | 2023-12-13 | 6 | -27/+95 |
* | | Start updating Pure.fun_sig_info to handle merged forward and backward functions | Son Ho | 2023-12-14 | 4 | -27/+128 |
* | | Make a minor modification in a comment | Son Ho | 2023-12-13 | 1 | -1/+1 |
* | | Update Pure.fun_sig_info | Son Ho | 2023-12-13 | 7 | -68/+129 |
* | | Merge branch 'son/matches' into son/merge_back | Son Ho | 2023-12-13 | 1 | -1/+4 |
|\| |
|
| * | Update the interpreter to handle optional otherwise branches | Son Ho | 2023-12-13 | 1 | -1/+4 |
* | | Add the num_fwd_inputs_no_fuel_no_state field in Pure.fun_sig | Son Ho | 2023-12-13 | 3 | -5/+13 |
|/ |
|
* | Move most of the substitution functions to Charon | Son Ho | 2023-12-12 | 1 | -315/+1 |
* | Fix the extraction of the empty type | Son Ho | 2023-12-07 | 1 | -12/+18 |
* | Update the micro passes to inline deconstruction of tuples with one field | Son Ho | 2023-12-07 | 1 | -6/+34 |
* | Fix minor issues when extracting a structure with one field as a tuple | Son Ho | 2023-12-07 | 2 | -21/+45 |
* | Use a better syntax when extracting tuple types (structures with unnamed fields) | Son Ho | 2023-12-07 | 10 | -199/+347 |
* | Remove the type sv_kind ("symbolic value kind") | Son Ho | 2023-12-05 | 8 | -158/+63 |
* | Print error messages when the command line arguments are invalid | Son Ho | 2023-12-05 | 1 | -10/+40 |
* | Fix a minor issue with the use of const generics | Son Ho | 2023-12-05 | 6 | -13/+40 |
* | Update following changes in Charon | Son Ho | 2023-12-05 | 22 | -522/+700 |
* | Update the code following changes in the NameMatcher | Son Ho | 2023-11-29 | 4 | -6/+23 |
* | Fix a minor issue with the extraction | Son Ho | 2023-11-29 | 1 | -4/+5 |
* | Add support for more bitwise operations and update the extraction | Son Ho | 2023-11-29 | 2 | -9/+17 |
* | Merge branch 'main' into afromher_shifts | Son Ho | 2023-11-29 | 65 | -10366/+14029 |
|\ |
|
| * | Fix the issues with the cross-references for OCaml doc | Son Ho | 2023-11-27 | 16 | -35/+35 |
| * | Update a comment | Son Ho | 2023-11-27 | 1 | -1/+2 |
| * | Update the way the Primitives file is copied | Son Ho | 2023-11-27 | 1 | -13/+20 |
| * | Do not activate the sanity (invariant) checks by default | Son Ho | 2023-11-27 | 7 | -14/+14 |
| * | Generate a dedicated file for the external types | Son Ho | 2023-11-27 | 1 | -12/+102 |
| * | Update the generation of files for external definitions and regenerate the tests | Son Ho | 2023-11-27 | 1 | -9/+14 |
| * | Add the alloc::string::String type in the builtins | Son Ho | 2023-11-24 | 3 | -5/+16 |
| * | Update a comment | Son Ho | 2023-11-24 | 1 | -2/+3 |
| * | Make a minor fix | Son Ho | 2023-11-24 | 1 | -1/+1 |
| * | Update some assumed type names/variants | Son Ho | 2023-11-24 | 2 | -34/+41 |
| * | Improve the error messages for some name collisions | Son Ho | 2023-11-24 | 1 | -2/+4 |
| * | Make a minor update in ExtractName.pattern_to_extract_name | Son Ho | 2023-11-24 | 1 | -1/+4 |
| * | Fix an issue with the nix flake and update the flake.lock | Son Ho | 2023-11-22 | 1 | -1/+1 |
| * | Cleanup a bit | Son Ho | 2023-11-22 | 1 | -87/+0 |
| * | Make a minor modification | Son Ho | 2023-11-22 | 1 | -2/+3 |