Pending Patches

Jakub Sarnik xsarnik@fi.muni.cz, Sat Jul 24 03:39:00 CEST 2021
lava: Add counit and idtrack domains.
```
A dios/lava/counit.hpp
A dios/lava/idtrack.hpp
```
Jakub Sarnik xsarnik@fi.muni.cz, Sun Jul 25 02:58:45 CEST 2021
lamp: Add simple metadomains for counit and idtrack.
```
A dios/lamp/counit.cpp
A dios/lamp/idtrack.cpp
```
Jakub Sarnik xsarnik@fi.muni.cz, Sun Jul 25 03:20:29 CEST 2021
lamp: Add metaunit metadomain for SHOOP dependence analysis.
```
A dios/lamp/metaunit.cpp
```
Jakub Sarnik xsarnik@fi.muni.cz, Wed Aug 18 01:13:35 CEST 2021
dios: Rename tainted_init to __dios_tainted_init; remove its constructor status.
```
M dios/include/sys/start.h +2
M dios/libc/sys/start.cpp +3
M dios/rst/lart.cpp -1 +2
```
Jakub Sarnik xsarnik@fi.muni.cz, Wed Aug 18 01:24:24 CEST 2021
dios: Call __dios_tainted_init in static configuration scheduler.
```
M dios/config/static.cpp -2 +7
```

Jakub Sarnik xsarnik@fi.muni.cz, Wed Aug 18 01:40:57 CEST 2021
test: Add a few simple counit tests.

A test/abstract/counit/
A test/abstract/counit/aggr-load-a.cpp
A test/abstract/counit/hidden-error.cpp

Jakub Sarnik xsarnik@fi.muni.cz, Wed Aug 18 01:41:47 CEST 2021
test: Add a bunch of simple idtrack tests.

A test/abstract/idtrack/
A test/abstract/idtrack/basic.cpp
A test/abstract/idtrack/combine.cpp
A test/abstract/idtrack/maintain.cpp
A test/abstract/idtrack/max-trackers.cpp
A test/abstract/idtrack/tracker-overflow.cpp

Jakub Sarnik xsarnik@fi.muni.cz, Wed Aug 18 01:44:11 CEST 2021
test: Add some simple metaunit tests.

A test/abstract/metaunit/
A test/abstract/metaunit/counit.cpp
A test/abstract/metaunit/join-combination.cpp
A test/abstract/metaunit/join-counit.cpp
A test/abstract/metaunit/join-unit.cpp
A test/abstract/metaunit/tracker-counit.cpp
A test/abstract/metaunit/tracker-pass.cpp
A test/abstract/metaunit/tracker-unit.cpp
A test/abstract/metaunit/unit.cpp

Jakub Sarnik xsarnik@fi.muni.cz, Tue Oct 26 14:07:47 CEST 2021
cmake: Allow underscores in LAMP src and config file names.
```
M dios/compile-flags.cmake -2 +2
```

stp:abstract	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
stp:refine	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
stp:sym	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
abstract	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✗✗✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
cc	✓✓✓✓✓✓✓✓
demo	✓✓✓✓✓
dios	✓✓✓✓✓✓✓✓✓✓
dioscc	✓✓
dios	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
draw	✓✓
lang-c	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
lang-cpp	✓✓✓✓✓✓✓✓✓✓✓✓✓
lang-c	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
lart	✓✓✓✓
leak	✓✓
libc	✓✓✓✓✓✓✓✓✓✓
libcxx	✓✓✓✓✓✓✓✓✓✓✓✓
liveness	✓✓✓✓✓✓
posix	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
pthread	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
sim	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
undef	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
verify	✓✓✓✓✓✓✓✓✓✓✓✓✓✓
vm	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓
weakmem	✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓✓

summary: 603 passed, 2 failed