atemate / PorthosC

Abstract compilation engine for portability analysis tool Porthos (draft version)
0 stars 1 forks source link

CAT parser + W-model hierarchy #5

Open atemate opened 6 years ago

atemate commented 6 years ago

hierarchy + parser (visitor) + ENCODING + remove old code

atemate commented 6 years ago
atemate commented 6 years ago

see Dat3M repo