Commits · f039fd44d01714a617900ec169669c39b6ef085c · cduce / cduce

05 Oct, 2007 40 commits
- [r2006-05-15 22:07:13 by beppe] Empty log message · f039fd44
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-05-15 22:07:13+00:00
```
  f039fd44
- [r2006-05-15 21:28:48 by beppe] Empty log message · 823bfe02
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-05-15 21:28:48+00:00
```
  823bfe02
- [r2006-05-14 20:32:24 by afrisch] Empty log message · 7366ede9
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-05-14 20:32:24+00:00
```
  7366ede9
- [r2006-05-11 12:28:00 by afrisch] Empty log message · aca55ca5
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-05-11 12:28:00+00:00
```
  aca55ca5
- [r2006-05-11 09:34:22 by afrisch] Utility for string literal in regexp · ee950bff
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-05-11 09:34:23+00:00
```
  ee950bff
- [r2006-05-10 22:04:12 by afrisch] Empty log message · fafa50af
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-05-10 22:04:12+00:00
```
  fafa50af
- [r2006-05-10 21:19:45 by afrisch] Empty log message · 27eb8d50
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-05-10 21:19:46+00:00
```
  27eb8d50
- [r2006-05-09 16:27:13 by beppe] Empty log message · 7ea059c8
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-05-09 16:27:13+00:00
```
  7ea059c8
- [r2006-05-09 16:23:56 by beppe] Empty log message · a5a5d62c
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-05-09 16:24:07+00:00
```
  a5a5d62c
- [r2006-05-05 16:32:46 by ngesbert] fixed a typo · 42760e24
  Pietro Abate authored Oct 05, 2007
```
Original author: ngesbert
Date: 2006-05-05 16:32:46+00:00
```
  42760e24
- [r2006-05-05 14:59:40 by ngesbert] Updated spec file for CDuce 0.4.0 · b517bfb0
  Pietro Abate authored Oct 05, 2007
```
Original author: ngesbert
Date: 2006-05-05 14:59:40+00:00
```
  b517bfb0
- [r2006-05-05 14:58:59 by ngesbert] Added informations about RPM package · f9bdab2d
  Pietro Abate authored Oct 05, 2007
```
Original author: ngesbert
Date: 2006-05-05 14:58:59+00:00
```
  f9bdab2d
- [r2006-05-05 14:03:06 by beppe] Empty log message · 4d94cd8e
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-05-05 14:03:06+00:00
```
  4d94cd8e
- [r2006-05-04 08:39:19 by beppe] Empty log message · a0c0529c
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-05-04 08:39:30+00:00
```
  a0c0529c
- [r2006-05-04 08:25:52 by beppe] Empty log message · 7e141a61
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-05-04 08:25:52+00:00
```
  7e141a61
- [r2006-04-28 12:52:37 by beppe] deleted reference to rpm instructions · 70e39af2
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-04-28 12:52:37+00:00
```
  70e39af2
- [r2006-04-28 09:29:16 by beppe] Empty log message · 9d447705
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-04-28 09:29:16+00:00
```
  9d447705
- [r2006-04-27 15:15:07 by afrisch] Empty log message · dddba906
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-27 15:15:32+00:00
```
  dddba906
- [r2006-04-27 14:43:40 by afrisch] Empty log message · 7fc18147
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-27 14:43:40+00:00
```
  7fc18147
- [r2006-04-27 14:27:53 by afrisch] Fix memoization of witnesses. Better typing of records · 696a55c3
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-27 14:27:54+00:00
```
  696a55c3
- [r2006-04-25 15:56:21 by afrisch] Bug: type t = ([Int?] @ t) · 58322af1
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-25 15:56:21+00:00
```
  58322af1
- [r2006-04-24 17:00:39 by afrisch] New subtyping algo · 425130c8
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-24 17:00:39+00:00
```
  425130c8
- [r2006-04-24 16:47:52 by afrisch] New subtyping algo · d094cbc8
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-24 16:47:52+00:00
```
  d094cbc8
- [r2006-04-21 16:24:33 by beppe] Empty log message · 9bce6174
  Pietro Abate authored Oct 05, 2007
```
Original author: beppe
Date: 2006-04-21 16:24:35+00:00
```
  9bce6174
- [r2006-04-21 16:03:53 by afrisch] Tracing the cache · e08a6bc4
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-21 16:03:53+00:00
```
  e08a6bc4
- [r2006-04-21 15:53:55 by afrisch] Compute witnesses during subtyping · a699b619
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-21 15:53:56+00:00
```
  a699b619
- [r2006-04-21 11:28:03 by cmiachon] modify // with recursive calls on subtrees matched · b7e03bbe
  Pietro Abate authored Oct 05, 2007
```
Original author: cmiachon
Date: 2006-04-21 11:28:03+00:00
```
  b7e03bbe
- [r2006-04-21 09:17:50 by afrisch] Optimizations · 83a7cdeb
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-04-21 09:17:50+00:00
```
  83a7cdeb
- [r2006-03-26 16:00:55 by afrisch] allow open as tag name · 244c16c6
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-26 16:00:55+00:00
```
  244c16c6
- [r2006-03-26 15:54:27 by afrisch] dump_to_file produce catchable exceptions · af0ec9f1
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-26 15:54:27+00:00
```
  af0ec9f1
- [r2006-03-26 15:43:33 by afrisch] Accept binding prefix to empty string · b7d1f828
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-26 15:43:33+00:00
```
  b7d1f828
- [r2006-03-22 12:22:49 by afrisch] open_out => open_out_gen · eeda3f93
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-22 12:22:49+00:00
```
  eeda3f93
- [r2006-03-19 08:31:15 by afrisch] Empty log message · 04ede954
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-19 08:31:15+00:00
```
  04ede954
- [r2006-03-17 16:20:51 by afrisch] Empty log message · 4ad037e6
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-17 16:20:51+00:00
```
  4ad037e6
- [r2006-03-17 15:49:43 by afrisch] Empty log message · cbf0d406
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-17 15:49:43+00:00
```
  cbf0d406
- [r2006-03-17 14:19:53 by afrisch] Deal with 'namespace on' · 5be34b0e
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-17 14:19:53+00:00
```
  5be34b0e
- [r2006-03-17 14:13:28 by afrisch] Empty log message · c44f007c
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-17 14:13:28+00:00
```
  c44f007c
- [r2006-03-17 13:25:49 by afrisch] Utiliser les -I pour les includes · 6067321b
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-17 13:27:38+00:00
```
  6067321b
- [r2006-03-11 17:07:00 by afrisch] Empty log message · a01634b4
  Pietro Abate authored Oct 05, 2007
```
Original author: afrisch
Date: 2006-03-11 17:07:00+00:00
```
  a01634b4
- [r2006-02-14 10:42:36 by afrisch] eval can now be called several times and use... · 1f1b3355
  Pietro Abate authored Oct 05, 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
```
  1f1b3355