Samuel Thibault
|
051ea58d30
fix grep pattern
|
преди 9 години |
Samuel Thibault
|
37857129d2
Fix catching asan and tsan warnings or errors
|
преди 9 години |
Samuel Thibault
|
53d6f965c9
Fix propagating logcheck error in recursion
|
преди 10 години |
Samuel Thibault
|
5a4875cb60
Make make showcheck look for ubsan output
|
преди 10 години |
Nathalie Furmento
|
802a261a06
fix inria copyright
|
преди 10 години |
Nathalie Furmento
|
6fb6f287aa
Makefile.am: link with SCIF and COI libraries
|
преди 10 години |
Nathalie Furmento
|
5863c68c7e
sc_hypervisor/examples/Makefile.am: followup to #12612
|
преди 11 години |
Andra Hugo
|
bfb858fe1d
Add hierarchical contexts
|
преди 11 години |
Andra Hugo
|
054afc9556
allow calling the resizing linear programs from the appl
|
преди 12 години |
Andra Hugo
|
f2d6fafd49
fix examples of hyp compilation + add default value for the resize triggering criteria
|
преди 12 години |
Andra Hugo
|
545f5f5b3b
rename hyp last step
|
преди 12 години |
Andra Hugo
|
a1fffeb7c8
rename hyp step1
|
преди 12 години |