summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2022-07-13Apply small changes from the PRSidney Congard4-9/+12
2022-07-05Remove last prints, adapt JSONSidney Congard2-6/+3
2022-06-30Traduct globals body separately (WIP)Sidney Congard11-66/+208
2022-06-30Take failing rvalues into account in FunsAnalysis.analyze_fun_declsSon Ho4-19/+22
2022-06-29Make minor modificationsSon Ho4-6/+46
2022-06-27Add `can_end` in `abs` and use it for the return abs when generating theSon Ho5-33/+59
2022-06-27Update eval_operand_prepare to not give a value to the continuationSon Ho4-109/+181
2022-06-23adapt to new LLBC (without OperandConstantValue)Sidney Congard2-33/+27
2022-06-21concrete & symbolic evaluation work with new LLBC formatSidney Congard22-307/+260
2022-06-13crude generation working - missing unit tests & special constants handlingSidney Congard5-52/+70
2022-06-08read globals from LLBC JSON into functionsSidney Congard20-80/+161
2022-05-16Fix an issue when extracting assumed valuesSon Ho1-1/+1
2022-05-15Add a pass to cleanup the deconstructed ADTs and fix a small issueSon Ho3-12/+112
2022-05-15Treat integer casts in a general mannerSon Ho9-50/+75
2022-05-15Add AggregatedOptionSon Ho5-8/+37
2022-05-10Make minor modificationsSon Ho3-8/+10
2022-05-10Use the core_unix package instead of coreSon Ho2-2/+2
2022-05-06Update the extraction to set the fuel to 1 in the Z3 optionsSon Ho1-2/+2
2022-05-06Don't use the Rust disambiguators when generating names at extractionSon Ho2-3/+12
2022-05-06Add an option to eagerly end abstractions if a function has return typeSon Ho4-2/+61
2022-05-06Factorize some code in InterpreterBorrows*Son Ho2-49/+77
2022-05-06Add comments in FunsAnalysisSon Ho1-2/+8
2022-05-05Make minor fixesSon Ho3-4/+28
2022-05-05Update the translation so that we use a state only in the functionsSon Ho2-35/+42
2022-05-04Start implementing divergence, can_fail, statefullness analysesSon Ho5-36/+135
2022-05-04Make minor modificationsSon Ho5-29/+24
2022-05-04Make minor modificationsSon Ho4-35/+28
2022-05-04Fix various issues when using a stateSon Ho2-30/+12
2022-05-04Fix more issuesSon Ho2-32/+12
2022-05-04Fix some issues when using statesSon Ho3-72/+84
2022-05-04Make progress updating the codeSon Ho5-194/+76
2022-05-04Start updating the way the function return type (with errors and states)Son Ho4-182/+278
2022-05-01Move the type-checking functions for pure AST to PureTypeCheck.mlSon Ho3-149/+179
2022-05-01Improve type-checkingSon Ho1-10/+23
2022-05-01Do more cleanupSon Ho4-28/+31
2022-05-01CleanupSon Ho6-106/+47
2022-05-01Perform more renamingsSon Ho4-16/+14
2022-05-01Perform some renamingsSon Ho10-83/+76
2022-05-01Rename "lvalue" to "pattern"Son Ho6-160/+159
2022-05-01Fix a minor issue when extracting filesSon Ho1-6/+6
2022-05-01Make a minor modificationSon Ho1-1/+1
2022-04-29Make more progress propagating the changesSon Ho5-112/+151
2022-04-29Add ConstStrings.mlSon Ho1-0/+7
2022-04-29Make progress on PureMicroPassesSon Ho2-169/+143
2022-04-29Make good progress updating the codeSon Ho4-155/+186
2022-04-29Merge the rvalues with the expressionsSon Ho5-371/+497
2022-04-27Make minor modificationsSon Ho2-3/+73
2022-04-27Make a minor modificationSon Ho1-1/+3
2022-04-27Fix a minor issueSon Ho1-1/+2
2022-04-27Fix various bugs when extracting with a state monadSon Ho5-52/+146
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-28 01:49:50 +0000