Fix run transition function generation |
|
More...
|
about 11 years ago
|
Prepend period character to internal state variable name |
|
More...
|
about 11 years ago
|
Fix state constants generation |
|
More...
|
about 11 years ago
|
Fix inner procedure generation |
|
More...
|
about 11 years ago
|
Fix timer generation |
|
More...
|
about 11 years ago
|
Update llvm test rule |
|
More...
|
about 11 years ago
|
Test11 fix |
|
More...
|
about 11 years ago
|
Fix num generation |
|
More...
|
about 11 years ago
|
Fix type generation for raw strings |
|
More...
|
about 11 years ago
|
Fix if_then_else expression generation |
|
More...
|
about 11 years ago
|
Refactor decision generation |
|
More...
|
about 11 years ago
|
Added closed range answers generation |
|
More...
|
about 11 years ago
|
Fix typo |
|
More...
|
about 11 years ago
|
Added branch overlap checks |
|
More...
|
about 11 years ago
|
Added fixed size OctetString generation |
|
More...
|
about 11 years ago
|
Minor testcase updates |
|
More...
|
about 11 years ago
|
Merge branch 'master' of https://github.com/maxime-esa/opengeode |
|
More...
|
about 11 years ago
|
Fxed minor unicode bug in the Ada backend |
|
More...
|
about 11 years ago
|
Added rule for testing the llvm backend |
|
More...
|
about 11 years ago
|
Merge remote-tracking branch 'upstream/master' into llvm |
|
More...
|
about 11 years ago
|
Added bitwise expressions generation for fixed size SequenceOf types |
|
More...
|
about 11 years ago
|
Bugfixes in substring handling |
|
More...
|
about 11 years ago
|
Use memcpy in the generated code for append expressions |
|
More...
|
about 11 years ago
|
Added num operator generation |
|
More...
|
about 11 years ago
|
Added substring generation |
|
More...
|
about 11 years ago
|
Merge remote-tracking branch 'upstream/master' into llvm |
|
More...
|
about 11 years ago
|
Merge branch 'master' of https://github.com/dbrabera/opengeode |
|
More...
|
about 11 years ago
|
Initial work on branch range analysis |
|
More...
|
about 11 years ago
|
Merge remote-tracking branch 'upstream/master' |
|
More...
|
about 11 years ago
|
Fix type analysis for logic expressions |
|
More...
|
about 11 years ago
|