Klopp, David (db3c164c) at 28 Mar 17:51
Add AliasElimination to functional and Datalog frontend
Klopp, David (284080f3) at 28 Mar 17:15
Improve AliasElimination to replace variables with parameters
Klopp, David (79afa831) at 26 Mar 16:58
Make micro.dl fast for Souffle and Ascent
Klopp, David (499bd536) at 26 Mar 11:59
Fix FunctionalSouffleExecutorTest
Klopp, David (09b3265f) at 26 Mar 11:49
Add parallel execution to Souffle backend + add log4j for viatra lo...
Klopp, David (cd817513) at 20 Mar 17:59
Make GenerateAscent an object
Klopp, David (e0285084) at 20 Mar 17:50
Minor
Klopp, David (cb3a09b7) at 20 Mar 17:42
Fix environment variables