aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/Why3Translator.cpp
Commit message (Expand)AuthorAgeFilesLines
* Handle external effects.chriseth2016-07-131-46/+154
* Simplify interface of RationalNumber.chriseth2016-05-111-2/+2
* changed names for Rational Constants and categoriesVoR02202016-05-101-4/+4
* initial work for fixed types...potentially needing a constant literal type fo...RJ Catalano2016-05-101-2/+10
* Fixed Windows warningsBob Summerwill2016-03-181-1/+1
* Do not store elements of a contract by AST node type.chriseth2015-11-261-10/+5
* Style.chriseth2015-11-251-1/+2
* Again some why3 fixes with regards to separators in blocks.chriseth2015-11-251-19/+24
* Style.chriseth2015-11-231-2/+5
* addmod and mulmod for why3.chriseth2015-11-231-17/+36
* Why3: Direct references to variables using `#`.chriseth2015-11-231-1/+68
* Formal Verification: State variables.chriseth2015-11-191-20/+64
* Fix problems with statement blocks.chriseth2015-11-111-18/+40
* Rename error type.chriseth2015-10-281-1/+1
* Preliminary why3 code output.chriseth2015-10-271-0/+525
generated by cgit (git 2.34.1) at 2024-11-18 03:11:38 +0800