aboutsummaryrefslogtreecommitdiff
path: root/frontend/convertDynamics.icl
AgeCommit message (Expand)AuthorFilesLines
2000-09-20no messagemartijnv1-103/+282
2000-08-18dynamic type bug fixed; changes to support theorem provermartijnv1-4/+8
2000-08-10added position information to case defaults to improve type error messagesmartinw1-1/+2
2000-08-09added position information to case alternatives and changed the typingmartinw1-1/+2
2000-06-06coercions added though not completemartijnv1-30/+41
2000-05-30fixed bugs; partially implemented type dependent functionsmartijnv1-1/+59
2000-04-26changes to make compiler compatible with itselfmartinw1-2/+2
2000-02-21- implemented comparison between redundant definitions in icl and dcl modulesmartinw1-4/+0
2000-01-19bug fix (changed syntax tree)sjakie1-14/+15
1999-11-29bug fixsjakie1-14/+21
1999-11-23change: dynamics are now converted before 'fusion'sjakie1-95/+139
1999-11-05minor changesmartinw1-2/+0
1999-11-05fusion works now. The fusion switch in module typesupport is enabledmartinw1-0/+2
1999-10-05Initial importronny1-0/+528
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-15 07:55:57 +0000