#
# ChangeLog for LTS/Simulation.ma
#
# Generated by Trac 1.2
# Feb 28, 2021, 9:07:08 PM

Fri, 26 Sep 2014 13:44:01 GMT sacerdot [3504]
	* LTS/Simulation.ma (modified)

	Last commit destroyed my changes: undone.


Wed, 24 Sep 2014 12:49:14 GMT piccolo [3486]
	* LTS/Simulation.ma (modified)
	* LTS/Vm.ma (modified)




Tue, 23 Sep 2014 11:58:43 GMT sacerdot [3484]
	* LTS/Simulation.ma (modified)

	Simulation generalized to two different abstract_status.


Mon, 22 Sep 2014 15:14:56 GMT sacerdot [3479]
	* LTS/Language.ma (modified)
	* LTS/Simulation.ma (modified)

	Repaired.


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


Thu, 20 Feb 2014 09:59:25 GMT piccolo [3449]
	* LTS/Common.ma (deleted)
	* LTS/Imp.ma (deleted)
	* LTS/Language.ma (modified)
	* LTS/Simulation.ma (modified)
	* LTS/StaticAnalysis.ma (deleted)
	* LTS/Vm.ma (modified)

	clean up


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


Thu, 10 Oct 2013 11:07:28 GMT piccolo [3389]
	* LTS/Simulation.ma (modified)

	Ended simulation proof


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


Fri, 19 Jul 2013 15:25:01 GMT sacerdot [3386]
	* LTS/Simulation.ma (modified)

	Something that seems to be working after all.


Fri, 19 Jul 2013 14:38:10 GMT sacerdot [3385]
	* LTS/Simulation.ma (modified)

	...


Fri, 19 Jul 2013 14:36:31 GMT sacerdot [3384]
	* LTS/Simulation.ma (modified)

	Bug found?? We think so.


Thu, 04 Jul 2013 15:59:22 GMT sacerdot [3383]
	* LTS/Simulation.ma (modified)

	Simple simulation conditions and statements added.

	The complex ones ...


Thu, 04 Jul 2013 13:03:41 GMT sacerdot [3382]
	* LTS/Simulation.ma (added)

	The simulation statement.