# # ChangeLog for src/LTL/LTL.ma # # Generated by Trac 1.2 # Apr 16, 2021, 4:54:16 AM Fri, 02 Sep 2011 09:36:15 GMT sacerdot [1168] * src/ERTL/ERTL.ma (modified) * src/ERTL/ERTLToLTL.ma (modified) * src/LIN/LIN.ma (modified) * src/LIN/LINToASM.ma (modified) * src/LTL/LTL.ma (modified) Joint statements parameterized over a record. 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 ... Thu, 01 Sep 2011 14:53:01 GMT mulligan [1164] * src/LIN/JointLTLLIN.ma (modified) * src/LIN/LIN.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) ltl to lin working again, more changes to joint syntax Thu, 01 Sep 2011 14:23:42 GMT mulligan [1163] * src/ERTL/ERTL.ma (modified) * src/ERTL/ERTLToLTL.ma (modified) * src/ERTL/semantics.ma (modified) * src/LIN/JointLTLLIN.ma (modified) * src/LIN/LIN.ma (modified) * src/LTL/LTL.ma (modified) even more streamlining and fixes to get things type checking Wed, 31 Aug 2011 16:24:03 GMT mulligan [1161] * src/ASM/Util.ma (modified) * src/ERTL/ERTL.ma (modified) * src/ERTL/ERTLToLTL.ma (modified) * src/ERTL/semantics.ma (modified) * src/LIN/JointLTLLIN.ma (modified) * src/LTL/LTL.ma (modified) changes from today: merged ertl, ltl and lin into one datatype to ... Mon, 29 Aug 2011 15:30:25 GMT mulligan [1132] * src/LIN/JointLTLLIN.ma (modified) * src/LIN/LIN.ma (modified) * src/LTL/LTL.ma (modified) reunified ltl and lin instruction type, removing lifting in ltl and ... Wed, 24 Aug 2011 16:45:01 GMT mulligan [1110] * src/ERTL/ERTLToLTL.ma (modified) * src/LIN/JointLTLLIN.ma (modified) * src/LIN/LIN.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) changes to get ltl to lin pass to work properly Wed, 27 Jul 2011 15:50:25 GMT mulligan [1089] * src/ASM/I8051.ma (modified) * src/LIN/JointLTLLIN.ma (modified) * src/LTL/LTL.ma (modified) * src/RTL/RTL.ma (modified) * src/RTL/RTLinterpret.ma (added) more changes from earlier in the week Wed, 20 Jul 2011 15:17:38 GMT mulligan [1082] * src/ERTL/ERTL.ma (modified) * src/ERTL/ERTLToLTL.ma (modified) * src/ERTL/ERTLToLTLI.ma (added) * src/ERTL/Liveness.ma (modified) * src/ERTL/Uses.ma (modified) * src/LIN/JointLTLLIN.ma (modified) * src/LTL/LTL.ma (modified) * src/common/Graphs.ma (modified) work from today on ertl -> ltl pass Mon, 18 Apr 2011 10:30:53 GMT mulligan [757] * src/ASM/ASM.ma (modified) * src/ASM/Assembly.ma (modified) * src/ASM/I8051.ma (modified) * src/ASM/Interpret.ma (modified) * src/ASM/Status.ma (modified) * src/ERTL/ERTLToLTL.ma (modified) * src/LIN/JointLTLLIN.ma (modified) * src/LIN/LIN.ma (modified) * src/LIN/LINToASM.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/common/AST.ma (modified) * src/common/CostLabel.ma (modified) * src/common/Identifiers.ma (modified) * src/common/Registers.ma (modified) Lots more fixing to get both front and backends using same ... Thu, 14 Apr 2011 15:54:37 GMT mulligan [753] * src/ERTL/ERTL.ma (modified) * src/ERTL/ERTLToLTL.ma (modified) * src/LTL/Branch.ma (deleted) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/common/Identifiers.ma (modified) * src/utilities/BitVectorTrieSet.ma (modified) Work from today. Wed, 30 Mar 2011 10:34:25 GMT mulligan [723] * src/CHANGES (modified) * src/LIN/LIN.ma (modified) * src/LIN/LINToASM.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) Added dependent type internalising the invariant that LIN function ... Tue, 29 Mar 2011 16:32:47 GMT mulligan [722] * src/ASM/ASM.ma (modified) * src/LIN/LIN.ma (modified) * src/LIN/LINToASM.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/LTL/LTLToLINI.ma (modified) * src/common/AST.ma (modified) Committing changes from today. Several files do not typecheck. Tue, 29 Mar 2011 12:29:12 GMT mulligan [716] * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (modified) * src/LTL/LTLToLINI.ma (added) Finished translating LTL statements to LIN statements. Need to ... Tue, 29 Mar 2011 10:24:45 GMT mulligan [714] * src/ASM/ASM.ma (modified) * src/LIN/LIN.ma (modified) * src/LTL/LTL.ma (modified) * src/LTL/LTLToLIN.ma (added) * src/common/AST.ma (modified) Work on translation from LTL to LIN. Tue, 29 Mar 2011 09:48:33 GMT mulligan [713] * src/LTL (added) * src/LTL/LTL.ma (added) Commit of initial LTL files.