Context Navigation

IOMonad.ma

	Rev	Age	Author	Log Message
(edit)	@2145	9 years	campbell	Cost labelling doesn't affect interaction.
(edit)	@2044	9 years	campbell	PCs for RTLabs structured traces.
(edit)	@1976	9 years	tranquil	* monads: just changed some defs, which had to be propagated in some …
(edit)	@1949	9 years	tranquil	* lemma trace rel to eq flatten trace * some more properties of …
(edit)	@1930	9 years	campbell	Tidy up labelling simulation stuff a bit.
(edit)	@1920	9 years	campbell	Most of the labelling simulation. Still need to sort out switch …
(edit)	@1882	9 years	tranquil	big update, alas incomplete: joint changed a bit, and all BE languages …
(edit)	@1647	9 years	tranquil	* corrected some notation problems * adapted Cligth with slight …
(edit)	@1640	9 years	tranquil	* finished fork of semantics.ma * unification of Errors under the …
(edit)	@1601	9 years	sacerdot	Files ported to new version of the standard library.
(edit)	@1599	9 years	sacerdot	Start of merging of stuff into the standard library of Matita.
(edit)	@797	10 years	campbell	Add error messages wherever the error monad is used. Sticks to …
(edit)	@700	10 years	campbell	Get Clight semantics going again (except for problems CexecEquiv? that …
(copy)	@695	10 years	campbell	Rearrange Clight files a bit - will try to make them work again soon…
copied from src/Clight/IOMonad.ma:
(copy)	@694	10 years	campbell	Start moving Clight into common directory.

Note: See TracRevisionLog for help on using the revision log.