Commits · 8061cfdb3df24810e0c746e13d8bbe7a6f801ab1 · cduce / cduce

05 Oct, 2007 14 commits
- [r2002-10-21 18:58:02 by cvscast] Empty log message · 960d71e8
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-21 18:58:02+00:00
```
  960d71e8
- [r2002-10-21 18:07:22 by cvscast] Empty log message · 5bc6df74
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-21 18:07:23+00:00
```
  5bc6df74
- [r2002-10-21 09:03:48 by cvscast] Empty log message · 258ce52d
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-21 09:03:48+00:00
```
  258ce52d
- [r2002-10-20 23:34:54 by cvscast] Empty log message · f9b35132
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-20 23:34:54+00:00
```
  f9b35132
- [r2002-10-20 21:38:35 by cvscast] Empty log message · 3483655c
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-20 21:38:36+00:00
```
  3483655c
- [r2002-10-20 20:01:53 by cvscast] Empty log message · f8f01058
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-20 20:01:53+00:00
```
  f8f01058
- [r2002-10-20 19:55:49 by cvscast] Empty log message · ee13504e
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-20 19:56:58+00:00
```
  ee13504e
- [r2002-10-20 19:49:59 by cvscast] Empty log message · 61469d50
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-20 19:49:59+00:00
```
  61469d50
- [r2002-10-20 19:07:35 by cvscast] Empty log message · 99542d60
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-20 19:08:05+00:00
```
  99542d60
- [r2002-10-19 20:52:17 by cvscast] Empty log message · 46cc4f61
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-19 20:52:18+00:00
```
  46cc4f61
- [r2002-10-19 15:56:14 by cvscast] Empty log message · 9a41a6a6
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-19 15:56:15+00:00
```
  9a41a6a6
- [r2002-10-16 16:18:48 by cvscast] Empty log message · dc3fd463
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-16 16:18:48+00:00
```
  dc3fd463
- [r2002-10-15 21:01:00 by cvscast] Empty log message · f2d60961
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-15 21:01:35+00:00
```
  f2d60961
- [r2002-10-10 09:11:23 by cvscast] Empty log message · 11654b8a
  Pietro Abate authored Oct 05, 2007
```
Original author: cvscast
Date: 2002-10-10 09:11:23+00:00
```
  11654b8a
10 Jul, 2007 26 commits
- [r2007-06-12 12:58:41 by afrisch] starting to upgrade to OCaml 3.10 · 0a3f7c1b
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2007-06-12 12:59:44+00:00
```
  0a3f7c1b
- [r2006-10-03 09:39:57 by afrisch] Empty log message · a6568bd3
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-10-03 09:39:58+00:00
```
  a6568bd3
- [r2006-04-27 14:27:53 by afrisch] Fix memoization of witnesses. Better typing of records · de6f9ffc
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-04-27 14:27:54+00:00
```
  de6f9ffc
- [r2006-04-24 17:00:39 by afrisch] New subtyping algo · e54a9aee
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-04-24 17:00:39+00:00
```
  e54a9aee
- [r2006-04-24 16:47:52 by afrisch] New subtyping algo · d7f5453a
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-04-24 16:47:52+00:00
```
  d7f5453a
- [r2006-04-21 15:53:55 by afrisch] Compute witnesses during subtyping · 5425cb80
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-04-21 15:53:56+00:00
```
  5425cb80
- [r2006-03-22 12:22:49 by afrisch] open_out => open_out_gen · db21125e
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-03-22 12:22:49+00:00
```
  db21125e
- [r2006-03-17 13:25:49 by afrisch] Utiliser les -I pour les includes · 60cc7b48
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2006-03-17 13:27:38+00:00
```
  60cc7b48
- [r2006-02-14 10:42:36 by afrisch] eval can now be called several times and use... · 60adbb11
  Pietro Abate authored Jul 10, 2007
```
[r2006-02-14 10:42:36 by afrisch] eval can now be called several times and use the toplevel environment

Original author: afrisch
Date: 2006-02-14 10:45:18+00:00
```
  60adbb11
- [r2005-11-21 13:24:34 by afrisch] Error message when using --mlstub without... · 1aebe4c6
  Pietro Abate authored Jul 10, 2007
```
[r2005-11-21 13:24:34 by afrisch] Error message when using --mlstub without the built-in OCaml interface

Original author: afrisch
Date: 2005-11-21 13:24:34+00:00
```
  1aebe4c6
- [r2005-10-30 14:23:02 by afrisch] Moving to OCaml 3.09 · a269952e
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-10-30 14:23:04+00:00
```
  a269952e
- [r2005-08-11 09:30:43 by afrisch] accept -c as an alias for --compile · 3065c550
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-08-11 09:30:43+00:00
```
  3065c550
- [r2005-07-30 09:27:30 by afrisch] New printer for locations · 770a37b9
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-07-30 09:27:30+00:00
```
  770a37b9
- [r2005-07-29 10:11:37 by afrisch] Bug fix in pretty printer · b2a62105
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-07-29 10:11:37+00:00
```
  b2a62105
- [r2005-07-15 13:51:37 by afrisch] Get rid of mlcduce_wrapper · 112e66df
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-07-15 13:51:37+00:00
```
  112e66df
- [r2005-07-12 15:37:26 by afrisch] Empty log message · b3119cfd
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-07-12 15:37:27+00:00
```
  b3119cfd
- [r2005-07-07 15:32:44 by afrisch] MAJ manuel · c7b88f29
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-07-07 15:32:44+00:00
```
  c7b88f29
- [r2005-07-07 13:57:17 by afrisch] Export namespaces, schemas, ... · 73e03a54
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-07-07 13:57:18+00:00
```
  73e03a54
- [r2005-07-05 13:49:21 by afrisch] Merging cduce_serialize branch · 81df23f2
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-07-05 13:49:26+00:00
```
  81df23f2
- [r2005-06-13 15:20:13 by afrisch] Simplifications · f84d5b39
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-06-13 15:20:14+00:00
```
  f84d5b39
- [r2005-06-09 15:28:55 by afrisch] Begin simplified compilation · 0744051f
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-06-09 15:28:55+00:00
```
  0744051f
- [r2005-06-08 09:25:18 by afrisch] Wrong url · b77cdbf9
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-06-08 09:25:18+00:00
```
  b77cdbf9
- [r2005-03-30 16:19:27 by afrisch] Empty log message · 968cc0f5
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-03-30 16:19:27+00:00
```
  968cc0f5
- [r2005-03-21 13:31:43 by afrisch] Remove Compile2 · 6fd7a218
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-03-21 13:31:44+00:00
```
  6fd7a218
- [r2005-03-15 23:31:43 by afrisch] Namespaces bindings in data model · c0867879
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-03-15 23:31:45+00:00
```
  c0867879
- [r2005-03-11 12:29:13 by afrisch] Bug introduced with syntax modif for records · 4bbcfde4
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2005-03-11 12:29:13+00:00
```
  4bbcfde4