Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec @ bde99c3f

# Date Author Comment
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

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

added deallocation for dynamic memory allocation scheme

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 https://cavale.enseeiht.fr/git/lustrec

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 https://cavale.enseeiht.fr/git/lustrec

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

automata_spec

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 typing.ml 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 myocamlbuild.ml. 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

Arrays

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 https://cavale.enseeiht.fr/git/lustrec

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

Arrays

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

waffle.io Badge

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

add waffle.io 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

travis

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

travis

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

Merge branch 'master' of https://github.com/coco-team/lustrec

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

travis

70a6ee5a 01/18/2016 08:08 PM Teme Kahsai

travis

aa3240b6 01/08/2016 03:02 PM Xavier Thirioux

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

5775ac97 01/08/2016 03:00 PM Xavier Thirioux

bug correction in automata.ml (order of assigned variables was not always coherent between automata branches)

dc6f962c 12/18/2015 12:31 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

e599394b 12/16/2015 09:45 PM Teme Kahsai

cleaned up bin

7ec8e203 12/09/2015 12:40 AM Teme Kahsai

travis

f2b37275 12/08/2015 04:15 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

cf13e2c2 12/07/2015 02:39 PM Pierre-Loïc Garoche

Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec

2cd42be0 11/26/2015 03:35 PM Pierre-Loïc Garoche

Cleaning old file

57115ec0 11/22/2015 12:05 AM Xavier Thirioux

corrected pessimistic behavior of optimization phase -O 3

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@486 041b043f-8d7c-46b2-b46e-ef0dd855326e

812c0369 11/22/2015 12:05 AM Xavier Thirioux

corrected pessimistic behavior of optimization phase -O 3

d7b73fed 11/21/2015 10:14 PM Xavier Thirioux

bug correction in typing: tuple types were computed but not recorded

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@485 041b043f-8d7c-46b2-b46e-ef0dd855326e

89137ae1 11/21/2015 10:14 PM Xavier Thirioux

bug correction in typing: tuple types were computed but not recorded

89bc26df 11/16/2015 05:23 PM Teme Kahsai

remove duplication

55537f48 11/07/2015 11:48 PM Xavier Thirioux

bug corrected: in some cases, local const vars were assigned twice

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@483 041b043f-8d7c-46b2-b46e-ef0dd855326e

da07e470 11/07/2015 11:48 PM Xavier Thirioux

bug corrected: in some cases, local const vars were assigned twice