#
# ChangeLog for LTS/Traces.ma
#
# Generated by Trac 1.2
# Feb 25, 2021, 4:48:47 AM

Wed, 24 Sep 2014 13:23:24 GMT sacerdot [3487]
	* LTS/Traces.ma (modified)

	No more i_act.

	Note: we do not ask anywhere that no transitions to ...


Mon, 22 Sep 2014 14:50:21 GMT piccolo [3478]
	* LTS/DICE2014/slides.tex (modified)
	* LTS/Language.ma (modified)
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)
	* LTS/Vm.ma (modified)

	fixed costlabels


Fri, 15 Nov 2013 13:51:50 GMT piccolo [3396]
	* LTS/Language.ma (modified)
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)

	correctness proof in developping


Wed, 30 Oct 2013 09:29:47 GMT piccolo [3394]
	* LTS/Language.ma (added)
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)

	Added abstract language and procedure to add call post labelled


Thu, 10 Oct 2013 15:28:33 GMT piccolo [3391]
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)

	Definition of well formed trace is in the operational semantics


Thu, 10 Oct 2013 12:53:31 GMT piccolo [3390]
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)

	Patched simulation proof, changed definition of silent trace


Tue, 27 Aug 2013 16:11:57 GMT piccolo [3388]
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)
	* src/ERTL/ERTLToLTLProof.ma (modified)

	partial commit


Tue, 23 Jul 2013 14:33:51 GMT piccolo [3387]
	* LTS/Simulation.ma (modified)
	* LTS/Traces.ma (modified)

	unified notation


Tue, 02 Jul 2013 17:25:14 GMT piccolo [3380]
	* LTS/Traces.ma (modified)

	Added definition of measurable trace


Mon, 01 Jul 2013 15:08:00 GMT piccolo [3374]
	* LTS/Traces.ma (modified)




Mon, 01 Jul 2013 14:34:13 GMT piccolo [3372]
	* Deliverables/D1.1/MeetingSchedule.doc (modified)
	* LTS (added)
	* LTS/Traces.ma (added)
	* src/ERTL/ERTLToLTLProof.ma (modified)

	Added new implementation of labelling approach based on LTS and ...