summaryrefslogtreecommitdiff
path: root/tests/misc/Constants.fst (follow)
Commit message (Expand)AuthorAgeFilesLines
* Correct last PR remarksSidney Congard2022-08-111-3/+3
* Corrected translation without using functions, remaining bug in hashmap trans...Sidney Congard2022-08-101-1/+122
* Register global names, one error remainingSidney Congard2022-08-081-0/+10
* Create global declaration group, address PR changes but introduce bugsSidney Congard2022-07-291-135/+0
* Merge branch 'main' of github.com:Kachoc/aeneas into constants-v2Sidney Congard2022-06-301-1/+131
* Traduct globals body separately (WIP)Sidney Congard2022-06-301-128/+1
* adapt to new LLBC (without OperandConstantValue)Sidney Congard2022-06-231-0/+19
* concrete & symbolic evaluation work with new LLBC formatSidney Congard2022-06-211-0/+119