Files - kesterel2lustre - compile Kernel Esterel to Lustre

Mode	Name	Size
-rw-r--r--	COPYING	674L
-rw-r--r--	Makefile	8L
-rw-r--r--	README	165L
-rw-r--r--	checker.hs	17L
-rw-r--r--	compile.hs	348L
-rw-r--r--	esterel.hs	43L
-rw-r--r--	label.hs	45L
-rw-r--r--	lustre.hs	31L
-rw-r--r--	main.hs	34L
-rw-r--r--	parse.hs	129L
-rw-r--r--	produce.hs	48L
-rwxr-xr-x	rungolden.sh	81L
-rwxr-xr-x	runtest.sh	54L
-rw-r--r--	scope.hs	51L
-rw-r--r--	test/alwayssuspend.in	21L
-rw-r--r--	test/alwayssuspend.strl	8L
-rw-r--r--	test/asuspend.in	21L
-rw-r--r--	test/asuspend.strl	6L
-rw-r--r--	test/at0.in	27L
-rw-r--r--	test/at0.strl	5L
-rw-r--r--	test/at1.in	27L
-rw-r--r--	test/at1.strl	6L
-rw-r--r--	test/at2.in	27L
-rw-r--r--	test/at2.strl	7L
-rw-r--r--	test/booleanf.in	4L
-rw-r--r--	test/booleanf.strl	20L
-rw-r--r--	test/communication.in	4L
-rw-r--r--	test/communication.strl	8L
-rw-r--r--	test/communication2.in	4L
-rw-r--r--	test/communication2.strl	6L
-rw-r--r--	test/communication3.in	4L
-rw-r--r--	test/communication3.strl	8L
-rw-r--r--	test/id.in	8L
-rw-r--r--	test/id.strl	5L
-rw-r--r--	test/id2.in	8L
-rw-r--r--	test/id2.strl	8L
-rw-r--r--	test/inputsuspend.in	29L
-rw-r--r--	test/inputsuspend.strl	8L
-rw-r--r--	test/inputsuspend2.in	29L
-rw-r--r--	test/inputsuspend2.strl	8L
-rw-r--r--	test/inputsuspend3.in	29L
-rw-r--r--	test/inputsuspend3.strl	8L
-rw-r--r--	test/inputsuspend4.in	29L
-rw-r--r--	test/inputsuspend4.strl	8L
-rw-r--r--	test/inputsuspend5.in	4L
-rw-r--r--	test/inputsuspend5.strl	7L
-rw-r--r--	test/isolation.in	4L
-rw-r--r--	test/isolation.strl	5L
-rw-r--r--	test/logical.in	8L
-rw-r--r--	test/logical.strl	13L
-rw-r--r--	test/looploop.in	30L
-rw-r--r--	test/looploop.strl	7L
-rw-r--r--	test/looppause.in	27L
-rw-r--r--	test/looppause.strl	5L
-rw-r--r--	test/multipar.in	8L
-rw-r--r--	test/multipar.strl	14L
-rw-r--r--	test/multiple.in	2L
-rw-r--r--	test/multiple.strl	6L
-rw-r--r--	test/myabort.in	29L
-rw-r--r--	test/myabort.strl	15L
-rw-r--r--	test/myabort2.in	3L
-rw-r--r--	test/myabort2.strl	10L
-rw-r--r--	test/nestedsignal.in	4L
-rw-r--r--	test/nestedsignal.strl	9L
-rw-r--r--	test/nestedsuspend.in	21L
-rw-r--r--	test/nestedsuspend.strl	11L
-rw-r--r--	test/nothing11.in	27L
-rw-r--r--	test/nothing11.strl	5L
-rw-r--r--	test/nothing23.in	4L
-rw-r--r--	test/nothing23.strl	5L
-rw-r--r--	test/oneofthree.in	27L
-rw-r--r--	test/oneofthree.strl	7L
-rw-r--r--	test/oneoftwo.in	27L
-rw-r--r--	test/oneoftwo.strl	9L
-rw-r--r--	test/order.in	21L
-rw-r--r--	test/order.strl	5L
-rw-r--r--	test/orinputsuspend.in	21L
-rw-r--r--	test/orinputsuspend.strl	9L
-rw-r--r--	test/othertraps.in	8L
-rw-r--r--	test/othertraps.strl	8L
-rw-r--r--	test/parallel1.in	4L
-rw-r--r--	test/parallel1.strl	5L
-rw-r--r--	test/parallel2.in	4L
-rw-r--r--	test/parallel2.strl	5L
-rw-r--r--	test/parallelpause.in	8L
-rw-r--r--	test/parallelpause.strl	8L
-rw-r--r--	test/priority.in	8L
-rw-r--r--	test/priority.strl	7L
-rw-r--r--	test/signalscope.in	4L
-rw-r--r--	test/signalscope.strl	5L
-rw-r--r--	test/simplesuspend.in	21L
-rw-r--r--	test/simplesuspend.strl	8L
-rw-r--r--	test/simplesuspend2.in	21L
-rw-r--r--	test/simplesuspend2.strl	8L
-rw-r--r--	test/suspendnothing.in	10L
-rw-r--r--	test/suspendnothing.strl	5L
-rw-r--r--	test/traps.in	8L
-rw-r--r--	test/traps.strl	14L
-rw-r--r--	test/trivialsuspend.in	21L
-rw-r--r--	test/trivialsuspend.strl	5L
-rwxr-xr-x	testall.sh	39L

	kesterel2lustre compile Kernel Esterel to Lustre
	git clone https://a3nm.net/git/kesterel2lustre/
	Log \| Files \| Refs \| README