Skip to content
GitLab
Explore
Sign in
verimag
bip
IFinder
Repository
Branches
Overview
Active
Stale
All
Stale branches
master
default
c2f7d2c7
·
Added CeCILL-B License.
·
Jan 26, 2018
real-time-souha
b7e0cd8e
·
added intermediate report on tackling the urgency aspect with the demo
·
Apr 20, 2018
real-time-deborah
d62ca65e
·
Assert addition for clearer code.
·
Nov 23, 2018
real-time-marius
dc263a9c
·
bug fixed: clock bound assertion badly translated from guest
·
Apr 03, 2020