Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.023Mar16Jul11109436MaygetMostRecentVersion script updated to also work with GurobimastermasterprepareEnvironmentGcc: Using most recent gurobi versionAvoid getting all email notificationsExample script for reading commands to run from fileMerge branch 'master' of git.rwth-aachen.de:moves/hpc-scriptsMerge branch 'master' of git.rwth-aachen.de:moves/hpc-scriptsadded example python scriptActivate thread safety in storm build scriptBuild script for stormpyStart by cloning all repos such that the password is only needed in the beginning -> /home/tq429871example jobscript to invoke a python scriptExample job scriptsImproved build scriptTried to fix getting root_folder in preparation scriptsStarted on automatic build script for StormSet root folder for preparation scriptsAdded example_slurm_jobscript.shAdded Gereons latest_version.py script.Fixed bug in prepareEnvironmentClang.shAdded prepareEnvironment scripts.ScriptsInitial commit