GitHub - dspacenet/sccp: Maude implementation of SCCP

Name		Name	Last commit message	Last commit date
Latest commit History 37 Commits
.gitignore		.gitignore
ccp.maude		ccp.maude
ccprl.maude		ccprl.maude
ccprl2.maude		ccprl2.maude
collatz.maude		collatz.maude
copy-040817-sccp.maude		copy-040817-sccp.maude
copy-10-08-17.sccp.maude		copy-10-08-17.sccp.maude
copy-sccp.maude		copy-sccp.maude
cp-08-11-17-sccp.maude		cp-08-11-17-sccp.maude
fact.maude		fact.maude
gen-tree.maude		gen-tree.maude
linear.maude		linear.maude
list-cons.maude		list-cons.maude
machine-int.maude		machine-int.maude
maude.linux64		maude.linux64
metaInterpreter.maude		metaInterpreter.maude
model-checker.maude		model-checker.maude
prelude.maude		prelude.maude
results-ccp.maude		results-ccp.maude
sccp-18-04-18.maude		sccp-18-04-18.maude
sccp-meta.maude		sccp-meta.maude
sccp-rocha-feedback.maude		sccp-rocha-feedback.maude
sccp-temp.maude		sccp-temp.maude
sccp.1.maude		sccp.1.maude
sccp.maude		sccp.maude
sccp2.maude		sccp2.maude
sccp26.maude		sccp26.maude
sccpUnless.maude		sccpUnless.maude
smt.maude		smt.maude
socket.maude		socket.maude
term-order.maude		term-order.maude

Provide feedback