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