| Branch: | Tag: | Revision:

# Date Author Comment
65de9931 04/28/2017 05:15 PM Pierre-Loïc Garoche

New feature to specify the number of digits to be printed

a9b87a15 04/28/2017 02:39 PM Pierre-Loïc Garoche

Extending types to machine types

2fdbc781 04/27/2017 10:42 PM Pierre-Loïc Garoche

Cleaning output:
- no more classic display for ocamlc
- compilation warnings removed

375cbca2 04/27/2017 09:57 PM Pierre-Loïc Garoche

Merge branch 'unstable' into merge_mauve_unstable

9a555140 04/27/2017 01:38 PM Pierre-Loïc Garoche

_tags is generated now

1954d776 04/27/2017 01:38 PM Pierre-Loïc Garoche

Cleaner configure autoconf script

09121c1a 04/27/2017 12:19 AM Pierre-Loïc Garoche

Merge branch 'testgen' into merging_unstable_testgen

d2d9d4cb 04/26/2017 11:25 PM Pierre-Loïc Garoche

Missing files

85da3a4b 04/26/2017 11:23 PM Pierre-Loïc Garoche

Merge branch 'unstable' into merging_plugins
Non regression results were similar to master branch

8d184ba8 04/26/2017 02:15 PM Pierre-Loïc Garoche

Removing generated file

a97d3e02 04/25/2017 10:57 PM Pierre-Loïc Garoche

Printing reals in Horn backend

0d065e73 04/25/2017 09:43 AM Pierre-Loïc Garoche

Solved a bug in the compilation of asserts. Now different behavior depending on the backend:
functional: keep it as is
non func: introduce a fresh local var v and replace assert(e) by v=e; assert (v);

76c7023b 04/25/2017 09:42 AM Pierre-Loïc Garoche

functional_backend function moved to corelang

4e809854 04/25/2017 09:41 AM Pierre-Loïc Garoche

Cosmetic changes

5e7cecdd 04/25/2017 09:41 AM Pierre-Loïc Garoche

More informative error message in case of untyped value

5cd53307 04/25/2017 09:40 AM Pierre-Loïc Garoche

Updated deps: requires ocamlgraph as an ocamlfind package

4dc6ecde 04/06/2017 04:31 PM Xavier Thirioux

Deprecated function changed for compatibility with ocaml 4.04

bde99c3f 04/06/2017 04:27 PM Xavier Thirioux

This is the first merge that does compile. Not tested yet.

40d33d55 04/05/2017 04:53 PM Xavier Thirioux

first version (doesn't even compile) of mutation and test generation standalone command: lustret
mostly a recovery of an ancient svn repo: mutations

a69af35f 03/20/2017 02:20 PM Pierre-Loïc Garoche

another issue with an old merge: missing nums dep

86854b27 03/06/2017 01:43 PM David Doose

adding dealloc

7fcfaf49 03/06/2017 01:32 PM David Doose

Merge branch 'master' into mauve

80f93e0a 03/03/2017 05:12 PM Xavier Thirioux

added deallocation for dynamic memory allocation scheme

be206ad8 03/03/2017 03:32 PM David Doose

adding & in shell

08fd9ec8 03/03/2017 03:26 PM David Doose

mauve generator with annotations

d1b9423d 03/02/2017 06:12 PM David Doose

mauve generator: first shot

52c5ba00 03/01/2017 10:47 AM David Doose

adding c++ 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

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

remove deps

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

fix tracebility

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