Programming Languages Research Group: Git

-rw-r--r--	953	.gitignore	blob \| history \| raw
-rw-r--r--	345	.travis.yml	blob \| history \| raw
-rw-r--r--	11358	LICENSE-2.0.txt	blob \| history \| raw
-rw-r--r--	1241	README.md	blob \| history \| raw
drwxr-xr-x	-	bin	tree \| history
-rw-r--r--	6865	build.gradle	blob \| history \| raw
drwxr-xr-x	-	docs	tree \| history
drwxr-xr-x	-	examples	tree \| history
drwxr-xr-x	-	gradle	tree \| history
-rwxr-xr-x	5916	gradlew	blob \| history \| raw
-rw-r--r--	2941	gradlew.bat	blob \| history \| raw
-rw-r--r--	15333	jpf.properties	blob \| history \| raw
drwxr-xr-x	-	lib	tree \| history
-rw-r--r--	1942	main.jpf	blob \| history \| raw
-rw-r--r--	1942	main_alarms.jpf	blob \| history \| raw
-rw-r--r--	1942	main_cameras.jpf	blob \| history \| raw
-rw-r--r--	1942	main_dimmers.jpf	blob \| history \| raw
-rw-r--r--	1942	main_lights.jpf	blob \| history \| raw
-rw-r--r--	1942	main_location.jpf	blob \| history \| raw
-rw-r--r--	1942	main_locks.jpf	blob \| history \| raw
-rw-r--r--	1942	main_musicplayers.jpf	blob \| history \| raw
-rw-r--r--	1942	main_relayswitches.jpf	blob \| history \| raw
-rw-r--r--	1929	main_speeches.jpf	blob \| history \| raw
-rw-r--r--	1942	main_speechsynthesizers.jpf	blob \| history \| raw
-rw-r--r--	1942	main_switches.jpf	blob \| history \| raw
-rw-r--r--	1942	main_thermostats.jpf	blob \| history \| raw
-rw-r--r--	1942	main_valves.jpf	blob \| history \| raw
-rw-r--r--	0	moreStatistics	blob \| history \| raw
-rwxr-xr-x	822	run.sh	blob \| history \| raw
-rw-r--r--	30	settings.gradle	blob \| history \| raw
drwxr-xr-x	-	src	tree \| history