Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  backends d3281b4e almost 5 years Pierre-Loïc Garoche Missing file
  plugins 50d39c99 over 5 years Xavier Thirioux ...
Makefile.in 1.02 KB 04a63d25 over 5 years Xavier Thirioux full merge of salsa/mpfr and master
_tags 405 Bytes 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
access.ml 3.58 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
annotations.ml 1.16 KB 566dbf49 almost 7 years Pierre-Loïc Garoche Added local inlining using the keyword (*! /inl...
automata.ml 14.6 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
basic_library.ml 8.33 KB 04a63d25 over 5 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 almost 5 years Pierre-Loïc Garoche Merged code
clock_predef.ml 1.76 KB ec433d69 almost 7 years Xavier Thirioux Major revision due to severe limitations and bu...
clocks.ml 13.4 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
compiler_common.ml 8.97 KB 04a63d25 over 5 years Xavier Thirioux full merge of salsa/mpfr and master
corelang.ml 35.3 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
corelang.mli 5.7 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
delay.ml 2.97 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
delay_predef.ml 1.28 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
dimension.ml 11 KB ec433d69 almost 7 years Xavier Thirioux Major revision due to severe limitations and bu...
env.ml 1.64 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
expand.ml 10.8 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
global.ml 546 Bytes 66e25f0f over 5 years Xavier Thirioux ...
init_calculus.ml 11.1 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
init_predef.ml 2.29 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
inliner.ml 17.6 KB 45f0f48d over 5 years Xavier Thirioux ...
lexerLustreSpec.mll 4.55 KB 1b57e111 about 5 years Teme Kahsai adding sfunction support
lexer_lustre.mll 5.67 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
lexer_prelude.mll 3.21 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
liveness.ml 12.6 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
location.ml 3.4 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
log.ml 941 Bytes 690196d8 over 6 years Xavier Thirioux - corrected a regression bug in main_lustre_com...
lusic.ml 3.53 KB 04a63d25 over 5 years Xavier Thirioux full merge of salsa/mpfr and master
lustreSpec.ml 7.11 KB 45f0f48d over 5 years Xavier Thirioux ...
machine_code.ml 23.9 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
main_lustre_compiler.ml 17.1 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
modules.ml 7.78 KB fc476249 about 5 years Teme Kahsai adding -I options to lustrec
mpfr.ml 8.47 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
myocamlbuild.ml.in 295 Bytes e8b6d5ca about 7 years Pierre-Loïc Garoche Moved Makefile into src folder git-svn-id: ht...
normalization.ml 22.3 KB e49b6d55 almost 5 years Xavier Thirioux nice bug correction wrt constants with a large ...
optimize_machine.ml 21.7 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
optimize_prog.ml 4.43 KB d0b1ec56 over 7 years Xavier Thirioux - changed the basic optimization scheme (option...
options.ml 5.64 KB 3151ebe1 almost 5 years Pierre-Loïc Garoche Bug solved: EMF backend was forced
parse.ml 2.33 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
parserLustreSpec.mly 8.14 KB 1b57e111 about 5 years Teme Kahsai adding sfunction support
parser_lustre.mly 17.5 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
plugins.ml 622 Bytes 66e25f0f over 5 years Xavier Thirioux ...
printers.ml 15.1 KB f525c4ae almost 5 years Pierre-Loïc Garoche Started to recover specification compilation fr...
scheduling.ml 9.29 KB 7d62bf41 almost 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 almost 5 years Pierre-Loïc Garoche Starting to initiate a node spec aware backend
splitting.ml 3.18 KB 04a63d25 over 5 years Xavier Thirioux full merge of salsa/mpfr and master
stateless.ml 3.47 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
type_predef.ml 2.66 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
types.ml 10.6 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
typing.ml 30.4 KB 7d62bf41 almost 5 years Pierre-Loïc Garoche Merged code
utils.ml 9.14 KB 7d62bf41 almost 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
3151ebe1 03/24/2017 05:57 AM Pierre-Loïc Garoche

Bug solved: EMF backend was forced

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

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

View revisions

Also available in: Atom