Skip to content
GitLab
Explore
Sign in
Forget Julien
prelude
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
fd4295ea
·
Added WATERS challenge in refs.
·
Mar 04, 2024
Stale branches
prelude_new_types
e3eeb2d7
·
·
Jul 01, 2012
compil_propre
66168bdb
·
Modified scripts to perform
·
Jan 16, 2013
add_double_type
82138a45
·
Create branch for handling issue #104
·
Jan 18, 2013
lustre_validator
2536f657
·
cleaning
·
Feb 10, 2013
lustre_simulator
15d635fb
·
Ongoing work
·
Apr 12, 2013