cakeml/pancake/ta_progs at master · CakeML/cakeml

Name		Name	Last commit message	Last commit date
parent directory ..
Holmakefile		Holmakefile
README.md		README.md
flashing_led.out		flashing_led.out
flashing_led_with_button.out		flashing_led_with_button.out
flashing_led_with_invariant.out		flashing_led_with_invariant.out
readmePrefix		readmePrefix

README.md

Some sample timed automata (TA) programs.