lustrec/src @ 2863281f
Name | Size | Revision | Age | Author | Comment |
---|---|---|---|---|---|
backends | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... | |
features | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... | |
plugins | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... | |
tools | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... | |
Makefile-lustresf.in | 758 Bytes | 3b4b7a2e | about 7 years | Christophe Garion | [lustresf] lustresf targets are optional in Mak... |
Makefile.in | 1.22 KB | 3b4b7a2e | about 7 years | Christophe Garion | [lustresf] lustresf targets are optional in Mak... |
_tags.in | 1.45 KB | 66359a5e | about 7 years | Pierre-Loïc Garoche | [general] large modification: added machine typ... |
access.ml | 3.66 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
algebraicLoop.ml | 14.4 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
annotations.ml | 1.16 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
arrow.ml | 806 Bytes | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
arrow.mli | 102 Bytes | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
automata.ml | 14.7 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
basic_library.ml | 8.45 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
causality.ml | 24.5 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
clock_calculus.ml | 26.7 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
clock_predef.ml | 1.76 KB | ec433d69 | almost 10 years | Xavier Thirioux | Major revision due to severe limitations and bu... |
clocks.ml | 14.2 KB | 333e3a25 | about 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
compiler_common.ml | 10 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
compiler_stages.ml | 10.7 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
corelang.ml | 39.3 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
corelang.mli | 6.55 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
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 | 333e3a25 | about 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
env.ml | 1.66 KB | 66359a5e | about 7 years | Pierre-Loïc Garoche | [general] large modification: added machine typ... |
error.ml | 1.65 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
expand.ml | 10.8 KB | 54d032f5 | over 10 years | Xavier Thirioux | - Added major feature: Lustre V6 automata !!! ... |
global.ml | 573 Bytes | 66359a5e | about 7 years | Pierre-Loïc Garoche | [general] large modification: added machine typ... |
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 | 20 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
lexerLustreSpec.mll | 4.58 KB | 66359a5e | about 7 years | Pierre-Loïc Garoche | [general] large modification: added machine typ... |
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 | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
location.ml | 3.44 KB | fd19d190 | about 7 years | Pierre-Loïc Garoche | New function in Location to access to line number |
log.ml | 1015 Bytes | 521e2a6b | over 7 years | Pierre-Loïc Garoche | trying to improving pretty printing. Not so per... |
lusic.ml | 3.52 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
lustre_types.ml | 6.35 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
lustrec.odocl | 1.06 KB | 53472c83 | almost 7 years | Pierre-Loïc Garoche | Updated TODO Changed selection of files in odocl |
machine_code.ml | 14.9 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
machine_code.mli | 122 Bytes | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
machine_code_common.ml | 10.8 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
machine_code_common.mli | 1.56 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
machine_code_types.ml | 1.64 KB | 089f94be | almost 7 years | Pierre-Loïc Garoche | MLI for normalization and machine_code. Structs... |
main_lustre_compiler.ml | 5.36 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
main_lustre_testgen.ml | 6.84 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
mmap.ml | 10.7 KB | 40d33d55 | almost 8 years | Xavier Thirioux | first version (doesn't even compile) of mutatio... |
modules.ml | 7.85 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
mpfr.ml | 8.59 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
mutation.ml | 26.3 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
normalization.ml | 21.4 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
normalization.mli | 288 Bytes | 089f94be | almost 7 years | Pierre-Loïc Garoche | MLI for normalization and machine_code. Structs... |
ocaml_utils.ml.in | 31 Bytes | c80e92d1 | about 7 years | Pierre-Loïc Garoche | Solving a warning with ocaml 4.04 and uppercase... |
optimize_machine.ml | 26.4 KB | 2863281f | almost 7 years | Pierre-Loïc Garoche | Further restructuring: - arrow.ml* to define ba... |
optimize_prog.ml | 4.43 KB | d0b1ec56 | over 10 years | Xavier Thirioux | - changed the basic optimization scheme (option... |
options.ml | 1.8 KB | 8b87d0a5 | about 7 years | Pierre-Loïc Garoche | Forcing mpfr status when -real mpfr asked. Defa... |
options_management.ml | 7.42 KB | 8b87d0a5 | about 7 years | Pierre-Loïc Garoche | Forcing mpfr status when -real mpfr asked. Defa... |
parse.ml | 2.45 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
parserLustreSpec.mly | 8.28 KB | 66359a5e | about 7 years | Pierre-Loïc Garoche | [general] large modification: added machine typ... |
parser_lustre.mly | 18.4 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
pathConditions.ml | 10.5 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
pluginList.ml.in | 86 Bytes | 1954d776 | almost 8 years | Pierre-Loïc Garoche | Cleaner configure autoconf script |
pluginType.ml | 705 Bytes | 089f94be | almost 7 years | Pierre-Loïc Garoche | MLI for normalization and machine_code. Structs... |
plugins.ml | 1.66 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
printers.ml | 14.7 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
scheduling.ml | 8.86 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
sortProg.ml | 2.23 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
spec.ml | 524 Bytes | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
splitting.ml | 3.18 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
stateless.ml | 3.61 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
type_predef.ml | 3.2 KB | 66359a5e | about 7 years | Pierre-Loïc Garoche | [general] large modification: added machine typ... |
types.ml | 16.5 KB | 3c3414c5 | about 7 years | Pierre-Loïc Garoche | Solved issue with typing of enumerated types |
typing.ml | 32.7 KB | 8446bf03 | almost 7 years | Pierre-Loïc Garoche | - Makefile: solved dependency problem when comp... |
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