summaryrefslogtreecommitdiff
path: root/tests (unfollow)
Commit message (Expand)AuthorFilesLines
2022-02-10Make progress on the proofs of HashMapSon Ho2-10/+141
2022-02-10Make minor progressSon Ho1-2/+12
2022-02-10Start working on HashMap.Properties.fstSon Ho1-0/+235
2022-02-10Move the generated files to subdirectoriesSon Ho1-0/+0
2022-02-10Start working on the hash map proofsSon Ho1-0/+59
2022-01-29Remove tests/trace_reference.txtSon Ho1-135234/+0
2022-01-12Regenerate the traceSon Ho1-14723/+0
2022-01-12Regenerate the traceSon Ho1-39168/+114636
2022-01-07Regenerate the traceSon Ho1-9286/+47708
2022-01-06Remove the symbolic_proj_comp def and make the set of ended regions aSon Ho1-916/+2078
2022-01-06Update the traceSon Ho1-2016/+20514
2022-01-05Update the code to deserialize regions_hierarchy informationSon Ho1-1/+1
2022-01-03Cleanup a bit and fix some issuesSon Ho1-22/+22
2021-12-17Use eval_ctx instead of env in many functions of the interpreterSon Ho1-1066/+0
2021-12-15Update the traceSon Ho1-2/+500
2021-12-08Reimplement drop_borrows_loans_at_placeSon Ho1-9/+0
2021-12-08Remove g_value, g_typed_value, etc. to make values and abstract valuesSon Ho1-5/+15
2021-12-07Move files aroundSon Ho1-0/+16974