summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
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
2022-04-27Make minor modificationsSon Ho1-4/+5
2022-04-27Update formattingSon Ho1-12/+6
2022-04-27Make minor modifications to formattingSon Ho1-37/+35
2022-04-27Fix the filtering of useless backward functionsSon Ho1-1/+6
2022-04-27Make minor updatesSon Ho2-1/+1
2022-04-27Update ExtractToFStarSon Ho2-138/+209
2022-04-27Make more progressSon Ho2-14/+42
2022-04-26Make progress on the updatesSon Ho1-54/+11
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 09:15:02 +0000