 Samuel Thibault
|
53d6f965c9
Fix propagating logcheck error in recursion
|
10 vuotta sitten |
|
Samuel Thibault
|
5a4875cb60
Make make showcheck look for ubsan output
|
10 vuotta sitten |
 Nathalie Furmento
|
802a261a06
fix inria copyright
|
10 vuotta sitten |
|
Nathalie Furmento
|
6fb6f287aa
Makefile.am: link with SCIF and COI libraries
|
10 vuotta sitten |
|
Nathalie Furmento
|
5863c68c7e
sc_hypervisor/examples/Makefile.am: followup to #12612
|
11 vuotta sitten |
 Andra Hugo
|
bfb858fe1d
Add hierarchical contexts
|
11 vuotta sitten |
|
Andra Hugo
|
054afc9556
allow calling the resizing linear programs from the appl
|
12 vuotta sitten |
|
Andra Hugo
|
f2d6fafd49
fix examples of hyp compilation + add default value for the resize triggering criteria
|
12 vuotta sitten |
|
Andra Hugo
|
545f5f5b3b
rename hyp last step
|
12 vuotta sitten |
|
Andra Hugo
|
a1fffeb7c8
rename hyp step1
|
12 vuotta sitten |
