Commits · 3909931eb395d4aa5c0ce4804aa624502ac1262e · cduce / cduce

10 Jul, 2007 40 commits
- [r2004-03-15 14:05:23 by afrisch] Replace Global ref with external ref when creating .cdo... · 3909931e
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-03-15 14:05:23+00:00
```
  3909931e
- [r2004-03-09 22:59:09 by afrisch] meilleure gestion netclient · 2f538324
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-03-09 22:59:09+00:00
```
  2f538324
- [r2004-02-09 20:33:20 by afrisch] Empty log message · cd3c3d8c
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-02-09 20:34:05+00:00
```
  cd3c3d8c
- [r2004-02-09 20:29:33 by afrisch] Empty log message · b2030041
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-02-09 20:29:33+00:00
```
  b2030041
- [r2004-02-06 22:40:26 by beppe] Bugfix (thanks to Alex Barretta) · 6dd9d5ee
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-06 22:40:26+00:00
```
  6dd9d5ee
- [r2004-02-06 22:34:54 by beppe] Empty log message · 2ac67578
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2004-02-06 22:34:54+00:00
```
  2ac67578
- [r2004-01-20 16:12:13 by afrisch] Debut des types abstraits · 78448cfb
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-01-20 16:12:15+00:00
```
  78448cfb
- [r2004-01-19 12:54:47 by afrisch] Export eval_apply · 783bab71
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2004-01-19 12:54:47+00:00
```
  783bab71
- [r2003-12-13 13:51:19 by afrisch] Factorization + --verbose · bd023c58
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2003-12-13 13:51:20+00:00
```
  bd023c58
- [r2003-12-12 23:18:23 by afrisch] Cleaning · 7eb1a95d
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2003-12-12 23:18:23+00:00
```
  7eb1a95d
- [r2003-12-12 22:59:37 by afrisch] Cleaning: remove old evaluator · 3910149c
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2003-12-12 22:59:38+00:00
```
  3910149c
- [r2003-12-03 11:35:18 by beppe] CURL support optional · 462f941f
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2003-12-03 11:35:18+00:00
```
  462f941f
- [r2003-12-01 16:40:46 by afrisch] Cosmetique · cf9d8b83
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2003-12-01 16:43:22+00:00
```
  cf9d8b83
- [r2003-11-30 20:03:51 by beppe] Empty log message · 055406dc
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2003-11-30 20:03:51+00:00
```
  055406dc
- [r2003-11-30 14:27:07 by beppe] add url support for load_xml, load_html and in schema declarations · e37bb946
  Pietro Abate authored Jul 10, 2007
```
Original author: beppe
Date: 2003-11-30 14:27:08+00:00
```
  e37bb946
- [r2003-11-29 11:26:53 by szach] added support for schema validated values · 4ff4125c
  Pietro Abate authored Jul 10, 2007
```
Original author: szach
Date: 2003-11-29 11:26:53+00:00
```
  4ff4125c
- [r2003-11-29 11:26:00 by szach] use a better exception for get_fields · 88689f88
  Pietro Abate authored Jul 10, 2007
```
Original author: szach
Date: 2003-11-29 11:26:00+00:00
```
  88689f88
- [r2003-11-28 12:42:31 by szach] added print_xml interface · 3298e05d
  Pietro Abate authored Jul 10, 2007
```
Original author: szach
Date: 2003-11-28 12:42:31+00:00
```
  3298e05d
- [r2003-11-28 11:18:36 by szach] commented out validation against single attribute declaration · 83735a17
  Pietro Abate authored Jul 10, 2007
```
Original author: szach
Date: 2003-11-28 11:18:36+00:00
```
  83735a17
- [r2003-11-26 16:18:26 by szach] - added equal function on values · a86c980b
  Pietro Abate authored Jul 10, 2007
```
- exported previously hidden is_seq function

Original author: szach
Date: 2003-11-26 16:18:26+00:00
```
  a86c980b
- [r2003-11-26 16:17:15 by szach] catch validation exceptions raising CDuce exceptions · 8e0bd2b7
  Pietro Abate authored Jul 10, 2007
```
Original author: szach
Date: 2003-11-26 16:17:15+00:00
```
  8e0bd2b7
- [r2003-11-24 16:00:48 by szach] - added namespace support for vrecord and get_fields · 1608b0ee
  Pietro Abate authored Jul 10, 2007
```
- added some comments

Original author: szach
Date: 2003-11-24 16:00:49+00:00
```
  1608b0ee
- [r2003-11-21 09:27:59 by afrisch] Opt · 75a8d54b
  Pietro Abate authored Jul 10, 2007
```
Original author: afrisch
Date: 2003-11-21 09:27:59+00:00
```
  75a8d54b
- [r2003-11-20 11:42:32 by szach] invoke schema validation stubs · efcc2e19
  Pietro Abate authored Jul 10, 2007
```
Original author: szach
Date: 2003-11-20 11:42:32+00:00
```
  efcc2e19
- [r2003-11-20 11:32:33 by szach] - output format bugfixes for #dump_value directive · 33e483cb
  Pietro Abate authored Jul 10, 2007
```
- added raise' and failwith' to raise CDuce exceptions

- added a map_xml function

Original author: szach
Date: 2003-11-20 11:32:33+00:00
```
  33e483cb
- [r2003-10-24 09:22:10 by szach] - added: · 5c8b160a
  Pietro Abate authored Jul 10, 2007
```
- inv_const (build the const type corresponding to a const value)

- some infix comparison operators on Value.t

- dump_xml (dump an XML representation of a Value.t type)

- added ValueSet module

Original author: szach
Date: 2003-10-24 09:22:10+00:00
```
  5c8b160a
- [r2003-10-24 09:20:19 by szach] commented out old implementation of schema validation, now raise a · b694d0a3
  Pietro Abate authored Jul 10, 2007
```
cduce exception

Original author: szach
Date: 2003-10-24 09:20:19+00:00
```
  b694d0a3
- [r2003-10-08 21:45:06 by cvscast] Toplevel and sep. comp. · 03bb9810
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-10-08 21:45:07+00:00
```
  03bb9810
- [r2003-10-08 21:24:38 by cvscast] Separate compilation · 194424db
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-10-08 21:25:22+00:00
```
  194424db
- [r2003-10-04 02:00:15 by cvscast] Compilation + serialization · 3385c1e7
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-10-04 02:01:37+00:00
```
  3385c1e7
- [r2003-10-02 20:04:31 by cvscast] Cleaning + new semantics for default values in regexps · 955dfc89
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-10-02 20:04:32+00:00
```
  955dfc89
- [r2003-10-01 22:59:28 by cvscast] Empty log message · ec519e99
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-10-01 22:59:29+00:00
```
  ec519e99
- [r2003-09-27 22:49:09 by cvscast] alternative evaluator (--compile) · 6e644519
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-09-27 22:49:09+00:00
```
  6e644519
- [r2003-09-27 12:41:30 by cvscast] Serialization, new system for operators, ... · bb3efc53
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-09-27 12:41:34+00:00
```
  bb3efc53
- [r2003-09-23 19:41:35 by cvscast] Constantes structurees + suite nettoyage · 6d44bf46
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-09-23 19:41:36+00:00
```
  6d44bf46
- [r2003-09-16 21:30:42 by cvscast] Cleaning in progress... + no more... · 2da34588
  Pietro Abate authored Jul 10, 2007
```
[r2003-09-16 21:30:42 by cvscast] Cleaning in progress... + no more uppercase/lowercase distinction for
identifiers

Original author: cvscast
Date: 2003-09-16 21:30:45+00:00
```
  2da34588
- [r2003-07-24 15:11:47 by cvscast] Experiment with encoded references · 7199407c
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-07-24 15:12:14+00:00
```
  7199407c
- [r2003-07-06 18:37:58 by cvscast] Bug fix... · 255f8a00
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-07-06 18:37:58+00:00
```
  255f8a00
- [r2003-06-29 20:28:52 by cvscast] Continuing namespaces : records and print_xml -- Alain · 83f3cacc
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-29 20:28:53+00:00
```
  83f3cacc
- [r2003-06-25 23:11:01 by cvscast] Starting Namespaces -- Alain · a3e2c485
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-25 23:11:03+00:00
```
  a3e2c485