source: trunk

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1577   4 years magne Makefile - Updated script to current context (executable and operation …
(edit) @1576   5 years magne Makefile - Changed axiom names according to Mathematics.Numbers. …
(edit) @1556   7 years magne Makefile, BasicGeneral/validate.Makefile - Removed failing checks due …
(edit) @1555   7 years magne TutorialExamples.Tutorial0Cxx - Added program that does no renaming in …
(edit) @1504   8 years Anya Helene Bagge bump version and release
(edit) @1503   8 years Anya Helene Bagge bump version and release
(edit) @1490   8 years Anya Helene Bagge merge 0.6.2.
(edit) @1477   8 years magne Some cleanup and modernisation. - Deleted some unused …
(edit) @1476   8 years magne Upgrading the Magnolia basic library to magnolia-inf220-2015 revision …
(edit) @1474   8 years magne Removed inappropriate checks from BasicGeneral/validate.Makefile.
(edit) @1470   8 years Anya Helene Bagge Fixes for things caught by Rascal typechecker
(edit) @1469   9 years Anya Helene Bagge bump version and release
(edit) @1468   9 years Anya Helene Bagge fix problem with getters/setters causing exception in Module data …
(edit) @1464   9 years Anya Helene Bagge Fix #259
(edit) @1463   9 years Anya Helene Bagge Test case for #259
(edit) @1462   9 years Anya Helene Bagge Fix missing line in help output
(edit) @1457   9 years magne Correcting errors and improving Windows compatibility. make - Added …
(edit) @1456   9 years Anya Helene Bagge Make require imply signature()
(edit) @1455   9 years Anya Helene Bagge Turn catching of exceptions in typecheckers back on
(edit) @1454   9 years magne Major changes in this upgrade: Changed to loop terminology from …
(edit) @1453   9 years Anya Helene Bagge New experimental release 0.5.1
(edit) @1452   9 years Anya Helene Bagge Include only API operations in the generated program interface
(edit) @1451   9 years Anya Helene Bagge Fix problem with stray operators in external package names
(edit) @1450   9 years Anya Helene Bagge experimental release
(edit) @1449   9 years Anya Helene Bagge Fix problem where bindings list was applied to itself (causing re-renaming)
(edit) @1448   9 years Anya Helene Bagge Debug instrumentation
(edit) @1447   9 years Anya Helene Bagge Bugfix in invariant check
(edit) @1446   9 years Anya Helene Bagge Try to avoid line breaking in hover help using nbsp
(edit) @1445   9 years Anya Helene Bagge Remove formatting
(edit) @1444   9 years Anya Helene Bagge Use correct typing in constructor, even in case of error
(edit) @1443   9 years Anya Helene Bagge Fix two instantiation problems: * Always expand and lock all type …
(edit) @1442   9 years Anya Helene Bagge Make names easier to trace through the compiler
(edit) @1441   9 years Anya Helene Bagge Nullness
(edit) @1440   9 years Anya Helene Bagge Fix problems with equals
(edit) @1439   9 years Anya Helene Bagge More fixes for merging and instantiation
(edit) @1438   9 years Anya Helene Bagge Fix some internal errors; better error reporting when merging …
(edit) @1437   9 years Anya Helene Bagge Send help to std::cout
(edit) @1436   9 years Anya Helene Bagge Fix some axiom merging problems
(edit) @1435   9 years Anya Helene Bagge Set up code for optimiser; new icons for toolbar buttons
(edit) @1434   9 years Anya Helene Bagge Implement return from block expressions (Values are handled correctly …
(edit) @1433   9 years Anya Helene Bagge Drop old file
(edit) @1432   9 years Anya Helene Bagge Extend BlockExpr syntax with return type
(edit) @1431   9 years Anya Helene Bagge Check return type
(edit) @1430   9 years Anya Helene Bagge Fix refresh problem if output folder is deleted behind Eclipse's back
(edit) @1429   9 years Anya Helene Bagge Make axioms procedures, not functions
(edit) @1428   9 years Anya Helene Bagge Nullness fixes
(edit) @1427   9 years Anya Helene Bagge Fix instantiation problems
(edit) @1425   9 years Anya Helene Bagge Release 0.4.59
(edit) @1424   9 years Anya Helene Bagge Release 0.4.58
(edit) @1418   9 years Anya Helene Bagge Various stuff from when SVN server was down
(edit) @1417   9 years Anya Helene Bagge Filter required operations that are derived
(edit) @1416   9 years Anya Helene Bagge Make sure type names in typedefs for externals are properly renamed …
(edit) @1415   9 years Anya Helene Bagge
(edit) @1414   9 years Anya Helene Bagge Drop stuff from implementation part of module in signature-of operator
(edit) @1413   9 years Anya Helene Bagge Expose accessible type fields as part of the interface (through …
(edit) @1412   9 years Anya Helene Bagge Add signature syntax
(edit) @1411   9 years Anya Helene Bagge Write debug info only in second level, grammar fix
(edit) @1410   9 years Anya Helene Bagge add imply modifier, generate implications in CASL
(edit) @1409   9 years Anya Helene Bagge Factor out code for creating new files with derived code
(edit) @1408   9 years Anya Helene Bagge CASL fixes
(edit) @1407   9 years Anya Helene Bagge CASL fixes: nullary ops, types before ops, predicates, implication
(edit) @1406   9 years Anya Helene Bagge Split CASL backend from Magnolia printer
(edit) @1405   9 years Anya Helene Bagge Replace Rascal printer with Java one
(edit) @1404   9 years Anya Helene Bagge Magnolia printer
(edit) @1403   9 years Anya Helene Bagge Finish PGF prettyprinter; extend Java abstract syntax to cover full …
(edit) @1402   9 years Anya Helene Bagge Tweak grammar so it can parse prettyprinted intermediate code
(edit) @1401   9 years Anya Helene Bagge Unify productions for function and procedure parameters
(edit) @1400   9 years Anya Helene Bagge Preliminary setup for CASL backend
(edit) @1399   9 years Anya Helene Bagge Fix some bad patterns
(edit) @1398   9 years Anya Helene Bagge Typecheck before rename
(edit) @1397   9 years Anya Helene Bagge * also typecheck concepts when pressing "Build Package" button * drop …
(edit) @1396   9 years Anya Helene Bagge Derived functions can also satisfy a spec
(edit) @1395   9 years Anya Helene Bagge Improve placement of error messages for conflicting definitions
(edit) @1394   9 years Anya Helene Bagge Also consider existing instances when computing which parameters are needed
(edit) @1393   9 years Anya Helene Bagge Deal with parameterised definitions referring to other definitions …
(edit) @1392   9 years Anya Helene Bagge Avoid renaming inside external names
(edit) @1391   9 years Anya Helene Bagge Remove deprecated external syntax
(edit) @1390   9 years Anya Helene Bagge Bump and release 0.4.57
(edit) @1387   9 years Anya Helene Bagge Use []= instead of += for set/relation updates (much faster)
(edit) @1386   9 years Anya Helene Bagge Make instantiator more against mutual dependencies; only use …
(edit) @1385   9 years Anya Helene Bagge New attempt at fix
(edit) @1384   9 years Anya Helene Bagge Revert bad fix for stack overflow problem
(edit) @1383   9 years Anya Helene Bagge …
(edit) @1382   9 years Anya Helene Bagge Use []= instead of += (seems to be much faster for sets).
(edit) @1381   9 years Anya Helene Bagge switching computers
(edit) @1380   9 years Anya Helene Bagge Typechecker: instantiate types when processing fields
(edit) @1379   9 years Anya Helene Bagge Remove some println that may cause heap overflow
(edit) @1378   9 years Anya Helene Bagge Copy files before building
(edit) @1377   9 years Anya Helene Bagge * recursively rename externals to deal with nested names * use …
(edit) @1376   9 years Anya Helene Bagge Fix backend errors: module initialisation, wrong type in reference functors
(edit) @1375   9 years Anya Helene Bagge Fix the last(?) of the instantiation problems
(edit) @1374   10 years Anya Helene Bagge update backend for new new-style code generation; fix some problems in …
(edit) @1373   10 years Anya Helene Bagge Finish instantiation of parameterised code (C++ backend needs more …
(edit) @1372   10 years Anya Helene Bagge Fix wrong return value in mergeBody
(edit) @1371   10 years Anya Helene Bagge domain -> index for lists in Rascal
(edit) @1370   10 years Anya Helene Bagge Nullable fixes
(edit) @1369   10 years Anya Helene Bagge Sync with new version of Values library
(edit) @1367   10 years Anya Helene Bagge merge bugfixes (r1361-r1366)
(edit) @1366   10 years magne Updated printing of floating point numbers to include more digits. …
(edit) @1365   10 years Anya Helene Bagge Release 0.4.56 with fix for derivationOperatorCxx. (seems to work)
Note: See TracRevisionLog for help on using the revision log.