root/branches

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Rev Chgset Date Author Log Message
(edit) @11984 [11984] 4 months maeder merged composeMap change
(edit) @11904 [11904] 4 months maeder shapeRel fails to early
(edit) @11892 [11892] 5 months maeder try typechecking alternative to solve #695
(edit) @11891 [11891] 5 months maeder creating a private branch for HasCASL type checking
(edit) @6912 [6912] 3 years 2akirilov *** empty log message ***
(edit) @6911 [6911] 3 years 2akirilov Initial revision of the ModalCASL extensions.
(edit) @6910 [6910] 3 years anonymous This commit was manufactured by cvs2svn to create …
(edit) @4933 [4933] 4 years tina Mixfix-Notation
(edit) @4683 [4683] 4 years anonymous This commit was manufactured by cvs2svn to create branch 'Tina050817'.
(edit) @4682 [4682] 4 years anonymous This commit was manufactured by cvs2svn to create branch 'Tina050723'.
(edit) @3813 [3813] 5 years 2maeder try merging from HEAD
(edit) @3807 [3807] 5 years 2maeder ghc-6.4 extensions
(edit) @3806 [3806] 5 years anonymous This commit was manufactured by cvs2svn to create branch 'ghc-6-04'.
(edit) @1726 [1726] 6 years 2maeder parse internal and funct items
(edit) @1725 [1725] 6 years 2maeder checked test cases
(edit) @1722 [1722] 6 years 2maeder implemented type inference and made static analysis compile
(edit) @1716 [1716] 6 years 2maeder inferred raw kinds first
(edit) @1710 [1710] 6 years 2maeder compare kinds
(edit) @1701 [1701] 6 years 2maeder yet inconsistent
(edit) @1687 [1687] 6 years anonymous This commit was manufactured by cvs2svn to create branch 'raw-kinds'.
(edit) @1025 [1025] 7 years felix Fixed a bug in the export-list
(edit) @994 [994] 7 years felix Changed export-list.
(edit) @993 [993] 7 years felix Added instances for Bool,Int,Integer,Char,FiniteMap?,lists and 2,3&4-tuple.
(edit) @992 [992] 7 years felix Implemented function 'toATermTable'
(edit) @811 [811] 7 years felix Changed helper-functions of writeSharedATerm (no functional change)
(edit) @793 [793] 7 years 2luettich Improved one bug in writeATermAuxS. Removed memo -- the table produces an …
(edit) @776 [776] 7 years 2luettich Updated the ATermConvertibe class and the TODO-List.
(edit) @775 [775] 7 years 2luettich Added the signature and TODO for toATermTable :: ATerm -> ATermTable
(edit) @773 [773] 7 years felix Made writing of ATerms faster
(edit) @725 [725] 7 years felix Added error-messages for read-functions, made write-functions faster and …
(edit) @712 [712] 7 years felix Removed function "hasATerm" for efficiency
(edit) @568 [568] 7 years 2luettich Todo updated.
(edit) @567 [567] 7 years felix Changed functions to work with the new data type ShATerm.
(edit) @566 [566] 7 years felix Added ShATerm data type and deleted Index constructor of data type ATerm. …
(edit) @565 [565] 7 years 2luettich Changed the import of ATerm* modules. Now TestTerm?2 can be compiled …
(edit) @564 [564] 7 years 2luettich Moved some functions from the comments back to live. For testing with …
(edit) @563 [563] 7 years 2luettich Updated the Todo section.
(edit) @560 [560] 7 years felix Added read-functions for shared and non-shared ATerms
(edit) @551 [551] 7 years felix Added write-functions for shared ATerms with Annotations
(edit) @534 [534] 7 years felix - Added Annotations to data type "ATerm" in file ATermAbstractSyntax.hs - …
(edit) @524 [524] 7 years 2luettich A test module for the ATermLib in this directory.
(edit) @523 [523] 7 years 2luettich ToDo? section added.
(edit) @522 [522] 7 years 2luettich Cleaned up versions for the clean-re-implementation-ATermLib branch. So …
(edit) @517 [517] 7 years anonymous This commit was manufactured by cvs2svn to create …
(edit) @46 [46] 8 years anonymous This commit was manufactured by cvs2svn to create branch 'parsec'.
(edit) @3 [3] 8 years anonymous This commit was manufactured by cvs2svn to create branch 'init'.
(add) @1 [1] 8 years anonymous New repository initialized by cvs2svn.
Note: See TracRevisionLog for help on using the revision log.