lustrec/src @ 13aec2da
| Name | Size | Revision | Age | Author | Comment |
|---|---|---|---|---|---|
| backends | 13aec2da | over 6 years | Pierre-Loïc Garoche | [main] enum typedef in C use the original lustr... | |
| plugins | 9b8acef5 | almost 7 years | Pierre-Loïc Garoche | [salsa] cleaning verbose logs | |
| tools | 9ae027f8 | almost 7 years | Pierre-Loïc Garoche | [stateflow] some progress, linking the parsed j... | |
| Makefile-lustresf.in | 758 Bytes | 3b4b7a2e | almost 7 years | Christophe Garion | [lustresf] lustresf targets are optional in Mak... |
| Makefile.in | 1.22 KB | 3b4b7a2e | almost 7 years | Christophe Garion | [lustresf] lustresf targets are optional in Mak... |
| _tags.in | 1.42 KB | f50110e7 | almost 7 years | Christophe Garion | [lustresf] use Unix package |
| access.ml | 3.66 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| algebraicLoop.ml | 14.4 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| annotations.ml | 1.16 KB | 566dbf49 | over 9 years | Pierre-Loïc Garoche | Added local inlining using the keyword (*! /inl... |
| automata.ml | 14.6 KB | a6df3992 | over 7 years | Pierre-Loïc Garoche | Working on EMF backend to express cocospec info... |
| basic_library.ml | 8.39 KB | 04a63d25 | about 8 years | Xavier Thirioux | full merge of salsa/mpfr and master |
| causality.ml | 23.6 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| clock_calculus.ml | 26.7 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| clock_predef.ml | 1.76 KB | ec433d69 | over 9 years | Xavier Thirioux | Major revision due to severe limitations and bu... |
| clocks.ml | 14.2 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| compiler_common.ml | 9.33 KB | e7cc5186 | about 7 years | Pierre-Loïc Garoche | Refactor error printing. |
| compiler_stages.ml | 6.12 KB | 04257b1e | almost 7 years | Pierre-Loïc Garoche | Moved stage1 in separate file: it is shared amo... |
| corelang.ml | 38.8 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| corelang.mli | 6.24 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| 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 | about 10 years | Xavier Thirioux | This is a major revision: - added interface f... |
| dimension.ml | 10.9 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| env.ml | 1.64 KB | 04a63d25 | about 8 years | Xavier Thirioux | full merge of salsa/mpfr and master |
| error.ml | 1.65 KB | 38ae7765 | about 7 years | Pierre-Loïc Garoche | no comment |
| expand.ml | 10.8 KB | 54d032f5 | about 10 years | Xavier Thirioux | - Added major feature: Lustre V6 automata !!! ... |
| global.ml | 546 Bytes | 66e25f0f | about 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 | 19.9 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| lexerLustreSpec.mll | 4.55 KB | 1b57e111 | almost 8 years | Teme Kahsai | adding sfunction support |
| lexer_lustre.mll | 5.67 KB | 1b57e111 | almost 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 | almost 9 years | Xavier Thirioux | major branche merging salsa/mpfr with trunk |
| location.ml | 3.44 KB | fd19d190 | almost 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 | e7cc5186 | about 7 years | Pierre-Loïc Garoche | Refactor error printing. |
| lustreSpec.ml | 7.14 KB | bbfbc15a | about 7 years | Christophe Garion | json-parser: remove Const_bool and use Const_tag |
| lustrec.odocl | 826 Bytes | 1954d776 | over 7 years | Pierre-Loïc Garoche | Cleaner configure autoconf script |
| machine_code.ml | 27.4 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| main_lustre_compiler.ml | 9.51 KB | 1ca48e48 | over 6 years | Pierre-Loïc Garoche | No existing input file returns a 1 error code |
| main_lustre_testgen.ml | 6.14 KB | 5487dd79 | over 6 years | Pierre-Loïc Garoche | [mutations] solved issues with - mutations tha... |
| mmap.ml | 10.7 KB | 40d33d55 | over 7 years | Xavier Thirioux | first version (doesn't even compile) of mutatio... |
| modules.ml | 7.85 KB | 69c96b6c | about 7 years | Pierre-Loïc Garoche | lustresf: Better construction of lustre ast. St... |
| mpfr.ml | 8.53 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| mutation.ml | 24.6 KB | 5487dd79 | over 6 years | Pierre-Loïc Garoche | [mutations] solved issues with - mutations tha... |
| normalization.ml | 20.4 KB | 50dadc21 | almost 7 years | Pierre-Loïc Garoche | [global] reordered local vars, keeping the decl... |
| ocaml_utils.ml.in | 31 Bytes | c80e92d1 | almost 7 years | Pierre-Loïc Garoche | Solving a warning with ocaml 4.04 and uppercase... |
| optimize_machine.ml | 26.4 KB | 13507742 | about 7 years | Pierre-Loïc Garoche | Refactored some code: optimization of machine |
| optimize_prog.ml | 4.43 KB | d0b1ec56 | about 10 years | Xavier Thirioux | - changed the basic optimization scheme (option... |
| options.ml | 1.8 KB | 8b87d0a5 | almost 7 years | Pierre-Loïc Garoche | Forcing mpfr status when -real mpfr asked. Defa... |
| options_management.ml | 7.42 KB | 8b87d0a5 | almost 7 years | Pierre-Loïc Garoche | Forcing mpfr status when -real mpfr asked. Defa... |
| parse.ml | 2.45 KB | 9ae027f8 | almost 7 years | Pierre-Loïc Garoche | [stateflow] some progress, linking the parsed j... |
| parserLustreSpec.mly | 8.14 KB | 1b57e111 | almost 8 years | Teme Kahsai | adding sfunction support |
| parser_lustre.mly | 18.3 KB | aa0cc4e8 | almost 7 years | Pierre-Loïc Garoche | [general] adding more entry rules for lustre pa... |
| pathConditions.ml | 10.2 KB | 3e1d20e0 | almost 7 years | Pierre-Loïc Garoche | [MCDC] Solved some issues and transformed the c... |
| pluginList.ml.in | 86 Bytes | 1954d776 | over 7 years | Pierre-Loïc Garoche | Cleaner configure autoconf script |
| pluginType.ml | 691 Bytes | 7ab1c5bd | over 7 years | Pierre-Loïc Garoche | - Added a precision parameter for io_frontend "... |
| plugins.ml | 1.65 KB | 1bff14ac | over 7 years | Pierre-Loïc Garoche | - Added a field lustre_eq to machine instructio... |
| printers.ml | 14.7 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| scheduling.ml | 8.86 KB | e7cc5186 | about 7 years | Pierre-Loïc Garoche | Refactor error printing. |
| sortProg.ml | 2.01 KB | eb837d74 | almost 8 years | Xavier Thirioux | slight improvement of causality error messages |
| spec.ml | 522 Bytes | e70326c9 | over 7 years | Pierre-Loïc Garoche | Providing means to have specification as dynami... |
| splitting.ml | 3.18 KB | 04a63d25 | about 8 years | Xavier Thirioux | full merge of salsa/mpfr and master |
| stateless.ml | 3.61 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| type_predef.ml | 2.66 KB | 04a63d25 | about 8 years | Xavier Thirioux | full merge of salsa/mpfr and master |
| types.ml | 10.6 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| typing.ml | 30.5 KB | 333e3a25 | almost 7 years | Pierre-Loïc Garoche | [general] Refactor get_node_eqs to produce (eqs... |
| 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 | over 7 years | Pierre-Loïc Garoche | - Adding new Makefile target for regression tes... |
Latest revisions
Also available in: Atom