Commit Graph

5 Commits (f3614c9deb4672df3f33aa87d6df7a44fea2b1a5)

Author SHA1 Message Date
Salvatore Filippone 788211c794 Fixes for support to remapping after merging new context. Needs more testing. 4 years ago
Salvatore Filippone e500a8a5b5 Factored level%map_rstr and level%map_prol. 4 years ago
Salvatore Filippone 9e3eb0fdeb Renaming level%linmap and methods. 4 years ago
Salvatore Filippone 0ebf9f1d1c Setup infrastructure for REMAP 4 years ago
Salvatore Filippone d4b443d832 Rename directories, fix Makefiles 4 years ago