Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src @ bde99c3f

Name Size Revision Age Author Comment
  backends bde99c3f over 2 years Xavier Thirioux This is the first merge that does compile. Not ...
  plugins 50d39c99 about 3 years Xavier Thirioux ...
Makefile 1.04 KB 042dc586 over 2 years Pierre-Loïc Garoche Revert some ocaml code to ocaml 4.01 compatibility
Makefile.in 1.22 KB 40d33d55 over 2 years Xavier Thirioux first version (doesn't even compile) of mutatio...
_tags 527 Bytes bde99c3f over 2 years Xavier Thirioux This is the first merge that does compile. Not ...
access.ml 3.58 KB b08ffca7 about 5 years Xavier Thirioux - work in progress for automata... git-svn-i...
annotations.ml 1.16 KB 566dbf49 over 4 years Pierre-Loïc Garoche Added local inlining using the keyword (*! /inl...
automata.ml 14.5 KB 28d2185f over 3 years Xavier Thirioux bug removed: with dummy automata, lustrec would...
basic_library.ml 8.33 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
causality.ml 20.4 KB eb837d74 almost 3 years Xavier Thirioux slight improvement of causality error messages
clock_calculus.ml 26.6 KB 45f0f48d about 3 years Xavier Thirioux ...
clock_predef.ml 1.76 KB ec433d69 over 4 years Xavier Thirioux Major revision due to severe limitations and bu...
clocks.ml 13.4 KB 45f0f48d about 3 years Xavier Thirioux ...
compiler_common.ml 8.97 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
corelang.ml 35.1 KB e49b6d55 over 2 years Xavier Thirioux nice bug correction wrt constants with a large ...
corelang.mli 5.58 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
delay.ml 2.97 KB a2d97a3e about 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
delay_predef.ml 1.28 KB ef34b4ae about 5 years Xavier Thirioux This is a major revision: - added interface f...
dimension.ml 11 KB ec433d69 over 4 years Xavier Thirioux Major revision due to severe limitations and bu...
env.ml 1.64 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
expand.ml 10.8 KB 54d032f5 about 5 years Xavier Thirioux - Added major feature: Lustre V6 automata !!! ...
global.ml 546 Bytes 66e25f0f about 3 years Xavier Thirioux ...
init_calculus.ml 11.1 KB a2d97a3e about 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
init_predef.ml 2.29 KB a2d97a3e about 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
inliner.ml 17.6 KB 45f0f48d about 3 years Xavier Thirioux ...
lexerLustreSpec.mll 4.55 KB 1b57e111 over 2 years Teme Kahsai adding sfunction support
lexer_lustre.mll 5.67 KB 1b57e111 over 2 years Teme Kahsai adding sfunction support
lexer_prelude.mll 3.21 KB a2d97a3e about 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
liveness.ml 12.6 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
location.ml 3.4 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
log.ml 941 Bytes 690196d8 over 4 years Xavier Thirioux - corrected a regression bug in main_lustre_com...
lusic.ml 3.53 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
lustreSpec.ml 7.11 KB 45f0f48d about 3 years Xavier Thirioux ...
machine_code.ml 23.7 KB fc476249 over 2 years Teme Kahsai adding -I options to lustrec
main_lustre_compiler.ml 16.4 KB 40d33d55 over 2 years Xavier Thirioux first version (doesn't even compile) of mutatio...
main_lustre_testgen.ml 5.74 KB bde99c3f over 2 years Xavier Thirioux This is the first merge that does compile. Not ...
mmap.ml 10.7 KB 40d33d55 over 2 years Xavier Thirioux first version (doesn't even compile) of mutatio...
modules.ml 7.78 KB fc476249 over 2 years Teme Kahsai adding -I options to lustrec
mpfr.ml 8.43 KB 66e25f0f about 3 years Xavier Thirioux ...
mutation.ml 20.6 KB bde99c3f over 2 years Xavier Thirioux This is the first merge that does compile. Not ...
myocamlbuild.ml.in 295 Bytes e8b6d5ca almost 5 years Pierre-Loïc Garoche Moved Makefile into src folder git-svn-id: ht...
normalization.ml 17.7 KB e49b6d55 over 2 years Xavier Thirioux nice bug correction wrt constants with a large ...
optimize_machine.ml 21.7 KB eb837d74 almost 3 years Xavier Thirioux slight improvement of causality error messages
optimize_prog.ml 4.43 KB d0b1ec56 almost 5 years Xavier Thirioux - changed the basic optimization scheme (option...
options.ml 6.05 KB 40d33d55 over 2 years Xavier Thirioux first version (doesn't even compile) of mutatio...
parse.ml 2.33 KB 45f0f48d about 3 years Xavier Thirioux ...
parserLustreSpec.mly 8.14 KB 1b57e111 over 2 years Teme Kahsai adding sfunction support
parser_lustre.mly 17.4 KB 1b57e111 over 2 years Teme Kahsai adding sfunction support
pathConditions.ml 6.63 KB bde99c3f over 2 years Xavier Thirioux This is the first merge that does compile. Not ...
plugins.ml 622 Bytes 66e25f0f about 3 years Xavier Thirioux ...
printers.ml 14.7 KB 1b57e111 over 2 years Teme Kahsai adding sfunction support
scheduling.ml 9.1 KB 3b2bd83d almost 3 years Teme Kahsai updating to onera version 30f766a:2016-12-04
sortProg.ml 2.01 KB eb837d74 almost 3 years Xavier Thirioux slight improvement of causality error messages
splitting.ml 3.18 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
stateless.ml 3.47 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
type_predef.ml 2.66 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
types.ml 10.6 KB 04a63d25 about 3 years Xavier Thirioux full merge of salsa/mpfr and master
typing.ml 30.4 KB 45f0f48d about 3 years Xavier Thirioux ...
utils.ml 9.14 KB 6fa45cb6 over 2 years Pierre-Loïc Garoche Changed the generated C file to produce input a...
version.ml.in 143 Bytes 41e48ef3 about 3 years Eric NOULARD Add codename to version handling. This should e...

Latest revisions

# 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

View revisions

Also available in: Atom