# # ChangeLog for src/joint/Joint.ma # # Generated by Trac 1.2 # Apr 21, 2021, 3:58:54 AM Tue, 13 Dec 2011 13:49:52 GMT sacerdot [1601] * src/ERTL/ERTLToLTL.ma (modified) * src/LIN/LIN.ma (modified) * src/LIN/semantics.ma (modified) * src/RTL/RTLToERTL.ma (modified) * src/RTLabs/RTLabsToRTL.ma (modified) * src/RTLabs/Traces.ma (modified) * src/RTLabs/semantics.ma (modified) * src/common/Errors.ma (modified) * src/common/IOMonad.ma (modified) * src/common/Identifiers.ma (modified) * src/common/PositiveMap.ma (modified) * src/common/StructuredTraces.ma (modified) * src/joint/BEValues.ma (modified) * src/joint/Joint.ma (modified) * src/joint/semantics.ma (modified) Files ported to new version of the standard library. Fri, 28 Oct 2011 13:05:07 GMT mulligan [1471] * src/joint/Joint.ma (modified) * src/joint/ProofUtils.ma (modified) finished erasure and generalised so as to work on arbitrary joint ... Fri, 14 Oct 2011 20:25:03 GMT sacerdot [1380] * src/LIN/joint_LTL_LIN_semantics.ma (added) * src/LIN/semantics.ma (modified) * src/LTL/semantics.ma (modified) * src/joint/Joint.ma (modified) LTL and LIN semantics factorized out in joint_LTL_LIN_semantics.ma. ... Wed, 28 Sep 2011 21:50:32 GMT sacerdot [1282] * src/ERTL/ERTLToLTL.ma (modified) * src/ERTL/Interference.ma (modified) * src/ERTL/build.ma (deleted) * src/ERTL/liveness.ma (modified) * src/LIN/LINToASM.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/RTL/RTLTailcall.ma (modified) * src/RTL/RTLtoERTL.ma (modified) * src/RTLabs/RTLAbstoRTL.ma (modified) * src/joint/Joint.ma (modified) * src/joint/TranslateUtils.ma (modified) Cosmetic change: names of joint statements/instructions shortened and ... Wed, 28 Sep 2011 00:43:37 GMT sacerdot [1280] * src/ERTL/ERTL.ma (modified) * src/LTL/LTL.ma (modified) * src/RTL/RTL.ma (modified) * src/RTL/RTLtoERTL.ma (modified) * src/RTLabs/RTLAbstoRTL.ma (modified) * src/joint/Joint.ma (modified) * src/joint/TranslateUtils.ma (added) Some progress in the porting of RTLAbstoRTL to the joint syntax: 1) ... Mon, 26 Sep 2011 16:07:47 GMT sacerdot [1275] * src/ERTL/ERTLToLTL.ma (modified) * src/ERTL/liveness.ma (modified) * src/ERTL/uses.ma (deleted) * src/LIN/LINToASM.ma (modified) * src/RTL/RTL.ma (modified) * src/RTL/RTLTailcall.ma (modified) * src/RTL/RTLtoERTL.ma (modified) * src/joint/Joint.ma (modified) RTL ported to joint syntax, but: 1. bug discovered: opaccs should ... Mon, 26 Sep 2011 14:24:32 GMT mulligan [1271] * src/ERTL/ERTLToLTL.ma (modified) * src/ERTL/liveness.ma (modified) * src/ERTL/uses.ma (modified) * src/LTL/LTL.ma (modified) * src/joint/Joint.ma (modified) finished, kind of Mon, 26 Sep 2011 13:59:28 GMT sacerdot [1270] * src/ERTL/ERTL.ma (modified) * src/LIN/LIN.ma (modified) * src/LIN/LINToASM.ma (modified) * src/LTL/LTL.ma (modified) * src/RTL/RTL.ma (modified) * src/RTL/RTLTailcall.ma (modified) * src/RTL/RTLtoERTL.ma (modified) * src/joint/Joint.ma (modified) Making RTL syntax an instance of Joint. Fri, 23 Sep 2011 13:04:20 GMT mulligan [1260] * src/ERTL/ERTLToLTL.ma (modified) * src/ERTL/liveness.ma (modified) * src/ERTL/uses.ma (modified) * src/joint/Joint.ma (modified) * src/utilities/extralib.ma (modified) * src/utilities/sigma.ma (added) commit for csc Thu, 22 Sep 2011 14:23:05 GMT sacerdot [1255] * src/joint/Joint.ma (modified) Major mistake fixed: op1 and op2 were assuming the source and dest ... Thu, 22 Sep 2011 14:16:06 GMT sacerdot [1254] * src/ERTL/ERTL.ma (modified) * src/RTL/RTLtoERTL.ma (modified) * src/joint/Joint.ma (modified) More progress towards porting of RTLtoERTL to joint syntax. Thu, 22 Sep 2011 12:49:18 GMT sacerdot [1252] * src/ERTL/ERTL.ma (modified) * src/LTL/LTL.ma (modified) * src/RTL/RTLtoERTL.ma (modified) * src/joint/Joint.ma (modified) graph_params added to joint/Joint.ma, together with useful common ... Thu, 22 Sep 2011 10:02:35 GMT sacerdot [1250] * src/ERTL/ERTLToLTL.ma (modified) * src/ERTL/liveness.ma (modified) * src/ERTL/uses.ma (modified) * src/LIN/LIN.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/RTL/RTLtoERTL.ma (modified) * src/joint/Joint.ma (modified) * src/joint/semantics.ma (modified) * src/utilities/extralib.ma (modified) 1. Sigma types projections moved to utilities/extralib.ma 2. ... Thu, 22 Sep 2011 00:50:44 GMT sacerdot [1246] * src/LIN/LIN.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/joint/Joint.ma (modified) * src/joint/semantics.ma (modified) Yet another change to Joint.ma to accomodate all passes. The ... Wed, 21 Sep 2011 20:22:13 GMT sacerdot [1245] * src/LIN/LINToASM.ma (modified) * src/RTL/RTLtoERTL.ma (modified) * src/joint/Joint.ma (modified) RTLtoERTL and LINToASM: porting to new Joint data type in progress. ... Wed, 21 Sep 2011 13:56:54 GMT sacerdot [1236] * src/LIN/LIN.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/joint/Joint.ma (modified) LTLToLin.ma completed (up to a couple of daemons used to provide dead ... Wed, 21 Sep 2011 09:57:20 GMT sacerdot [1233] * src/LIN/LIN.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/RTL/semantics.ma (modified) * src/common/SmallstepExec.ma (modified) * src/joint/Joint.ma (modified) * src/joint/semantics.ma (modified) 1) Ported to Brian's new dependent type for fullexec 2) Universe ... Mon, 19 Sep 2011 14:52:40 GMT mulligan [1228] * src/ERTL/build.ma (modified) * src/joint/Joint.ma (modified) some more changes Thu, 15 Sep 2011 16:05:31 GMT sacerdot [1220] * src/ERTL/ERTL.ma (modified) * src/joint/Joint.ma (modified) * src/joint/semantics.ma (modified) ERTL ported to the new joint syntax. Mon, 05 Sep 2011 11:23:20 GMT mulligan [1182] * src/joint/Joint.ma (modified) * src/joint/semantics.ma (modified) changes to semantics: removing parameterised "next" element in joint ... Sat, 03 Sep 2011 02:17:48 GMT sacerdot [1176] * src/joint/Joint.ma (modified) * src/joint/semantics.ma (modified) ... Fri, 02 Sep 2011 12:51:20 GMT mulligan [1171] * src/ERTL/ERTL.ma (modified) * src/ERTL/ERTLToLTL.ma (modified) * src/LIN/LIN.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/joint/Joint.ma (modified) changes made on claudio's request: changed order of nesting in the ... Fri, 02 Sep 2011 09:57:45 GMT sacerdot [1169] * src/joint/Joint.ma (modified) JointRTLtoLIN moved to Joint Fri, 02 Sep 2011 08:35:54 GMT mulligan [1167] * src/LIN/LIN.ma (modified) * src/joint/Joint.ma (moved) ... Fri, 02 Sep 2011 08:35:24 GMT mulligan [1166] * src/ERTL/ERTLToLTL.ma (modified) * src/LIN/LIN.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/joint (added) * src/joint/JointLTLLIN.ma (moved) moved joint ltl lin files into their own directory. more changes to ...