Commits · 88876142ce3c705f45a3e15906ef0dcfac2bb953 · cduce / cduce

10 Jul, 2007 40 commits
- [r2003-06-17 15:49:59 by cvscast] Review type-checking of strings (TODO: clean the parser; improve · 88876142
  Pietro Abate authored Jul 10, 2007
```
pretty-printing of errors)

Original author: cvscast
Date: 2003-06-17 15:50:00+00:00
```
  88876142
- [r2003-06-17 06:12:57 by cvscast] Clean · 5c9f5faa
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-17 06:12:57+00:00
```
  5c9f5faa
- [r2003-06-17 05:33:21 by cvscast] Clean -- Alain · f00863af
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-17 05:33:21+00:00
```
  f00863af
- [r2003-06-17 05:25:24 by cvscast] xtransform => width tail-rec -- Alain · 50a2cf01
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-17 05:25:24+00:00
```
  50a2cf01
- [r2003-06-17 05:10:58 by cvscast] map-transform => tail-rec -- Alain · 4e12c465
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-17 05:10:58+00:00
```
  4e12c465
- [r2003-06-15 21:47:15 by cvscast] different exit codes depending on the validation outcome zack · c75ba1e8
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-15 21:47:15+00:00
```
  c75ba1e8
- [r2003-06-15 21:46:12 by cvscast] - added support for xsd:all term · b5a60dcc
  Pietro Abate authored Jul 10, 2007
```
- bugfix: empty content model now supported

- bugfix: reference to global attributes works zack

Original author: cvscast
Date: 2003-06-15 21:46:12+00:00
```
  b5a60dcc
- [r2003-06-15 21:44:31 by cvscast] ignore PHP files · 70ffb472
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-15 21:44:31+00:00
```
  70ffb472
- [r2003-06-15 21:43:43 by cvscast] - fixed test.sh so that complains about unexistent arguments · 0b0b4294
  Pietro Abate authored Jul 10, 2007
```
- added regtests for xsd:all

- added regtest for global attribute references

- added regtest for recursive types in the interpreter zack

Original author: cvscast
Date: 2003-06-15 21:43:43+00:00
```
  0b0b4294
- [r2003-06-13 17:03:43 by cvscast] Rewrote Value.iter_xml -- Alain · 3555daad
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-13 17:03:43+00:00
```
  3555daad
- [r2003-06-13 16:37:58 by cvscast] Bug Value.compare xml · cb620d61
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-13 16:37:58+00:00
```
  cb620d61
- [r2003-06-13 16:15:38 by cvscast] get rid of ";;" · 3cf870be
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-13 16:15:38+00:00
```
  3cf870be
- [r2003-06-13 16:12:26 by cvscast] added support for recursive schema types · 9347cbc7
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-13 16:12:26+00:00
```
  9347cbc7
- [r2003-06-13 10:24:26 by cvscast] - added two tests for the interpreter · d260560c
  Pietro Abate authored Jul 10, 2007
```
- added another recursion test case

Original author: cvscast
Date: 2003-06-13 10:24:26+00:00
```
  d260560c
- [r2003-06-13 10:03:21 by cvscast] zack: synced with new schema_types · de8be9c0
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-13 10:03:21+00:00
```
  de8be9c0
- [r2003-06-13 10:02:51 by cvscast] - removed unneeded refs from Schema_types · 19a1e69f
  Pietro Abate authored Jul 10, 2007
```
- use iter_xml instead of explode_rev to generate streams of PXP
  events from a CDuce value

Original author: cvscast
Date: 2003-06-13 10:02:51+00:00
```
  19a1e69f
- [r2003-06-13 10:02:09 by cvscast] removed explode_rev in favor of a new iter_xml function · 28af6c94
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-13 10:02:09+00:00
```
  28af6c94
- [r2003-06-12 15:09:46 by cvscast] Starting recursive types in Schema · 0e8a467a
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-12 15:09:46+00:00
```
  0e8a467a
- [r2003-06-12 14:45:36 by cvscast] added regtest for various integer types · 30f2aa98
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-12 14:45:37+00:00
```
  30f2aa98
- [r2003-06-12 14:45:13 by cvscast] added regtest for (mutual) recursive content models · d50c3b57
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-12 14:45:14+00:00
```
  d50c3b57
- [r2003-06-12 13:30:29 by cvscast] Pretty-printer · 53f894f1
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-12 13:30:30+00:00
```
  53f894f1
- [r2003-06-12 13:15:56 by cvscast] Merging schema branch · 6845fbfa
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-12 13:16:00+00:00
```
  6845fbfa
- [r2003-06-12 11:54:45 by cvscast] Merging schema · 3734ff91
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-12 11:54:49+00:00
```
  3734ff91
- [r2003-06-12 11:47:52 by cvscast] Empty log message · 0913da13
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-12 11:47:52+00:00
```
  0913da13
- [r2003-06-11 22:05:29 by cvscast] Beppe: corrected small errorrs · aedeea6d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-11 22:05:29+00:00
```
  aedeea6d
- [r2003-06-11 09:28:06 by cvscast] Fixed computation of dependencies · f014416d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-11 09:28:06+00:00
```
  f014416d
- [r2003-06-09 09:22:25 by cvscast] Empty log message · 78fe94b3
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-09 09:22:25+00:00
```
  78fe94b3
- [r2003-06-09 09:09:58 by cvscast] Synchro on errors -- Alain · 84952203
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-09 09:10:55+00:00
```
  84952203
- [r2003-06-09 00:25:07 by cvscast] Empty log message · 32d98b12
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-09 00:25:07+00:00
```
  32d98b12
- [r2003-06-08 23:58:49 by cvscast] Empty log message · 7bdf06ed
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-08 23:58:49+00:00
```
  7bdf06ed
- [r2003-06-08 23:38:19 by cvscast] Beppe: typos in run.ml. Updated manual page · b3cdf2c3
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-08 23:38:19+00:00
```
  b3cdf2c3
- [r2003-06-08 15:29:46 by cvscast] beppe: added example of Unix script · 555567be
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-08 15:29:46+00:00
```
  555567be
- [r2003-06-08 10:12:43 by cvscast] addrbook bench · a49c4f2d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-08 10:12:44+00:00
```
  a49c4f2d
- [r2003-06-08 09:00:22 by cvscast] MAJ CHANGES · 91aa8db9
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-08 09:00:22+00:00
```
  91aa8db9
- [r2003-06-08 08:54:55 by cvscast] Getting rid of ;; and let fun in manual · ec9acbe0
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-08 08:57:28+00:00
```
  ec9acbe0
- [r2003-06-08 08:43:13 by cvscast] Bug fix for operator div · dcc0d64b
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-08 08:43:13+00:00
```
  dcc0d64b
- [r2003-06-08 08:39:25 by cvscast] Update examples · 2cb84f5d
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-08 08:39:25+00:00
```
  2cb84f5d
- [r2003-06-08 08:33:52 by cvscast] Clean load_xml · f59b1e05
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-08 08:34:36+00:00
```
  f59b1e05
- [r2003-06-07 17:57:14 by cvscast] Empty log message · 5c0d6308
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-07 17:57:14+00:00
```
  5c0d6308
- [r2003-06-07 17:17:13 by cvscast] Benchmarks · c29ea0e3
  Pietro Abate authored Jul 10, 2007
```
Original author: cvscast
Date: 2003-06-07 17:17:13+00:00
```
  c29ea0e3