Simplify souffle analysis compilation and copy tou souffle analyses cache
Anastasios Antoniadis (approved)
Branch: yanniss/doop-nexgen:master
Branch: yanniss/doop:master
Merged
Merged pull request
Merged in yanniss/doop-nexgen (pull request #16)
Merged in yanniss/doop-nexgen (pull request #16)
Â