Commit Graph

55 Commits (2542c0fda45fae79d0b8d007c9b88ab74ec86dc9)

Author SHA1 Message Date
Salvatore Filippone 11d8c090c8 Begin preparation for applying remap. 6 years ago
Salvatore Filippone e500a8a5b5 Factored level%map_rstr and level%map_prol. 6 years ago
Salvatore Filippone 9e3eb0fdeb Renaming level%linmap and methods. 6 years ago
Salvatore Filippone 0ebf9f1d1c Setup infrastructure for REMAP 6 years ago
Salvatore Filippone d4b443d832 Rename directories, fix Makefiles 6 years ago