Programming Languages Research Group: Git

Adding different main.jpf files for different detections.

14 files changed:

main.jpf		diff \| blob \| history
main_alarms.jpf	[new file with mode: 0644]	blob
main_cameras.jpf	[new file with mode: 0644]	blob
main_dimmers.jpf	[new file with mode: 0644]	blob
main_lights.jpf	[new file with mode: 0644]	blob
main_location.jpf	[new file with mode: 0644]	blob
main_locks.jpf	[new file with mode: 0644]	blob
main_musicplayers.jpf	[new file with mode: 0644]	blob
main_relayswitches.jpf	[new file with mode: 0644]	blob
main_speeches.jpf	[new file with mode: 0644]	blob
main_speechsynthesizers.jpf	[new file with mode: 0644]	blob
main_switches.jpf	[new file with mode: 0644]	blob
main_thermostats.jpf	[new file with mode: 0644]	blob
main_valves.jpf	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.