| Branch: | Tag: | Revision:

# Date Author Comment
d3281b4e 03/23/2017 10:15 PM Pierre-Loïc Garoche

Missing file

3aded5d3 03/20/2017 12:02 PM Pierre-Loïc Garoche

Merge branch 'seahorn_backend' of into seahorn_backend

7d62bf41 03/20/2017 11:59 AM Pierre-Loïc Garoche

Merged code

604c4e00 02/27/2017 11:16 PM Teme Kahsai

make sure that I have conv.smt2

c97b8302 02/24/2017 06:14 PM Teme Kahsai

enabling math and conv library for horn backend

54fd3235 02/15/2017 11:08 PM Teme Kahsai

fixed matlab output

9c126c6b 02/15/2017 10:43 PM Teme Kahsai

removed uncessary include math def

5695b3d4 02/14/2017 07:19 PM Teme Kahsai

Merge branch 'master' into seahorn_backend

e49b6d55 02/14/2017 12:11 PM Xavier Thirioux

nice bug correction wrt constants with a large number of digits. Would raise exception when comparing these constants

1d3f1a9d 02/13/2017 11:06 PM Teme Kahsai

new line in horn

d714d0c6 02/09/2017 11:02 PM Teme Kahsai

Adding new def of math

32a9cff3 02/03/2017 08:20 PM Pierre-Loïc Garoche

merge pb

8097e62b 02/03/2017 08:18 PM Pierre-Loïc Garoche

Merge branch 'seahorn_backend' of into seahorn_backend

f525c4ae 02/03/2017 08:15 PM Pierre-Loïc Garoche

Started to recover specification compilation from branch proof_acsl
Adapted the EMF backend to new reqs

2e1ef4ca 02/01/2017 07:20 PM Pierre-Loïc Garoche

Changed the matlab function backend

fbcc67c8 02/01/2017 06:53 PM Pierre-Loïc Garoche

_Bool are unsigned integer. The cast as a _Bool is delayed until the end of the function

81b1caa0 02/01/2017 12:22 AM Teme Kahsai

Merge branch 'master' into seahorn_backend

301f18e6 02/01/2017 12:21 AM Teme Kahsai

remove deps

92ff8f1b 02/01/2017 12:21 AM Teme Kahsai

fix tracebility

c85f5fa5 01/31/2017 11:38 PM Pierre-Loïc Garoche

Starting to initiate a node spec aware backend

b183dade 01/31/2017 08:36 PM Pierre-Loïc Garoche

Cleaning debug messages

8498b8ac 01/31/2017 08:34 PM Pierre-Loïc Garoche

Specific treatment of true/false constant to avoid declaring them as variables.

a6df3992 01/31/2017 08:22 PM Pierre-Loïc Garoche

Working on EMF backend to express cocospec infos as Simulink blocks

5fb5b031 01/31/2017 01:40 AM Pierre-Loïc Garoche

cosmetic changes

d7e04983 01/13/2017 01:17 PM Pierre-Loïc Garoche

[Horn] Updated traceability of Horn backend to deal with fby (arrow machines)

042dc586 01/11/2017 10:02 AM Pierre-Loïc Garoche

Revert some ocaml code to ocaml 4.01 compatibility

3ebf9aa2 01/11/2017 12:40 AM Pierre-Loïc Garoche

Remove generated files (.h for include for as well as .in files of configure)

dcafc99b 01/11/2017 12:28 AM Pierre-Loïc Garoche

Merge branch 'github_master' into integ_github_jan10
Intregrate all modifs by Teme et al

60f23302 01/10/2017 01:35 PM Pierre-Loïc Garoche

Merge branch 'master' of

6fa45cb6 01/10/2017 01:35 PM Pierre-Loïc Garoche

Changed the generated C file to produce input and output csv files (named inXX and outXX)

d4fa080e 01/10/2017 01:33 PM Pierre-Loïc Garoche

Merge branch 'master' of

fce0c270 01/10/2017 01:33 PM Pierre-Loïc Garoche


d128bbd4 01/06/2017 08:04 PM Teme Kahsai

fixed sfunction detetction

e301f1fb 01/06/2017 08:53 AM Teme Kahsai

missing files

9f77bff7 01/06/2017 08:11 AM Teme Kahsai

adding math.smt2

0a6648a3 01/04/2017 12:32 AM Pierre-Loïc Garoche

Double call to main function. Wasa clearly a typo

44ce4da8 01/04/2017 12:30 AM Pierre-Loïc Garoche

Solved some issues with commited code (like it doesn't compile). The code was written by Teme's student and
- did not rely on existing function
- used strange fprintf code

Code was refactored but old stuff kept in comment just in case. Will have to be cleaned at some point.

0bb94b98 01/04/2017 12:28 AM Pierre-Loïc Garoche

I can't recall where we use ocamlgraph

ec4fe7f7 01/04/2017 12:25 AM Pierre-Loïc Garoche

removed Seems unused

e057dd08 12/30/2016 10:47 PM Teme Kahsai

adjusting travis

08a87104 12/30/2016 09:29 PM Teme Kahsai

Merge pull request #7 from SerkerN/master


7ad4ff7c 12/30/2016 09:29 PM Teme Kahsai

Merge branch 'master' into master

1b57e111 12/30/2016 09:20 PM Teme Kahsai

adding sfunction support

2dd3d358 12/29/2016 07:18 AM Teme Kahsai

making library statically link to horn backend

7db425aa 12/28/2016 01:31 AM Teme Kahsai

adding missing stuff

fc476249 12/28/2016 01:00 AM Teme Kahsai

adding -I options to lustrec

59ac5058 12/21/2016 05:06 PM Frederic Boniol

Post 1.3 dev

dd74ca16 12/21/2016 05:04 PM Frederic Boniol

Document release process

bf930280 12/21/2016 04:34 PM Frederic Boniol

Prepare 1.3 release

641493cf 12/20/2016 05:51 PM Eric NOULARD

Suppress some commented code

ecba3795 12/20/2016 04:18 PM Frederic Boniol

add lusi option

822f31e1 12/08/2016 05:55 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

323c5b19 12/08/2016 05:46 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

3b2bd83d 12/08/2016 05:37 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

30f766ab 12/04/2016 03:35 PM Eric NOULARD

Suppress -nowarn argument to find command line.
This is not needed on Linux and it is not supported on Darwin (Mac OS)

9c734e5f 11/22/2016 07:38 PM Pierre-Loïc Garoche

Merge branch 'master' of

6eb92970 11/09/2016 07:11 AM Pierre-Loïc Garoche

explaining our automaton

eb837d74 10/21/2016 01:52 AM Xavier Thirioux

slight improvement of causality error messages

84902260 10/12/2016 11:44 PM jbraine


85a6f473 09/30/2016 06:41 PM Teme Kahsai

adding onera automata version

bb1b5e04 09/28/2016 10:16 AM Pierre-Loïc Garoche

Ongoing work on c backend for makefile. Does not compile yet

2f07a237 09/28/2016 10:16 AM Pierre-Loïc Garoche

Tiny modif on cmake target

5573fee2 09/09/2016 07:29 PM Teme Kahsai

new readme

655bd8df 09/09/2016 07:25 PM Teme Kahsai

Merge pull request #1 from waffle-iron/master Badge

d01a6f46 09/09/2016 07:25 PM Making GitHub Delicious

add badge

dc893173 09/07/2016 05:38 PM Pierre-Loïc Garoche

moving C files name declaration in backend. Preparation for additional cmake target

03bb8f64 09/01/2016 05:01 PM Eric NOULARD

Add forthcoming codename to the current dev version.
Fix config.status call to add --recheck as expected

3e38100a 09/01/2016 04:02 PM Eric NOULARD

Back to post 1.2 dev now going on for possible 1.3

d057583b 09/01/2016 04:01 PM Eric NOULARD

Fix rule for rebuilding configure

a837b379 09/01/2016 03:54 PM Eric NOULARD

Release lustrec 1.2 Xia-Tai-Kang

084a3cb5 09/01/2016 03:52 PM Eric NOULARD

Better handling of automatic relaunch of autoconf and configure

82dbce5d 09/01/2016 03:29 PM Eric NOULARD

Merge branch 'add_source_dist'

974f92ac 09/01/2016 11:30 AM Eric NOULARD

Add makefile rules in order to ease the building of a source tarball
which contains the generated configure script (but no more generated file)

41e48ef3 09/01/2016 11:18 AM Eric NOULARD

Add codename to version handling. This should ease making release.
Development codename is "dev"

717ed061 08/26/2016 03:24 PM Xavier Thirioux

File removed. It is now generated by configure

f3d244c1 08/09/2016 10:01 PM Xavier Thirioux


45f0f48d 08/09/2016 09:31 PM Xavier Thirioux


fea041c5 08/09/2016 09:25 PM Xavier Thirioux

new branch for merging mpfr and horn

f1d1879a 08/06/2016 10:47 AM Xavier Thirioux


50d39c99 08/06/2016 10:43 AM Xavier Thirioux


66e25f0f 08/06/2016 10:41 AM Xavier Thirioux


04a63d25 08/06/2016 10:29 AM Xavier Thirioux

full merge of salsa/mpfr and master

14a93ef7 06/15/2016 11:19 PM Teme Kahsai

fixing travis 2

6d7d1264 06/15/2016 10:05 PM Teme Kahsai

fixing travis 1

81f52764 06/15/2016 08:18 PM Teme Kahsai

fixing travis

3cdd2147 06/02/2016 01:45 AM Teme Kahsai

fixed assert compilation in case of stateless program

28d2185f 04/12/2016 09:24 AM Xavier Thirioux

bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)

a406ac67 04/12/2016 12:49 AM Xavier Thirioux

removed a bug in automata code generation

bad9b6b2 02/23/2016 10:49 PM Teme Kahsai

Updated to onera_git commit version 9421e24

a1daa793 02/23/2016 10:47 PM Teme Kahsai

Updated to onera_git commit version 9421e24

9421e247 02/23/2016 10:15 PM Teme Kahsai

added README

60aab16d 02/02/2016 06:35 PM Xavier Thirioux

Bug solved in automaton part

0aa82be6 01/19/2016 01:36 PM Teme Kahsai

travis 6

c95fa0fe 01/18/2016 08:52 PM Teme Kahsai

travis 4

3de1d821 01/18/2016 08:44 PM Teme Kahsai

travis 3

9c68a71d 01/18/2016 08:34 PM Teme Kahsai

travis 2

01ba35c3 01/18/2016 08:25 PM Teme Kahsai


868650b1 01/18/2016 08:19 PM Teme Kahsai


2b360f46 01/18/2016 08:11 PM Teme Kahsai

Merge branch 'master' of

90b53926 01/18/2016 08:11 PM Teme Kahsai