#
# ChangeLog for src/joint/StatusSimulationHelper.ma
#
# Generated by Trac 1.2
# Dec 12, 2019, 3:42:50 AM

Wed, 17 Apr 2013 12:53:45 GMT piccolo [3154]
	* src/common/StatusSimulation.ma (modified)
	* src/joint/StatusSimulationHelper.ma (modified)
	* src/joint/StatusSimulationUtils.ma (added)
	* src/joint/joint_semantics.ma (modified)

	1) changed block_of_call in order to prevent pre-main calls
	2) ...


Wed, 10 Apr 2013 16:45:40 GMT piccolo [3118]
	* Deliverables/D4.4 (added)
	* Deliverables/D4.4/draft.tex (added)
	* src/joint/StatusSimulationHelper.ma (modified)

	1) finished return case in StatusSimulationHelper

	2) started to ...


Mon, 01 Apr 2013 15:18:05 GMT piccolo [3050]
	* src/RTLabs/RTLabs_traces.ma (modified)
	* src/common/ExtraMonads.ma (modified)
	* src/joint/StatusSimulationHelper.ma (modified)
	* src/utilities/listb_extra.ma (modified)

	1) Added general commutation theorem for monads.

	2) Added some ...


Wed, 27 Mar 2013 20:57:13 GMT piccolo [2991]
	* src/ERTL/ERTLtoERTLptrOK.ma (modified)
	* src/common/StatusSimulation.ma (modified)
	* src/joint/StatusSimulationHelper.ma (modified)
	* src/joint/Traces.ma (modified)

	Fixed cond and seq case in StatusSimulationHelper

	Added cost case ...


Fri, 22 Mar 2013 18:16:17 GMT sacerdot [2940]
	* src/ERTL/ERTLtoERTLptrOK.ma (modified)
	* src/ERTLptr/ERTLptrToLTLProof.ma (modified)
	* src/joint/StatusSimulationHelper.ma (modified)

	1. StatusSimulationHelper changed to allow to use status_rel that ...


Fri, 22 Mar 2013 09:11:53 GMT sacerdot [2939]
	* src/joint/StatusSimulationHelper.ma (modified)

	Major problem: in order to accomodate the ERTLptrToLTL proof pass, ...


Mon, 18 Mar 2013 09:03:37 GMT piccolo [2898]
	* src/ERTL/ERTLtoERTLptrOK.ma (modified)
	* src/ERTLptr/ERTLptrToLTLProof.ma (modified)
	* src/joint/StatusSimulationHelper.ma (modified)

	1) simplification of cond and seq case for StatusSimulationHelper ...


Sat, 16 Mar 2013 09:42:43 GMT piccolo [2891]
	* src/ERTL/ERTLtoERTLptrOK.ma (modified)
	* src/ERTL/ERTLtoERTLptrUtils.ma (modified)
	* src/joint/StatusSimulationHelper.ma (modified)

	added precondition on seq statement and tested correct in the ERTl- ...


Fri, 15 Mar 2013 18:19:56 GMT piccolo [2886]
	* src/joint/StatusSimulationHelper.ma (modified)

	partial commit


Fri, 15 Mar 2013 18:06:19 GMT sacerdot [2885]
	* src/joint/StatusSimulationHelper.ma (modified)

	Hint at how to change everything.


Fri, 15 Mar 2013 17:33:18 GMT piccolo [2883]
	* src/ERTL/ERTLtoERTLptrOK.ma (modified)
	* src/ERTLptr/ERTLptrToLTL.ma (modified)
	* src/ERTLptr/ERTLptrToLTLProof.ma (modified)
	* src/ERTLptr/liveness.ma (modified)
	* src/joint/StatusSimulationHelper.ma (modified)
	* src/joint/semantics_blocks.ma (modified)

	partial commit


Wed, 13 Mar 2013 13:22:29 GMT piccolo [2863]
	* src/ERTLptr/ERTLptrToLTLProof.ma (modified)
	* src/joint/Joint.ma (modified)
	* src/joint/StatusSimulationHelper.ma (modified)

	Added new invariant to good_if
	Generalized version of cond case for ...


Tue, 12 Mar 2013 17:51:15 GMT piccolo [2855]
	* src/ERTLptr/ERTLptrToLTLProof.ma (modified)
	* src/joint/StatusSimulationHelper.ma (modified)
	* src/joint/TranslateUtils.ma (modified)

	little bug fixed in TranslateUtils.


Tue, 12 Mar 2013 15:13:21 GMT piccolo [2851]
	* src/ERTLptr/ERTLptrToLTLProof.ma (modified)
	* src/joint/StatusSimulationHelper.ma (added)

	partial commit