Gwenaël Delaval
e0d1900f3a
Version 1.05.00
...
- Option -simple-scheduler active for scheduling post-ctrln code generation
- Handle implication operator in Sigali backend
- Compatibility with reatk >= 0.14
6 years ago
Gwenaël Delaval
95c9eb699b
Version 1.04.00
7 years ago
Gwenaël Delaval
4274b21733
Version 1.03.04
7 years ago
Gwenaël Delaval
e4f51fea68
Switch to non-deprecated String functions
...
Use of String.*_ascii non-deprecated versions.
NB: Heptagon becomes available only for Ocaml versions >= 4.03.0.
7 years ago
Gwenaël Delaval
5b215f832b
Version 1.03.02
7 years ago
Gwenaël Delaval
5e277fcc8a
Version 1.03.01
8 years ago
Gwenaël Delaval
4f0ef44ebd
Version 1.03.00
8 years ago
Gwenaël Delaval
4552f62872
Version 1.02.00
9 years ago
Gwenaël Delaval
bb324eee17
Update of Makefile-distrib for heptreax manual inclusion
9 years ago
Gwenaël Delaval
61f043856a
Version 1.01.00
9 years ago
Gwenaël Delaval
8650ac5695
Version 1.00.06
10 years ago
Gwenaël Delaval
9c4b3f3267
Version 1.00.05
10 years ago
Gwenaël Delaval
c61e01f19b
Correct handling of comparison operators in Sigali
...
- bug fix: comparison between two non-constant integer expressions in Sigali
- bug fix: correct handling of "=" and "<>" operators in Sigali
10 years ago
Gwenaël Delaval
71497a82b2
Corrected bug in inline_extvalues
...
Inline_extvalues: added local variables of contracts into environments
11 years ago
Gwenaël Delaval
5b98f9cdf6
Version 1.00.02
...
Added CHANGES file
11 years ago
Gwenaël Delaval
c0b84bd186
Abstraction of integers for Sigali
...
Correction of abstraction for Sigali: integer equations comprising no
integer variables should not be abstracted
11 years ago
Gwenaël Delaval
5b1784957f
Makefile-distrib update
...
Makefile-distrib: include install-sh script in source distribution
(mandatory for autoconf).
Enable simulator by default (for automatic builds on pipol: some ctest
versions does not allow options passing to configure scripts).
11 years ago
Gwenal Delaval
e7f85d6b25
Configuration for binary release
...
- custom bytecode compilation
- added suffix (OS, cpu) in binary distrib
11 years ago
Gwenaël Delaval
dcfcc0f59c
Additional Makefiles for distribution builds
...
Makefile-bin: only install target, for binary distribution
Makefile-distrib: two targets, binary-distrib (builds a binary distribution
based on the current configuration) and source-distrib (builds a source distribution)
11 years ago