| 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 | 2 | -8/+8 |
* | 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 | 2 | -0/+6 |
* | Prepare for leaky exceptions | Yoichi Hirai | 2016-09-10 | 1 | -0/+4 |
* | toFormalType reports errors by an exception | Yoichi Hirai | 2016-09-10 | 2 | -21/+71 |
* | 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 |
* | Merge pull request #1041 from pirapira/typo_and_whitespace | chriseth | 2016-09-08 | 2 | -2/+2 |
|\ |
|
| * | Fix a typo and whitespaces | Yoichi Hirai | 2016-09-07 | 2 | -2/+2 |
* | | Append an issue id #1043 to a @todo comment about it | 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 | 2 | -48/+169 |
* | 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 |
* | - inline and assembly keywords added | LianaHus | 2016-03-12 | 1 | -1/+1 |
* | Do not store elements of a contract by AST node type. | chriseth | 2015-11-26 | 2 | -11/+6 |
* | Fix MSVC errors and warnings. | chriseth | 2015-11-26 | 1 | -1/+1 |
* | Style. | chriseth | 2015-11-25 | 1 | -1/+2 |
* | Again some why3 fixes with regards to separators in blocks. | chriseth | 2015-11-25 | 2 | -26/+34 |
* | 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 | 2 | -1/+75 |
* | Formal Verification: State variables. | chriseth | 2015-11-19 | 2 | -20/+70 |
* | Fix problems with statement blocks. | chriseth | 2015-11-11 | 2 | -21/+46 |
* | Rename error type. | chriseth | 2015-10-28 | 1 | -1/+1 |
* | Preliminary why3 code output. | chriseth | 2015-10-27 | 2 | -0/+640 |