lustrec/src @ a6974c82
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
backends | a6974c82 | over 7 years | Pierre-Loïc Garoche | [Horn] Workaround to prevent the use of declare... | |
plugins | 2fdbc781 | almost 8 years | Pierre-Loïc Garoche | Cleaning output: - no more classic display for ... | |
Makefile.in | 1.2 KB | 2fdbc781 | almost 8 years | Pierre-Loïc Garoche | Cleaning output: - no more classic display for ... |
_tags.in | 399 Bytes | 1954d776 | almost 8 years | Pierre-Loïc Garoche | Cleaner configure autoconf script |
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 | almost 10 years | Pierre-Loïc Garoche | Added local inlining using the keyword (*! /inl... |
automata.ml | 14.5 KB | 28d2185f | almost 9 years | Xavier Thirioux | bug removed: with dummy automata, lustrec would... |
basic_library.ml | 8.39 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 | almost 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 | 9.08 KB | 990210f3 | over 7 years | Pierre-Loïc Garoche | Improved include folders behaviors: - allow mul... |
corelang.ml | 35.4 KB | 990210f3 | over 7 years | Pierre-Loïc Garoche | Improved include folders behaviors: - allow mul... |
corelang.mli | 5.62 KB | 76c7023b | almost 8 years | Pierre-Loïc Garoche | functional_backend function moved to corelang |
delay.ml | 2.97 KB | a2d97a3e | over 10 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 | 10.9 KB | 53206908 | about 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
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 | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
init_predef.ml | 2.29 KB | a2d97a3e | over 10 years | Pierre-Loïc Garoche | Updated the licence info and header for each fi... |
inliner.ml | 17.9 KB | d2d9d4cb | almost 8 years | Pierre-Loïc Garoche | Missing files |
lexerLustreSpec.mll | 4.55 KB | 1b57e111 | about 8 years | Teme Kahsai | adding sfunction support |
lexer_lustre.mll | 5.67 KB | 1b57e111 | about 8 years | Teme Kahsai | adding sfunction support |
lexer_prelude.mll | 3.21 KB | a2d97a3e | 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 | 3.4 KB | 04a63d25 | over 8 years | Xavier Thirioux | full merge of salsa/mpfr and master |
log.ml | 1015 Bytes | 521e2a6b | over 7 years | Pierre-Loïc Garoche | trying to improving pretty printing. Not so per... |
lusic.ml | 3.51 KB | 990210f3 | over 7 years | Pierre-Loïc Garoche | Improved include folders behaviors: - allow mul... |
lustreSpec.ml | 7.09 KB | 2fdbc781 | almost 8 years | Pierre-Loïc Garoche | Cleaning output: - no more classic display for ... |
lustrec.odocl | 826 Bytes | 1954d776 | almost 8 years | Pierre-Loïc Garoche | Cleaner configure autoconf script |
machine_code.ml | 25.3 KB | 990210f3 | over 7 years | Pierre-Loïc Garoche | Improved include folders behaviors: - allow mul... |
main_lustre_compiler.ml | 17.2 KB | 990210f3 | over 7 years | Pierre-Loïc Garoche | Improved include folders behaviors: - allow mul... |
main_lustre_testgen.ml | 5.74 KB | 990210f3 | over 7 years | Pierre-Loïc Garoche | Improved include folders behaviors: - allow mul... |
mmap.ml | 10.7 KB | 40d33d55 | almost 8 years | Xavier Thirioux | first version (doesn't even compile) of mutatio... |
modules.ml | 7.75 KB | 990210f3 | over 7 years | Pierre-Loïc Garoche | Improved include folders behaviors: - allow mul... |
mpfr.ml | 8.43 KB | 66e25f0f | over 8 years | Xavier Thirioux | ... |
mutation.ml | 20.7 KB | 2fdbc781 | almost 8 years | Pierre-Loïc Garoche | Cleaning output: - no more classic display for ... |
normalization.ml | 17.7 KB | e49b6d55 | almost 8 years | Xavier Thirioux | nice bug correction wrt constants with a large ... |
optimize_machine.ml | 22.9 KB | 521e2a6b | over 7 years | Pierre-Loïc Garoche | trying to improving pretty printing. Not so per... |
optimize_prog.ml | 4.43 KB | d0b1ec56 | over 10 years | Xavier Thirioux | - changed the basic optimization scheme (option... |
options.ml | 7.93 KB | 990210f3 | over 7 years | Pierre-Loïc Garoche | Improved include folders behaviors: - allow mul... |
parse.ml | 2.33 KB | 45f0f48d | over 8 years | Xavier Thirioux | ... |
parserLustreSpec.mly | 8.14 KB | 1b57e111 | about 8 years | Teme Kahsai | adding sfunction support |
parser_lustre.mly | 18.1 KB | 1b57e111 | about 8 years | Teme Kahsai | adding sfunction support |
pathConditions.ml | 6.81 KB | 2fdbc781 | almost 8 years | Pierre-Loïc Garoche | Cleaning output: - no more classic display for ... |
pluginList.ml | 132 Bytes | ||||
pluginList.ml.in | 86 Bytes | 1954d776 | almost 8 years | Pierre-Loïc Garoche | Cleaner configure autoconf script |
pluginType.ml | 532 Bytes | f6acf47b | about 9 years | Pierre-Loïc Garoche | Plugin based framework |
plugins.ml | 1.41 KB | 1954d776 | almost 8 years | Pierre-Loïc Garoche | Cleaner configure autoconf script |
printers.ml | 14.8 KB | 521e2a6b | over 7 years | Pierre-Loïc Garoche | trying to improving pretty printing. Not so per... |
scheduling.ml | 9.1 KB | 3b2bd83d | about 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.3 KB | 45f0f48d | over 8 years | Xavier Thirioux | ... |
utils.ml | 9.21 KB | 990210f3 | over 7 years | Pierre-Loïc Garoche | Improved include folders behaviors: - allow mul... |
version.ml.in | 155 Bytes | a86bae77 | almost 8 years | Pierre-Loïc Garoche | - Adding new Makefile target for regression tes... |
Latest revisions
Also available in: Atom