Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends 2fdbc781 about 5 years Pierre-Loïc Garoche Cleaning output: - no more classic display for ...
  plugins 2fdbc781 about 5 years Pierre-Loïc Garoche Cleaning output: - no more classic display for ...
Makefile.in 1.2 KB 2fdbc781 about 5 years Pierre-Loïc Garoche Cleaning output: - no more classic display for ...
_tags.in 444 Bytes 1954d776 about 5 years Pierre-Loïc Garoche Cleaner configure autoconf script
access.ml 3.58 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
annotations.ml 1.16 KB 566dbf49 about 7 years Pierre-Loïc Garoche Added local inlining using the keyword (*! /inl...
automata.ml 14.6 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
basic_library.ml 8.39 KB 04a63d25 almost 6 years Xavier Thirioux full merge of salsa/mpfr and master
causality.ml 20.4 KB eb837d74 over 5 years Xavier Thirioux slight improvement of causality error messages
clock_calculus.ml 26.6 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
clock_predef.ml 1.76 KB ec433d69 about 7 years Xavier Thirioux Major revision due to severe limitations and bu...
clocks.ml 13.4 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
compiler_common.ml 9.12 KB 782742b6 about 5 years Pierre-Loïc Garoche Merged unstable with seahorn
corelang.ml 35.5 KB 76c7023b about 5 years Pierre-Loïc Garoche functional_backend function moved to corelang
corelang.mli 5.74 KB 76c7023b about 5 years Pierre-Loïc Garoche functional_backend function moved to corelang
delay.ml 2.97 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
delay_predef.ml 1.28 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
dimension.ml 10.9 KB 53206908 over 6 years Xavier Thirioux major branche merging salsa/mpfr with trunk
env.ml 1.64 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
expand.ml 10.8 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
global.ml 546 Bytes 66e25f0f almost 6 years Xavier Thirioux ...
init_calculus.ml 11.1 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
init_predef.ml 2.29 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
inliner.ml 17.9 KB d2d9d4cb about 5 years Pierre-Loïc Garoche Missing files
lexerLustreSpec.mll 4.55 KB 1b57e111 over 5 years Teme Kahsai adding sfunction support
lexer_lustre.mll 5.67 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
lexer_prelude.mll 3.21 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
liveness.ml 12.2 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
location.ml 3.4 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
log.ml 941 Bytes 690196d8 about 7 years Xavier Thirioux - corrected a regression bug in main_lustre_com...
lusic.ml 2.89 KB 782742b6 about 5 years Pierre-Loïc Garoche Merged unstable with seahorn
lustreSpec.ml 7.09 KB 2fdbc781 about 5 years Pierre-Loïc Garoche Cleaning output: - no more classic display for ...
lustrec.odocl 826 Bytes 1954d776 about 5 years Pierre-Loïc Garoche Cleaner configure autoconf script
machine_code.ml 25.1 KB 0d065e73 about 5 years Pierre-Loïc Garoche Solved a bug in the compilation of asserts. Now...
main_lustre_compiler.ml 18 KB 782742b6 about 5 years Pierre-Loïc Garoche Merged unstable with seahorn
main_lustre_testgen.ml 5.75 KB 782742b6 about 5 years Pierre-Loïc Garoche Merged unstable with seahorn
mmap.ml 10.7 KB 40d33d55 about 5 years Xavier Thirioux first version (doesn't even compile) of mutatio...
modules.ml 7.83 KB fc476249 over 5 years Teme Kahsai adding -I options to lustrec
mpfr.ml 8.48 KB 782742b6 about 5 years Pierre-Loïc Garoche Merged unstable with seahorn
mutation.ml 20.7 KB 2fdbc781 about 5 years Pierre-Loïc Garoche Cleaning output: - no more classic display for ...
normalization.ml 17.8 KB 782742b6 about 5 years Pierre-Loïc Garoche Merged unstable with seahorn
normalization_common.ml 5.27 KB cb503831 about 5 years Pierre-Loïc Garoche Merged seahorn backend with EMF output with cur...
optimize_machine.ml 22.9 KB d2d9d4cb about 5 years Pierre-Loïc Garoche Missing files
optimize_prog.ml 4.43 KB d0b1ec56 over 7 years Xavier Thirioux - changed the basic optimization scheme (option...
options.ml 6.59 KB 782742b6 about 5 years Pierre-Loïc Garoche Merged unstable with seahorn
parse.ml 2.33 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
parserLustreSpec.mly 8.14 KB 1b57e111 over 5 years Teme Kahsai adding sfunction support
parser_lustre.mly 18.1 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
pathConditions.ml 6.81 KB 2fdbc781 about 5 years Pierre-Loïc Garoche Cleaning output: - no more classic display for ...
pluginList.ml 132 Bytes
pluginList.ml.in 86 Bytes 1954d776 about 5 years Pierre-Loïc Garoche Cleaner configure autoconf script
pluginType.ml 532 Bytes f6acf47b over 6 years Pierre-Loïc Garoche Plugin based framework
plugins.ml 1.41 KB 782742b6 about 5 years Pierre-Loïc Garoche Merged unstable with seahorn
printers.ml 15.1 KB f525c4ae over 5 years Pierre-Loïc Garoche Started to recover specification compilation fr...
scheduling.ml 9.29 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
sortProg.ml 2.01 KB eb837d74 over 5 years Xavier Thirioux slight improvement of causality error messages
spec.ml 530 Bytes c85f5fa5 over 5 years Pierre-Loïc Garoche Starting to initiate a node spec aware backend
splitting.ml 3.18 KB 04a63d25 almost 6 years Xavier Thirioux full merge of salsa/mpfr and master
stateless.ml 3.47 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
type_predef.ml 2.66 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
types.ml 10.6 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
typing.ml 30.3 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
utils.ml 9.14 KB 7d62bf41 about 5 years Pierre-Loïc Garoche Merged code
version.ml.in 143 Bytes 41e48ef3 over 5 years Eric NOULARD Add codename to version handling. This should e...

Latest revisions

# Date Author Comment
782742b6 04/28/2017 01:40 PM Pierre-Loïc Garoche

Merged unstable with seahorn

cb503831 04/28/2017 01:33 PM Pierre-Loïc Garoche

Merged seahorn backend with EMF output with current unstable branch

0910283c 04/27/2017 11:36 PM Pierre-Loïc Garoche

Merge branch 'unstable' into merge_seahorn_unstable

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

View revisions

Also available in: Atom