Skip to content
Snippets Groups Projects
Select Git revision
  • 51d8d46c3578ec8ee269a295f7932b2ae53baef3
  • master default protected
  • release/1.1.4
  • release/1.1.3
  • release/1.1.1
  • 1.4.1
  • 1.4.0
  • 1.3.0
  • 1.2.1
  • 1.2.0
  • 1.1.5
  • 1.1.4
  • 1.1.3
  • 1.1.1
  • 1.1.0
  • 1.0.9
  • 1.0.8
  • 1.0.7
  • v1.0.5
  • 1.0.5
20 results

settings.gradle

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    Makefile 337 B 
    build/libs/TLA2B.jar: src/main/java/de/tla2b/*/*.java src/main/java/de/tla2b/*.java src/main/java/de/tla2bAst/*.java build.gradle
	gradle createJar
install: build/libs/TLA2B.jar
	cp build/libs/TLA2B.jar ../../prob_prolog/lib/

test: build/libs/TLA2B.jar
	java -jar build/libs/TLA2B.jar $(FILE).tla
	probcli $(FILE).prob -ppf user_output