Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Kairos
GemocBackends
KLightAnimationBackendForGemoc
Repository
Branches
Overview
Active
Stale
All
master
default
protected
3bae370f
·
allow for animation on concepts without linked clock
·
Jul 20, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
develop
38cc6ac4
·
manifest update
·
Aug 19, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
model_time_graphs
07839a42
·
runstar translation update
·
Jul 22, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
RunStaR_sketch
98e76d7d
·
v0 of RunStaR sketch
·
Jul 07, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
variable_dev
9441dc16
·
major cleaning and refactor to avoid code duplication & add of an...
·
Jul 02, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar