 Samuel Thibault
|
8baaa50fbd
port r17406-17407 from 1.2: factorize showcheck rule
|
9 年 前 |
|
Samuel Thibault
|
051ea58d30
fix grep pattern
|
10 年 前 |
|
Samuel Thibault
|
37857129d2
Fix catching asan and tsan warnings or errors
|
10 年 前 |
|
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 年 前 |
