04.07., 9:00 - 11:00: Due to updates GitLab will be unavailable for some minutes between 09:00 and 11:00.

...
 
Commits (2)
......@@ -3,17 +3,16 @@ Set-up Instructions
1. Clone the repository
2. Run `git submodule update --init` to populate `lib/prism`
3. Run `make` in `lib/prism/prism`
4. Run `./gradlew compileJava` to create the prism.jar and run the annotation processor
5. Import project in IntelliJ, enable gradle auto-import
3. Run `make` in `lib/prism/prism` to compile prism
Note: `./gradlew compileJava` has to be run whenever some of the annotation processor classes is changed.
Users:
Example Configurations
======================
Run `./gradlew distZip` to build and package the tool.
The package can be found under `build/distributions/`
Developers:
* `-m rabin3.nm --unbounded`
* `-m wlan4.nm --const k=0,TRANS_TIME_MAX=10 --bounded 100 --heuristic PROB`
* `-m cyclin.sm --const N=4 --bounded 100 --uniformization 30 --heuristic WEIGHTED`
* `-m zeroconf.nm --const N=1000,K=1000,err=0.01,reset=false --unbounded`
\ No newline at end of file
1. Import project in IntelliJ, enable gradle auto-import
2. Run `./gradlew compileJava` to create the prism.jar and run the annotation processor
Note: `./gradlew compileJava` has to be run whenever some of the annotation processor classes is changed.
\ No newline at end of file