Timeline
Sep 30, 2013:
- 5:13 PM Changeset [1212] by
- 0.4.26
- 1:19 PM Changeset [1211] by
- Release 0.4.25
- 1:18 PM Changeset [1210] by
- Change the program builder to use #include for IO lib and prelude IO …
Sep 26, 2013:
- 10:16 AM Changeset [1209] by
- Changed overload mechanism for IO from "overload on intent" (like …
Sep 20, 2013:
- 3:19 PM Ticket #219 (Clauses free, generate, retain, etc not recognised) created by
- The latest releases of the Magnolia plugin does not accept the clauses …
Sep 19, 2013:
- 7:16 PM Changeset [1208] by
- Release 0.4.24
- 6:22 PM Changeset [1207] by
- Don't make require imply signatureof
- 6:11 PM Changeset [1206] by
- New plugin fixing axiom_assert problem
- 5:25 PM Changeset [1205] by
- Bump to 0.4.22
- 5:02 PM Changeset [1204] by
- 0.4.21
- 4:45 PM Changeset [1203] by
- Fix some out of memory issues by cutting down on the number of …
Sep 18, 2013:
- 2:24 PM InstallationInstructions edited by
- Corrected Rascal update site. (diff)
- 12:23 PM Changeset [1202] by
- Fix some protect issues Warn about unused protects
Sep 17, 2013:
- 4:22 PM Ticket #218 (merging of operations doesn't take potentially different parameter ...) closed by
- fixed
- 4:21 PM Changeset [1201] by
- 0.4.20
- 4:20 PM Changeset [1200] by
- Fix parameter name problems when merging attributes and bodies + …
- 2:32 PM Ticket #218 (merging of operations doesn't take potentially different parameter ...) created by
Sep 16, 2013:
- 4:07 PM Changeset [1199] by
- 0.4.19
- 4:06 PM Changeset [1198] by
- Fix problem with spaces in installation path
- 2:49 PM InstallationInstructions edited by
- (diff)
- 2:20 PM Changeset [1197] by
- 0.4.18
- 2:11 PM Changeset [1196] by
- Added extra overload for IO of size_t. It seems to be defined as long …
- 2:06 PM Changeset [1195] by
- fix X models Y: don't require definitions
- 1:20 PM Changeset [1194] by
- Corrected catch catch to catch.
- 1:17 PM Changeset [1193] by
- 0.4.17
- 9:23 AM Ticket #210 (Catching errors in executable cmd-block) closed by
- fixed
- 9:23 AM Changeset [1192] by
- Added try-catch block around main program. Catches a string with error …
- 9:11 AM Ticket #217 (Compiler does not warn against undefined entities declared in an ...) created by
- The code below declares a type U and uses it in defining V. Since U is …
- 9:02 AM Ticket #216 (No compiler warning in implementation for use/require error) created by
- In Magnolia an implementation defines new types, functions and …
- 6:54 AM Ticket #198 (Satisfaction: problems with renaming in models clause) closed by
- worksforme: The original problem was that "This causes all operation symbols in …
- 2:58 AM Ticket #215 (Protect: clean up unused declarations) created by
- 2:52 AM Changeset [1191] by
- Add 'approximates' syntax
- 2:52 AM Ticket #103 (approximates in addition to models) closed by
- fixed
- 2:50 AM Ticket #68 (matching operator symbols and ascii name counterparts) closed by
- fixed
- 2:46 AM Ticket #209 (Debug statement in predicate operators.) closed by
- fixed
- 2:45 AM Ticket #202 (Constant size() in array definition) closed by
- wontfix: As far as I can tell, there is no way to fix this from Magnolia. You'd …
- 2:37 AM Changeset [1190] by
- Test case for #192
- 2:33 AM Ticket #195 (implementation does not allow require blocks) closed by
- fixed
- 2:31 AM Milestone m13.08 completed
- 2:31 AM Milestone m13.06 completed
- 2:29 AM Changeset [1189] by
- Allow multiple expectations in top level definition
- 2:29 AM Changeset [1188] by
- with twoTypes
- 2:27 AM Changeset [1187] by
- Satisfaction improvements * Check that things in the with-clause are …
- 2:25 AM Changeset [1186] by
- Test case for #193.
- 2:23 AM Ticket #193 (satisfaction-with statement accepts undefined declarations) closed by
- fixed: This one gives no error because 'twoTypes' is included in the …
- 1:53 AM Ticket #214 (Renaming: add safety checks) created by
- 1:52 AM Ticket #213 (Protect: check if guards are relaxed) created by
- 1:51 AM Changeset [1185] by
- Delay typechecking and combining of declarations until explicitly …
- 1:38 AM Ticket #194 (satisfaction statement requires full implementation in with part.) closed by
- fixed
- 1:36 AM Ticket #111 (protect decl;) closed by
- fixed: This syntax is no longer valid, so the problem has gone away.
- 1:27 AM Ticket #76 (improvement: protect handling should be done in the typechecker) closed by
- fixed
- 1:27 AM Ticket #75 (design: resolve syntax and semantics of protect) closed by
- fixed
- 1:26 AM Ticket #167 (Protect statement removes all declarations) closed by
- fixed
- 1:25 AM Ticket #110 (checking of right-hand side of protect has been disabled) closed by
- fixed
- 1:25 AM Ticket #105 (Protect statement uses wrong scope) closed by
- fixed
- 1:23 AM Changeset [1184] by
- Protect experiments
Sep 14, 2013:
- 9:32 PM Ticket #212 (Placement of errors for retain clause) created by
- Consider the two following code snippets. […] The one above is …
- 8:56 AM Ticket #211 (Magnolia::IO needs augmentation) closed by
- fixed: The IO functions for the missing numerical types have been added. …
Sep 13, 2013:
- 8:35 PM Changeset [1183] by
- Added inclusion of <limits>
- 8:10 PM Changeset [1182] by
- Added code for Binary/Text/XML IO of - int8_t int16_t - uint8_t …
Sep 12, 2013:
- 10:39 PM InstallationInstructions edited by
- (diff)
- 9:59 PM Ticket #211 (Magnolia::IO needs augmentation) created by
- The operator>>= for int8_t int16_t size_t (=?uint64_t) uint16_t …
- 3:54 PM Changeset [1181] by
- Release 0.4.16
- 3:48 PM Ticket #175 (How to install Magnolia) closed by
- fixed
- 3:48 PM InstallationInstructions edited by
- (diff)
- 3:40 PM Ticket #204 (Order of C++ includes does not match declaration order.) closed by
- wontfix
- 3:39 PM Changeset [1180] by
- Fix notEqual in prelude * also drop debug output from equal/notEqual
- 3:39 PM Ticket #208 (Operator !=) closed by
- fixed
- 3:11 PM Ticket #210 (Catching errors in executable cmd-block) created by
- The executable generated by Magnolia has a large block in magic_main …
- 11:45 AM Ticket #150 (data invariant keyword is unfortunate) closed by
- fixed: datainvariant keyword is fine.
Sep 11, 2013:
- 4:44 PM Ticket #201 (New Magnolia Eclipse project marks all files as derived) closed by
- fixed
- 12:59 PM InstallationInstructions edited by
- (diff)
Sep 10, 2013:
- 12:52 AM InstallationInstructions edited by
- (diff)
- 12:51 AM InstallationInstructions edited by
- (diff)
- 12:50 AM InstallationInstructions edited by
- (diff)
Sep 4, 2013:
- 1:24 AM Changeset [1179] by
- Plugin test
- 1:24 AM Changeset [1178] by
- Search path fixes
- 12:06 AM Changeset [1177] by
- Make it easier to debug installation problems
Sep 2, 2013:
- 11:18 PM Changeset [1176] by
- Improve the axiom output format
Sep 1, 2013:
- 2:58 PM Changeset [1175] by
- Fix disappearing axioms in satisfaction/models
Note:
See TracTimeline
for information about the timeline view.