# # ChangeLog for src/joint/blocks.ma # # Generated by Trac 1.2 # Apr 17, 2021, 2:34:18 PM 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 ... Thu, 19 Jul 2012 12:42:02 GMT tranquil [2214] * src/ERTL/ERTLToLTL_paolo.ma (modified) * src/ERTL/ERTL_paolo.ma (modified) * src/ERTL/liveness_paolo.ma (modified) * src/LIN/LIN_paolo.ma (modified) * src/LIN/joint_LTL_LIN_paolo.ma (modified) * src/LTL/LTL_paolo.ma (modified) * src/RTL/RTLTailcall_paolo.ma (modified) * src/RTL/RTLToERTL_paolo.ma (modified) * src/RTL/RTL_paolo.ma (modified) * src/RTLabs/RTLabsToRTL_paolo.ma (modified) * src/joint/Joint_paolo.ma (modified) * src/joint/TranslateUtils_paolo.ma (modified) * src/joint/blocks.ma (modified) * src/joint/linearise.ma (modified) * src/joint/semanticsUtils_paolo.ma (modified) * src/joint/semantics_paolo.ma (modified) * changed order of parameters of joint_internal_function and genv in ... 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 Fri, 06 Jul 2012 09:25:43 GMT tranquil [2155] * src/RTL/RTL_paolo.ma (modified) * src/RTLabs/RTLabsToRTL_paolo.ma (modified) * src/common/Identifiers.ma (modified) * src/joint/Joint_paolo.ma (modified) * src/joint/TranslateUtils_paolo.ma (modified) * src/joint/blocks.ma (modified) * src/utilities/bindLists.ma (modified) updates to blocks and RTLabs to RTL translation (which sidesteps ... Fri, 08 Jun 2012 21:33:18 GMT sacerdot [2042] * src/joint/blocks.ma (modified) Repaired (Type => DeqSet) Tue, 15 May 2012 15:51:25 GMT tranquil [1949] * src/common/Errors.ma (modified) * src/common/IOMonad.ma (modified) * src/common/Identifiers.ma (modified) * src/common/StructuredTraces.ma (modified) * src/joint/Joint_paolo.ma (modified) * src/joint/blocks.ma (modified) * src/joint/semantics_blocks.ma (modified) * src/joint/semantics_paolo.ma (modified) * src/utilities/extralib.ma (modified) * src/utilities/lists.ma (modified) * src/utilities/monad.ma (modified) * src/utilities/option.ma (modified) * lemma trace rel to eq flatten trace * some more properties of ... Thu, 26 Apr 2012 15:38:07 GMT fguidi [1908] * src/ASM/Util.ma (modified) * src/ASM/Vector.ma (modified) * src/common/Identifiers.ma (modified) * src/joint/Joint_paolo.ma (modified) * src/joint/blocks.ma (modified) * src/utilities/proper.ma (modified) notation fixup following last commit of matita we shifted the levels ... Fri, 06 Apr 2012 18:02:10 GMT tranquil [1882] * src/ASM/ASM.ma (modified) * src/ASM/Status.ma (modified) * src/ASM/Util.ma (modified) * src/RTL/RTL_paolo.ma (modified) * src/RTLabs/RTLabsToRTL_paolo.ma (modified) * src/RTLabs/semantics.ma (modified) * src/common/AST.ma (modified) * src/common/Errors.ma (modified) * src/common/Graphs.ma (modified) * src/common/IOMonad.ma (modified) * src/common/Identifiers.ma (modified) * src/common/LabelledObjects.ma (added) * src/common/Pointers.ma (modified) * src/common/PositiveMap.ma (modified) * src/joint/BEMem.ma (modified) * src/joint/Joint_paolo.ma (modified) * src/joint/TranslateUtils_paolo.ma (modified) * src/joint/blocks.ma (added) * src/joint/semanticsUtils_paolo.ma (modified) * src/joint/semantics_blocks.ma (added) * src/joint/semantics_paolo.ma (modified) * src/utilities/bindLists.ma (modified) * src/utilities/extralib.ma (modified) * src/utilities/lists.ma (modified) * src/utilities/monad.ma (modified) * src/utilities/option.ma (modified) * src/utilities/state.ma (modified) * src/utilities/trace.ma (modified) big update, alas incomplete: joint changed a bit, and all BE ...