Merge branch 'master' of git.cs.lth.se:noricc/jbrainy

5407d397 · Noric Couderc · 3c763575 · 880a796e · 5407d397 · 87258969
Commit 5407d397 authored Nov 15, 2021 by Noric Couderc
--- a/build.gradle
+++ b/build.gradle
@@ -130,6 +130,7 @@ project(':core') {
    run {
        systemProperty 'java.library.path', papi_library_path
+ 	applicationDefaultJvmArgs = ['-Xmx6g']
        mainClassName = 'se.lth.cs.Main'
        workingDir = '..'
    }

--- a/papi-java @ 87258969
+++ b/papi-java @ 87258969
-Subproject commit 332891a6ffd17b0c805ae1ade437a2793b0e2c58
+Subproject commit 87258969289a2bd12872568749ee152a136c0fe5