matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commit

]> matita.cs.unibo.it Git - pkg-cerco/acc-trusted.git/commit

author	Claudio Sacerdoti Coen <claudio@zenone.casamia.org>
	Tue, 30 Apr 2013 16:58:09 +0000 (18:58 +0200)
committer	Claudio Sacerdoti Coen <claudio@zenone.casamia.org>
	Tue, 30 Apr 2013 16:58:09 +0000 (18:58 +0200)
commit	d549e01e37d9b10e96f60e64a1814f5a9208e283
tree	75fe05f526181082d331258aa53f2c7dea8202a2	tree \| snapshot
parent	b4da02b8856ccc723c707618038f6a5c3bf223e2	commit \| diff

Imported Upstream version 0.2

27 files changed:

.build.swp	[new file with mode: 0644]	blob
extracted/aSM.ml		diff \| blob \| history
extracted/aSMCosts.ml		diff \| blob \| history
extracted/abstractStatus.ml		diff \| blob \| history
extracted/abstractStatus.mli		diff \| blob \| history
extracted/compiler.ml		diff \| blob \| history
extracted/compiler.mli		diff \| blob \| history
extracted/fetch.ml		diff \| blob \| history
extracted/fetch.mli		diff \| blob \| history
extracted/globalenvs.ml		diff \| blob \| history
extracted/interpret2.ml		diff \| blob \| history
extracted/interpret2.mli		diff \| blob \| history
extracted/joint_printer.ml		diff \| blob \| history
extracted/lINToASM.ml		diff \| blob \| history
extracted/policy.ml		diff \| blob \| history
extracted/policy.mli		diff \| blob \| history
extracted/policyFront.ml		diff \| blob \| history
extracted/policyFront.mli		diff \| blob \| history
extracted/policyStep.ml		diff \| blob \| history
extracted/policyStep.mli		diff \| blob \| history
extracted/semantics.ml		diff \| blob \| history
extracted/semantics.mli		diff \| blob \| history
extracted/simplifyCasts.ml		diff \| blob \| history
extracted/status.ml		diff \| blob \| history
extracted/switchRemoval.ml		diff \| blob \| history
extracted/toCminor.ml		diff \| blob \| history
extracted/toRTLabs.ml		diff \| blob \| history

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