#
# ChangeLog for LTS
#
# Generated by Trac 1.2
# Dec 7, 2019, 3:07:36 PM

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.


Thu, 04 Jul 2013 10:17:58 GMT sacerdot [3381]
	* LTS/StaticAnalysis.ma (added)

	Pen&paper style hypotheses and statements for the static-dynamic ...


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

	Added definition of measurable trace


Tue, 02 Jul 2013 09:58:06 GMT sacerdot [3379]
	* LTS/Vm.ma (modified)

	Semantics completed.


Tue, 02 Jul 2013 09:38:41 GMT sacerdot [3378]
	* LTS/Common.ma (added)
	* LTS/Vm.ma (added)

	- Stuff common to both languages is now in Common.ma
	- object ...


Tue, 02 Jul 2013 09:37:46 GMT sacerdot [3377]
	* LTS/Imp.ma (modified)

	- emit l removed
	+ io l1 l2

	The semantics has been changed so that ...


Mon, 01 Jul 2013 15:55:43 GMT sacerdot [3376]
	* LTS/Imp.ma (modified)

	Semantics fixed: the value of the anonymous variable was corrupted by ...


Mon, 01 Jul 2013 15:53:11 GMT sacerdot [3375]
	* LTS/Imp.ma (added)

	Imp language and its labelled-SOS.

	- The language has function ...


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




Mon, 01 Jul 2013 14:34:46 GMT sacerdot [3373]
	* LTS/root (added)

	...


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 ...