COMMITS
/ libsolidity/formal/Why3Translator.cpp November 18, 2016
V
Fix licensing headers
VoR0220 committed
July 30, 2016
R
Add support for do/while loops
Rhett Aultman committed
October 10, 2016
Y
Chack for non-version pragmas
Yoichi Hirai committed
October 7, 2016
Y
formal: ignore pragmas during Why3 code generation
Yoichi Hirai committed
September 8, 2016
Y
Prepare for leaky exceptions
Yoichi Hirai committed
September 7, 2016
Y
toFormalType reports errors by an exception
Yoichi Hirai committed
Y
Translate mapping types into Why3 arrays when keys are integers
Yoichi Hirai committed
Y
Add Address module in the WhyML prelude
Yoichi Hirai committed
Y
Fix a typo and whitespaces
Yoichi Hirai committed
August 20, 2016
C
Fix crash when using json compiler with exponentiation.
chriseth committed
July 13, 2016
C
Handle external effects.
chriseth committed
May 10, 2016
C
Simplify interface of RationalNumber.
chriseth committed
March 29, 2016
V
changed names for Rational Constants and categories
VoR0220 committed
February 18, 2016
R
initial work for fixed types...potentially needing a constant literal type for this
RJ Catalano committed
March 18, 2016
B
Fixed Windows warnings
Bob Summerwill committed
November 23, 2015
C
Do not store elements of a contract by AST node type.
chriseth committed
November 22, 2015
C
Again some why3 fixes with regards to separators in blocks.
chriseth committed
C
addmod and mulmod for why3.
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 27, 2015
C
Rename error type.
chriseth committed
October 21, 2015
C
Preliminary why3 code output.
chriseth committed