Etienne Millon <etienne.millon@eads.net> [Mon, 23 Apr 2012 18:47:03 +0200] rev 3081
ptrtype: parse type annotations for external functions
Etienne Millon <etienne.millon@eads.net> [Mon, 23 Apr 2012 15:42:45 +0200] rev 3080
ptrtype: remove dead code
Etienne Millon <etienne.millon@eads.net> [Thu, 19 Apr 2012 17:31:29 +0200] rev 3079
ptrtype: printer now rename generalised variables (_a12 * _a15 becomes a * b)
Etienne Millon <etienne.millon@eads.net> [Thu, 19 Apr 2012 16:58:27 +0200] rev 3078
ptrtype: made printer monomorphic in Types.simple
Etienne Millon <etienne.millon@eads.net> [Thu, 19 Apr 2012 16:42:20 +0200] rev 3077
ptrtype: split Printer into a module
Etienne Millon <etienne.millon@eads.net> [Thu, 19 Apr 2012 16:05:33 +0200] rev 3076
ptrtype: move common functor instanciations to Utils
Etienne Millon <etienne.millon@eads.net> [Tue, 17 Apr 2012 16:47:38 +0200] rev 3075
ptrtype: topological sort - use incidence list
Etienne Millon <etienne.millon@eads.net> [Tue, 17 Apr 2012 16:09:29 +0200] rev 3074
ptrtype: clean a bit topological sort
Etienne Millon <etienne.millon@eads.net> [Tue, 17 Apr 2012 15:42:53 +0200] rev 3073
ptrtype: Env : use Sets and Maps instead of association lists
Etienne Millon <etienne.millon@eads.net> [Tue, 17 Apr 2012 14:19:36 +0200] rev 3072
ptrtype: add test for polymorphic functions