lustrec/src @ 12738191
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| backends | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk | |
| plugins | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk | |
| Makefile.in | 1.02 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| _tags | 438 Bytes | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| access.ml | 3.58 KB | 1eda3e78 | over 10 years | Xavier Thirioux | - work in progress for automata... |
| annotations.ml | 1.16 KB | 6394042a | over 9 years | Pierre-Loïc Garoche | Added local inlining using the keyword (*! /inl... |
| automata.ml | 13.4 KB | e24b2e9b | over 9 years | Xavier Thirioux | some optimization in code optimization !! |
| basic_library.ml | 8.39 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| causality.ml | 19.7 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| clock_calculus.ml | 32 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| clock_predef.ml | 1.76 KB | 01d48bb0 | over 9 years | Xavier Thirioux | Major revision due to severe limitations and bu... |
| clocks.ml | 20.5 KB | 5f31b494 | over 9 years | Xavier Thirioux | corrected a bug when activating optimization (-... |
| compiler_common.ml | 8.75 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| corelang.ml | 34.6 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| corelang.mli | 5.58 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| delay.ml | 2.97 KB | b38ffff3 | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
| delay_predef.ml | 1.28 KB | 70e1006b | over 10 years | Xavier Thirioux | This is a major revision: - added interface f... |
| dimension.ml | 10.9 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| env.ml | 1.64 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| expand.ml | 10.8 KB | 6a1a01d2 | about 10 years | Xavier Thirioux | - Added major feature: Lustre V6 automata !!! ... |
| global.ml | 546 Bytes | 12738191 | about 9 years | Xavier Thirioux | .... |
| init_calculus.ml | 11.1 KB | b38ffff3 | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
| init_predef.ml | 2.29 KB | b38ffff3 | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
| inliner.ml | 16.1 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| lexerLustreSpec.mll | 4.26 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| lexer_lustre.mll | 5.35 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| lexer_prelude.mll | 3.21 KB | b38ffff3 | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
| liveness.ml | 12.2 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| location.ml | 2.89 KB | 01d48bb0 | over 9 years | Xavier Thirioux | Major revision due to severe limitations and bu... |
| log.ml | 941 Bytes | e275249d | over 9 years | Xavier Thirioux | - corrected a regression bug in main_lustre_com... |
| lusic.ml | 3.34 KB | b3543e39 | over 9 years | Xavier Thirioux | some cosmetic changes in error messages when lo... |
| lustreSpec.ml | 7.14 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| machine_code.ml | 23 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| main_lustre_compiler.ml | 16.2 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| modules.ml | 7.78 KB | 5f31b494 | over 9 years | Xavier Thirioux | corrected a bug when activating optimization (-... |
| mpfr.ml | 8.42 KB | 52016bbb | about 9 years | Xavier Thirioux | some files missing |
| myocamlbuild.ml.in | 295 Bytes | bed8ea64 | about 10 years | Pierre-Loïc Garoche | Moved Makefile into src folder |
| normalization.ml | 17.3 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| optimize_machine.ml | 17.3 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| optimize_prog.ml | 4.43 KB | 307aba8d | about 10 years | Xavier Thirioux | - changed the basic optimization scheme (option... |
| options.ml | 5.18 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| parse.ml | 1.36 KB | 70e1006b | over 10 years | Xavier Thirioux | This is a major revision: - added interface f... |
| parserLustreSpec.mly | 8.01 KB | 6394042a | over 9 years | Pierre-Loïc Garoche | Added local inlining using the keyword (*! /inl... |
| parser_lustre.mly | 17.5 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| printers.ml | 13.9 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| scheduling.ml | 9.01 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| sortProg.ml | 2 KB | b38ffff3 | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
| splitting.ml | 3.18 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| stateless.ml | 3.13 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| type_predef.ml | 2.66 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| types.ml | 10.5 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| typing.ml | 30.3 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| utils.ml | 8.77 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| version.ml.in | 107 Bytes | 5ae8db15 | about 10 years | Pierre-Loïc Garoche | - Dealt with compiling lusic from distant lusi ... |
Latest revisions
Also available in: Atom