summaryrefslogtreecommitdiff
path: root/src (unfollow)
Commit message (Expand)AuthorFilesLines
2022-01-12Make minor modificationsSon Ho3-1/+7
2022-01-10remove another warningJonathan Protzenko1-1/+0
2022-01-07Update the invariant checks to take into account ignored borrows/loansSon Ho1-6/+33
2022-01-07Factorize initialize_symbolic_context_for_fun andSon Ho3-58/+69
2022-01-07Add a high-level commentSon Ho1-0/+8
2022-01-07Make more modifications to loggingSon Ho6-19/+35
2022-01-07Add an optional borrow identifier to AIgnoredMutBorrow, introduce theSon Ho9-51/+220
2022-01-07Add logging information for borrowsSon Ho5-7/+40
2022-01-07Make more improvements to loggingSon Ho3-24/+32
2022-01-07Improve logging and introduce eval_operands_prepareSon Ho6-15/+96
2022-01-06Add debugging infoSon Ho1-3/+27
2022-01-06CleanupSon Ho8-17/+8
2022-01-06Make the symbolic, borrow, region and abstration counters global andSon Ho11-104/+104
2022-01-06Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho12-255/+116
2022-01-06Implement a small improvement for apply_reborrowsSon Ho1-3/+10
2022-01-06Fix another bugSon Ho1-5/+5
2022-01-06Fix more bugsSon Ho2-7/+14
2022-01-06Fix some bugsSon Ho7-15/+42
2022-01-06Make minor improvements to printingSon Ho3-8/+20
2022-01-06Fix some printing issuesSon Ho1-2/+2
2022-01-06Make a minor modificationSon Ho1-1/+3
2022-01-06Fix some issues when evaluating assertionsSon Ho3-6/+56
2022-01-06Make minor modificationsSon Ho4-13/+23
2022-01-06Fix minor bugsSon Ho1-6/+3
2022-01-06Implement tests for the symbolic interpreterSon Ho3-21/+14
2022-01-06Make good progress on implementing utilities to test symbolic executionSon Ho10-94/+269
2022-01-06Move more definitions and do more cleanupSon Ho8-67/+74
2022-01-06Cleanup and reorganizeSon Ho8-476/+492
2022-01-06Cleanup a bit more the dependencies and activate more warnings/errorsSon Ho5-12/+3
2022-01-06Cleanup the dependencies a bitSon Ho10-51/+0
2022-01-06Move some definitionsSon Ho2-20/+20
2022-01-06Move some definitions from Interpreter to InterpreterStatementsSon Ho2-894/+895
2022-01-06Move some definitions inside of InterpreterExpressionsSon Ho1-28/+28
2022-01-06Move some functions from Interpreter to InterpreterExpressionsSon Ho2-437/+477
2022-01-06Move some definitions from Interpreter to InterpreterPathsSon Ho2-815/+834
2022-01-06Move some functions from Interpreter to InterpreterExpansionSon Ho3-483/+508
2022-01-06Move some functions from Interpreter to InterpreterBorrowsSon Ho2-1099/+1116
2022-01-06Move some functions from Interpreter to InterpreterProjectorsSon Ho3-635/+667
2022-01-06Implement statement_has_loops and make minor modificationsSon Ho3-2/+17
2022-01-06Address some warningsSon Ho1-19/+20
2022-01-06Generate iterators for statementSon Ho2-5/+54
2022-01-05Cleanup a bitSon Ho1-22/+17
2022-01-05Finish implementing evaluation of non-local function calls in symbolicSon Ho1-69/+71
2022-01-05Make progress on eval_non_local_function_call_symbolicSon Ho2-54/+92
2022-01-05Cleanup a bitSon Ho1-11/+0
2022-01-05Split eval_local_function_call_symbolic to isolate a function which canSon Ho3-46/+74
2022-01-05Implement apply_proj_borrows_on_input_valueSon Ho1-8/+19
2022-01-05Make progress on implementing the symbolic evaluation for the non-localSon Ho3-52/+134
2022-01-05Cleanup a bitSon Ho2-14/+14
2022-01-05Finish implementing eval_local_function_call_symbolicSon Ho3-15/+50
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-26 03:40:16 +0000