COMMITS
/ libsolidity/formal/Why3Translator.h November 18, 2016
V
Fix licensing headers
VoR0220 committed
October 7, 2016
Y
formal: ignore pragmas during Why3 code generation
Yoichi Hirai committed
September 7, 2016
Y
toFormalType reports errors by an exception
Yoichi Hirai committed
C
Merge pull request #1041 from pirapira/typo_and_whitespace
chriseth committed
Y
Append an issue id #1043 to a @todo comment about it
Yoichi Hirai committed
Y
Fix a typo and whitespaces
Yoichi Hirai committed
July 13, 2016
C
Handle external effects.
chriseth committed
March 9, 2016
L
- inline and assembly keywords added
LianaHus committed
November 23, 2015
C
Do not store elements of a contract by AST node type.
chriseth committed
November 26, 2015
C
Fix MSVC errors and warnings.
chriseth committed
November 22, 2015
C
Again some why3 fixes with regards to separators in blocks.
chriseth committed
C
Why3: Direct references to variables using `#`.
chriseth committed
November 16, 2015
C
Formal Verification: State variables.
chriseth committed
November 11, 2015
C
Fix problems with statement blocks.
chriseth committed
October 21, 2015
C
Preliminary why3 code output.
chriseth committed