index
:
dexon-solidity
develop
release
DEXON fork of Solidity (https://github.com/dexon-foundation/dsolidity)
LAN-TW
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
libsolidity
/
formal
/
Why3Translator.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
refactoring functionCallAnnotation
djudjuu
2017-05-19
1
-1
/
+1
*
Change references to FunctionType::Location
Alex Beregszaszi
2017-03-16
1
-7
/
+7
*
Fix licensing headers
VoR0220
2016-11-23
1
-4
/
+4
*
Add support for do/while loops
Rhett Aultman
2016-11-10
1
-0
/
+10
*
Chack for non-version pragmas
Yoichi Hirai
2016-10-11
1
-1
/
+10
*
formal: ignore pragmas during Why3 code generation
Yoichi Hirai
2016-10-11
1
-0
/
+5
*
Prepare for leaky exceptions
Yoichi Hirai
2016-09-10
1
-0
/
+4
*
toFormalType reports errors by an exception
Yoichi Hirai
2016-09-10
1
-19
/
+68
*
Translate mapping types into Why3 arrays when keys are integers
Yoichi Hirai
2016-09-10
1
-0
/
+14
*
Add Address module in the WhyML prelude
Yoichi Hirai
2016-09-08
1
-0
/
+9
*
Fix a typo and whitespaces
Yoichi Hirai
2016-09-07
1
-1
/
+1
*
Fix crash when using json compiler with exponentiation.
chriseth
2016-08-20
1
-2
/
+7
*
Handle external effects.
chriseth
2016-07-13
1
-46
/
+154
*
Simplify interface of RationalNumber.
chriseth
2016-05-11
1
-2
/
+2
*
changed names for Rational Constants and categories
VoR0220
2016-05-10
1
-4
/
+4
*
initial work for fixed types...potentially needing a constant literal type fo...
RJ Catalano
2016-05-10
1
-2
/
+10
*
Fixed Windows warnings
Bob Summerwill
2016-03-18
1
-1
/
+1
*
Do not store elements of a contract by AST node type.
chriseth
2015-11-26
1
-10
/
+5
*
Style.
chriseth
2015-11-25
1
-1
/
+2
*
Again some why3 fixes with regards to separators in blocks.
chriseth
2015-11-25
1
-19
/
+24
*
Style.
chriseth
2015-11-23
1
-2
/
+5
*
addmod and mulmod for why3.
chriseth
2015-11-23
1
-17
/
+36
*
Why3: Direct references to variables using `#`.
chriseth
2015-11-23
1
-1
/
+68
*
Formal Verification: State variables.
chriseth
2015-11-19
1
-20
/
+64
*
Fix problems with statement blocks.
chriseth
2015-11-11
1
-18
/
+40
*
Rename error type.
chriseth
2015-10-28
1
-1
/
+1
*
Preliminary why3 code output.
chriseth
2015-10-27
1
-0
/
+525