# # ChangeLog for src/joint/Traces.ma # # Generated by Trac 1.2 # Apr 10, 2021, 4:06:52 PM Thu, 22 Nov 2012 17:40:31 GMT piccolo [2484] * src/joint/Traces.ma (modified) * src/joint/lineariseProof.ma (modified) * src/joint/semantics.ma (modified) fixed Traces and semantics added commutation record (not yet ... Tue, 20 Nov 2012 17:40:08 GMT piccolo [2481] * src/joint/Traces.ma (modified) * src/joint/linearise.ma (modified) * src/joint/lineariseProof.ma (modified) * src/joint/semantics.ma (modified) corrected some inconsistencies fixed some of lineariseProof Tue, 20 Nov 2012 12:41:58 GMT tranquil [2477] * src/common/StatusSimulation.ma (modified) * src/joint/Traces.ma (modified) status_simulation reformulated definition of joint_classify split up ... Fri, 16 Nov 2012 17:59:24 GMT tranquil [2473] * src/common/extraGlobalenvs.ma (added) * src/joint/Traces.ma (modified) * src/joint/linearise.ma (modified) * src/joint/semantics.ma (modified) put some generic stuff we need in the back end in extraGlobalenvs ... Thu, 15 Nov 2012 18:06:45 GMT tranquil [2470] * src/common/ByteValues.ma (modified) * src/joint/Traces.ma (modified) * src/joint/semantics.ma (modified) * src/joint/semanticsUtils.ma (modified) completely separated program counters from code pointers in joint ... Tue, 13 Nov 2012 10:30:23 GMT tranquil [2457] * src/common/StatusSimulation.ma (modified) * src/joint/Joint.ma (modified) * src/joint/Traces.ma (modified) * src/joint/semantics.ma (modified) * src/joint/semanticsUtils.ma (moved) rewritten function handling in joint swapped call_rel with ret_rel ... Thu, 08 Nov 2012 13:27:54 GMT tranquil [2443] * src/ERTL/ERTLToLTL.ma (modified) * src/LIN/LINToASM.ma (modified) * src/LIN/joint_LTL_LIN_semantics.ma (modified) * src/LIN/semantics.ma (modified) * src/LTL/semantics.ma (modified) * src/common/ByteValues.ma (modified) * src/joint/SemanticUtils.ma (modified) * src/joint/Traces.ma (modified) * src/joint/TranslateUtils.ma (modified) * src/joint/lineariseProof.ma (modified) * src/joint/semantics.ma (modified) * src/utilities/deqsets.ma (modified) * src/utilities/lists.ma (modified) changed joint's stack pointer and internal stack Wed, 07 Nov 2012 17:12:20 GMT piccolo [2442] * src/joint/Traces.ma (modified) * src/joint/lineariseProof.ma (added) Traces repaired. (By Paolo) Statement of lineariseProof in place. Tue, 30 Oct 2012 15:23:09 GMT tranquil [2422] * src/joint/Joint.ma (modified) * src/joint/SemanticUtils.ma (modified) * src/joint/Traces.ma (modified) * src/joint/blocks.ma (modified) * src/joint/linearise.ma (modified) * src/joint/semantics.ma (modified) * src/joint/semantics_blocks.ma (modified) adapted joint to cl_call f Thu, 02 Aug 2012 13:18:11 GMT tranquil [2286] * src/ASM/I8051.ma (modified) * src/ASM/Util.ma (modified) * src/ASM/Vector.ma (modified) * src/ERTL/ERTL.ma (modified) * src/ERTL/ERTLToLTL.ma (modified) * src/ERTL/ERTLToLTL_paolo.ma (deleted) * src/ERTL/ERTL_paolo.ma (deleted) * src/ERTL/Interference.ma (modified) * src/ERTL/Interference_paolo.ma (deleted) * src/ERTL/liveness.ma (modified) * src/ERTL/liveness_paolo.ma (deleted) * src/ERTL/semantics.ma (modified) * src/ERTL/semantics_paolo.ma (deleted) * src/LIN/LIN.ma (modified) * src/LIN/LINToASM.ma (modified) * src/LIN/LIN_paolo.ma (deleted) * src/LIN/joint_LTL_LIN.ma (modified) * src/LIN/joint_LTL_LIN_paolo.ma (deleted) * src/LIN/joint_LTL_LIN_semantics.ma (modified) * src/LIN/joint_LTL_LIN_semantics_paolo.ma (deleted) * src/LIN/semantics.ma (modified) * src/LIN/semantics_paolo.ma (deleted) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/LTL/LTLToLIN_paolo.ma (deleted) * src/LTL/LTL_paolo.ma (deleted) * src/LTL/semantics.ma (modified) * src/LTL/semantics_paolo.ma (deleted) * src/RTL/RTL.ma (modified) * src/RTL/RTLTailcall.ma (modified) * src/RTL/RTLTailcall_paolo.ma (deleted) * src/RTL/RTLToERTL.ma (modified) * src/RTL/RTLToERTL_paolo.ma (deleted) * src/RTL/RTL_paolo.ma (deleted) * src/RTL/semantics.ma (modified) * src/RTL/semantics_paolo.ma (deleted) * src/RTLabs/RTLabsToRTL.ma (modified) * src/RTLabs/RTLabsToRTL_paolo.ma (deleted) * src/common/AST.ma (modified) * src/common/BackEndOps.ma (added) * src/common/ByteValues.ma (modified) * src/common/ByteValues_paolo.ma (deleted) * src/common/FrontEndVal.ma (modified) * src/common/Registers.ma (modified) * src/compiler.ma (modified) * src/joint/BEMem.ma (modified) * src/joint/Joint.ma (modified) * src/joint/Joint_paolo.ma (deleted) * src/joint/SemanticUtils.ma (modified) * src/joint/Traces.ma (modified) * src/joint/TranslateUtils.ma (modified) * src/joint/TranslateUtils_paolo.ma (deleted) * src/joint/blocks.ma (modified) * src/joint/linearise.ma (modified) * src/joint/semantics.ma (modified) * src/joint/semanticsUtils_paolo.ma (deleted) * src/joint/semantics_paolo.ma (deleted) * src/utilities/extranat.ma (modified) Big update! * merge of all _paolo variants * reorganised some ... Mon, 16 Jul 2012 14:59:09 GMT tranquil [2186] * src/RTL/RTL_paolo.ma (modified) * src/common/StructuredTraces.ma (modified) * src/joint/Joint_paolo.ma (modified) * src/joint/Traces.ma (moved) * src/joint/blocks.ma (modified) * src/joint/semantics_blocks.ma (modified) * src/joint/semantics_paolo.ma (modified) updated joint semantics Mon, 21 May 2012 17:04:21 GMT tranquil [1976] * src/ASM/CostsProof.ma (modified) * src/common/IOMonad.ma (modified) * src/common/StructuredTraces.ma (modified) * src/joint/Joint_paolo.ma (modified) * src/joint/as_semantics.ma (added) * src/joint/semantics_paolo.ma (modified) * src/utilities/bind_new.ma (added) * src/utilities/monad.ma (modified) * src/utilities/option.ma (modified) * src/utilities/permutations.ma (added) * src/utilities/state.ma (modified) * monads: just changed some defs, which had to be propagated in some ...