| Commit message (Expand) | Author | Files | Lines |
2023-06-04 | Add a special expression for structure creation/update | Son Ho | 1 | -0/+19 |
2023-02-03 | Improve the heuristic to find pretty names for the variables in the loops | Son Ho | 1 | -1/+5 |
2023-02-03 | Fix some issues with the values given back by loop backward translations | Son Ho | 1 | -3/+14 |
2023-02-03 | Fix a minor issue in decompose_let_bindings | Son Ho | 1 | -1/+2 |
2023-02-03 | Add more loop examples and fix issues | Son Ho | 1 | -1/+1 |
2023-02-03 | Fix a small issue with SymbolicToPure.translate_loop | Son Ho | 1 | -23/+35 |
2023-02-03 | Fix another bug | Son Ho | 1 | -4/+6 |
2023-02-03 | Add a `Loop` node in the pure AST | Son Ho | 1 | -0/+15 |
2023-02-03 | Introduce new loop ids in Pure and keep track of the number of loops in a fun... | Son Ho | 1 | -3/+3 |
2023-02-03 | Add loop ids to the pure functions identifiers | Son Ho | 1 | -7/+20 |
2022-11-14 | Add a `-use-fuel` option | Son Ho | 1 | -4/+25 |
2022-11-14 | Make [Result::Failure] type an [Error] parameter | Son Ho | 1 | -4/+17 |
2022-11-10 | Update the way function names are handled in Pure | Son Ho | 1 | -25/+32 |
2022-11-10 | Reorganize branching symbolic expansions to prepare for the join operation | Son Ho | 1 | -0/+1 |
2022-10-28 | Make minor modifications | Son Ho | 1 | -1/+1 |
2022-10-28 | Move some files to the Charon project | Son Ho | 1 | -1/+1 |
2022-10-27 | Reorganize Print.ml | Son Ho | 1 | -6/+6 |
2022-10-27 | Move constant_value to PrimitiveValues.ml | Son Ho | 1 | -2/+2 |
2022-10-27 | Reorganize a bit the project | Son Ho | 1 | -0/+0 |
2022-10-26 | Update the code documentation to fix links and syntax issues | Son Ho | 1 | -4/+4 |
2022-09-22 | Make minor cleanup | Son Ho | 1 | -20/+8 |
2022-07-18 | Address much stuff of the PR, throw exceptions at remaining places | Sidney Congard | 1 | -3/+6 |
2022-06-30 | Traduct globals body separately (WIP) | Sidney Congard | 1 | -1/+9 |
2022-06-21 | concrete & symbolic evaluation work with new LLBC format | Sidney Congard | 1 | -4/+3 |
2022-06-08 | read globals from LLBC JSON into functions | Sidney Congard | 1 | -3/+3 |
2022-05-15 | Treat integer casts in a general manner | Son Ho | 1 | -6/+6 |
2022-05-04 | Start updating the way the function return type (with errors and states) | Son Ho | 1 | -19/+4 |
2022-05-01 | Cleanup | Son Ho | 1 | -12/+8 |
2022-05-01 | Perform more renamings | Son Ho | 1 | -4/+4 |
2022-05-01 | Perform some renamings | Son Ho | 1 | -1/+1 |
2022-05-01 | Rename "lvalue" to "pattern" | Son Ho | 1 | -12/+12 |
2022-04-29 | Make more progress propagating the changes | Son Ho | 1 | -2/+1 |
2022-04-29 | Make good progress updating the code | Son Ho | 1 | -11/+10 |
2022-04-29 | Merge the rvalues with the expressions | Son Ho | 1 | -42/+101 |
2022-04-27 | Update ExtractToFStar | Son Ho | 1 | -24/+21 |
2022-04-26 | Introduce the Abs expression and continue updating the code | Son Ho | 1 | -2/+12 |
2022-04-26 | Introduce the App expression, and make progress updating the code | Son Ho | 1 | -29/+67 |
2022-04-21 | Make minor modifications | Son Ho | 1 | -1/+5 |
2022-04-21 | Improve the generation of names for given back values | Son Ho | 1 | -7/+19 |
2022-04-21 | Work on pretty names | Son Ho | 1 | -9/+4 |
2022-04-20 | Introduce mdplace to link meta information about the given back values | Son Ho | 1 | -22/+28 |
2022-04-20 | Improve the generation of pretty names by correctly using the | Son Ho | 1 | -18/+22 |
2022-04-20 | Improve PrintPure.ml | Son Ho | 1 | -6/+7 |
2022-03-03 | In fun_id rename the variant Local to Regular | Son Ho | 1 | -1/+1 |
2022-03-03 | Make good progress on adding support for external and opaque | Son Ho | 1 | -6/+10 |
2022-03-03 | Rename CFIM to LLBC | Son Ho | 1 | -3/+3 |
2022-03-03 | Add an Opaque variant to type_decl_kind and start updating the code | Son Ho | 1 | -0/+1 |
2022-03-03 | Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl | Son Ho | 1 | -34/+34 |
2022-02-24 | Update the way function names are handled | Son Ho | 1 | -2/+4 |
2022-02-23 | Add the `State` assumed type in Pure.ml | Son Ho | 1 | -1/+10 |