Simplify souffle analysis compilation and copy tou souffle analyses cache

Merged
#16 · Created  · Last updated

Merged pull request

Merged in yanniss/doop-nexgen (pull request #16)

4a94ae3·Author: ·Closed by: ·2017-08-18

Description

 

0 attachments

0 comments

Loading commits...