Timeline



Feb 9, 2012:

12:53 AM Changeset [665] by Anya Helene Bagge
Remove old SDF grammar
12:52 AM Changeset [664] by Anya Helene Bagge
Remove old SDF grammar
12:50 AM Changeset [663] by Anya Helene Bagge
move away the old code
12:46 AM Changeset [662] by Anya Helene Bagge
12:46 AM Changeset [661] by Anya Helene Bagge
-

Feb 8, 2012:

4:51 PM SecondLevelEclipse edited by Anya Helene Bagge
(diff)
4:44 PM InstallationInstructions edited by Anya Helene Bagge
(diff)
4:43 PM InstallationInstructions edited by Anya Helene Bagge
(diff)
3:28 PM Changeset [660] by Anya Helene Bagge
update to latest examples
3:25 PM Changeset [659] by Anya Helene Bagge
update rascal version

Feb 7, 2012:

3:19 PM Changeset [658] by eva
Fix bug in joinDef

Feb 6, 2012:

10:10 AM Changeset [657] by Anya Helene Bagge
move
2:17 AM Ticket #51 ("Expected error" functionality for compiler testing) created by Anya Helene Bagge
2:09 AM Ticket #35 (multiple parameters with same name doesn't give an error) closed by Anya Helene Bagge
fixed: Fixed. Potential problem: it's possible to shadow parameter names even …
2:07 AM Changeset [656] by Anya Helene Bagge
Check for redefined variable/parameter names (closes: #35)

Feb 5, 2012:

10:11 PM Changeset [655] by Anya Helene Bagge
* simple test for the override functionality
10:10 PM Changeset [654] by Anya Helene Bagge
Initial import.
10:09 PM Changeset [653] by Anya Helene Bagge
Various fixes and improvements: * Assert generates code with …
10:05 PM Ticket #50 (mutification isn't applied to struct initialisers) created by Anya Helene Bagge
Fix by: * mutifying them * forcing generation of function stubs for …
9:56 PM Ticket #49 (mutifier: generated temporary names aren't guaranteed unique) created by Anya Helene Bagge
9:52 PM Ticket #48 (add a few simple data-flow optimisations) created by Anya Helene Bagge
In particular, clean up the long sequence of temporaries generated by …
9:48 PM Ticket #47 (add immutable variables / modes for variables) created by Anya Helene Bagge
Useful for #46 (inlining).
9:47 PM Ticket #46 (inlining doesn't work) created by Anya Helene Bagge
To make inlining work properly, it should take overloading into …
9:42 PM Ticket #19 (Mylyn integration test..) closed by Anya Helene Bagge
wontfix
9:40 PM Ticket #36 (toplevel 'signature' operator should remove axioms) closed by Anya Helene Bagge
fixed
9:38 PM Ticket #45 (make a separate fact database for editor contents) created by Anya Helene Bagge
This is required to make all the hover services etc work on the …
9:36 PM Ticket #44 (facts aren't flushed when files are changed and saved) created by Anya Helene Bagge
This may be the same bug as #43
9:35 PM Ticket #43 (facts aren't flushed when files move) created by Anya Helene Bagge
This may be the same bug as #44
1:52 AM Ticket #42 (provide error marks when things go wrong during flattening) created by Anya Helene Bagge
1:51 AM Ticket #41 (provide error marks for missing/wrong import) created by Anya Helene Bagge

Feb 3, 2012:

4:06 PM Changeset [652] by Anya Helene Bagge
* fix a few bugs in mutifier and pretty-printer
4:05 PM Ticket #26 (magic main) closed by Anya Helene Bagge
fixed

Feb 2, 2012:

11:41 PM Ticket #33 (explain SOCKS) closed by tero
fixed
8:48 PM Changeset [651] by Anya Helene Bagge
* complete "Magic Main" functionality * 5x faster C++ backend

Jan 22, 2012:

1:50 PM Changeset [650] by Anya Helene Bagge
Add docs for builtin predicates
3:36 AM Ticket #40 (basic predicates should be built in) closed by Anya Helene Bagge
fixed
3:36 AM Changeset [649] by Anya Helene Bagge
* preload builtins into environment (closes: #40) * add special …
2:07 AM Ticket #40 (basic predicates should be built in) created by Anya Helene Bagge
true, false, &&, ||, !
1:52 AM Ticket #30 (implement navigation) closed by Anya Helene Bagge
fixed: Done: * F3 Open Declaration supported * Ctrl-Click hyperlinks supported
1:50 AM Ticket #39 (use PGF for Magnolia pretty-printing) created by Anya Helene Bagge
1:50 AM Ticket #38 (use PGF for C++ pretty-printing) created by Anya Helene Bagge
1:47 AM Ticket #37 (race condition in hover helper vs. compiler loader) created by Anya Helene Bagge
The hover helper / hyper link resolver may try to use the compiler …
1:43 AM Ticket #22 (make skeleton generator for C++ library implement) closed by Anya Helene Bagge
fixed
1:23 AM Changeset [648] by Anya Helene Bagge
* fix stack example * generate skeletons for bool and uint
1:22 AM Changeset [647] by Anya Helene Bagge
* make a C++ skeleton generator * make mutification work on …

Jan 21, 2012:

1:20 PM Ticket #25 (mutification) closed by Anya Helene Bagge
fixed: Done. (But needs more testing.)

Jan 18, 2012:

11:55 PM Changeset [646] by Anya Helene Bagge
mutification

Jan 15, 2012:

5:40 PM Changeset [645] by Anya Helene Bagge
* allow overriding default and derived operations * fix various small bugs

Jan 14, 2012:

11:41 PM Changeset [644] by Anya Helene Bagge
* Update Bool experiment * Add two different C++ implementations of Bool
11:40 PM Changeset [643] by Anya Helene Bagge
Get a big step closer to sensible C++ output * Make sure C++ keywords …
11:38 PM Ticket #28 (C++ keywords in function names appear in C++ output) closed by Anya Helene Bagge
fixed
9:45 PM Ticket #36 (toplevel 'signature' operator should remove axioms) created by Anya Helene Bagge
Axioms aren't part of the signature and should be left out.
9:44 PM Ticket #35 (multiple parameters with same name doesn't give an error) created by Anya Helene Bagge

Jan 13, 2012:

10:37 PM Changeset [642] by eva
It was already in the file system under a different name.
10:23 PM Changeset [641] by eva
Adding previous magnolia sketch for an integers library attempt.

Jan 12, 2012:

8:28 PM Changeset [640] by Anya Helene Bagge
* Small fixes in hover helper, parse controller, hyperlink. * Update …

Jan 10, 2012:

7:39 PM Changeset [639] by Anya Helene Bagge
Enable hyperlinks (Ctrl-click) and Open Declaration (F3)
Note: See TracTimeline for information about the timeline view.