Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Frédéric Fort
Prelude
Branches
Overview
Active
Stale
All
prelude_new_types
1876b981
·
·
Jul 01, 2012
compil_propre
d937d303
·
Modified scripts to perform
·
Jan 16, 2013
add_double_type
7a993dae
·
Create branch for handling issue #104
·
Jan 18, 2013
lustre_validator
59b2afb3
·
cleaning
·
Feb 10, 2013
lustre_simulator
a4f05028
·
Ongoing work
·
Apr 12, 2013
interlude
47eb4086
·
Change name of generated binary.
·
Apr 17, 2013
lustre_compiler_thirioux
634850fe
·
introduces enum types, generalized clocks, generalized when and merge
·
Jul 05, 2013
java
43575f83
·
Use correct type name for Java booleans.
·
Aug 21, 2013
lustre_compiler
c977918a
·
- added a missing pair of curly braces in code generated from loop bodies.
·
Sep 04, 2013
prelude_remy
89a73aa7
·
causality analysis modification
·
Jul 05, 2014
aer_split
d2e800d9
·
nommage
·
Nov 14, 2017
trunk
be99e4ae
·
Removed .aux files
·
Dec 04, 2018
ffort_dune
ef054034
·
Summary: hid odocl files, they are now ignored by svn
·
Jan 16, 2019
ffort_non_periodic_rate_op
0d37af53
·
Summary: Started work non allowing rate operations on non-periodic flows
·
Jan 16, 2019
ffort_mode_change
cd5a8fc2
·
Summary: typo fix
·
May 09, 2019
ffort_aer
5022e3ac
·
Summary: Improved code generation with Erika
·
Jul 01, 2019
ffort_simulated_wrapper
28f6bb29
·
[prelude] Simulated wrapper is done
·
Jan 25, 2023
main
default
protected
d3deaffe
·
[prelude] Switched to dune/opam. Added a "simulated" wrapper. Does not...
·
Feb 02, 2023
ffort_struct
ccf6ab45
·
[prelude] Added support for "custom" types. Syntax is `type <typename> =...
·
Feb 16, 2023
ffort_rsl
19557413
·
Merge branch 'ffort_struct' into ffort_rsl
·
Mar 03, 2023