13 Commits (master)

Author	SHA1	Message	Date
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	4552f62872	Version 1.02.00	9 years ago
Gwenaël Delaval	3b81368074	CHANGES for 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	d27db41485	Version 1.00.03	11 years ago
Gwenaël Delaval	5b98f9cdf6	Version 1.00.02 ... Added CHANGES file	11 years ago