Commits · 05d29e59418593172aa91f40d0960e63b3f60202 · cduce / cduce

12 Dec, 2013 1 commit
- Rename test files and clean up · 05d29e59
  Pietro Abate authored Dec 12, 2013
```
typesOUnit.cma won't compile for some strange reason
```
  05d29e59
11 Dec, 2013 3 commits
- Remove all .cvsignore files now unused · e0c8c80b
  Pietro Abate authored Dec 11, 2013
  
  e0c8c80b
- Add new unit tests for the subtyping algorithm · a1e281b3
  Pietro Abate authored Dec 11, 2013
  
  a1e281b3
- Adapt Types.Descr.t to use the new BDD base data structure · a2da41f0
  Pietro Abate authored Dec 03, 2013
  
  a2da41f0
03 Dec, 2013 11 commits
- Propagate data structure changes throught the code · 1c1ca633
  Pietro Abate authored Nov 23, 2013
  
  1c1ca633
- Add unit tests for BoolVar · f2f4c46b
  Pietro Abate authored Nov 21, 2013
  
  f2f4c46b
- Add unit test infrastructure for BoolVar DS · eb3233e4
  Pietro Abate authored Nov 20, 2013
  
  eb3233e4
- Add new ternary trees to store variables. · 962d1c80
  Pietro Abate authored Nov 20, 2013
  
  962d1c80
- Remove quite a bit of old commented code · cbc5ac98
  Pietro Abate authored Oct 16, 2013
  
  cbc5ac98
- Add infrastructure to parse polymorphic variables · 2e8e5b6e
  Pietro Abate authored Oct 16, 2013
```
For the moment are identied as `$X and interpreted as atoms
```
  2e8e5b6e
- Add monomorphic unit tests · 9cce0b22
  Pietro Abate authored Oct 15, 2013
```
All tests are taken from the poly cduce prototype.
All tests pass.
```
  9cce0b22
- Create cduce_test.cma for easy testing · 6638cc53
  Pietro Abate authored Oct 10, 2013
  
  6638cc53
- Add basic test infrastructure · f7d126f9
  Pietro Abate authored Oct 09, 2013
```
based on oUnit
```
  f7d126f9
- Remove problem related to the PR#2920 in OCaml BTS · f43cdb3c
  Pietro Abate authored Oct 09, 2013
  
  f43cdb3c
- Remove duplicate signature due to an ocaml 3.07 problem · 59969f2a
  Pietro Abate authored Oct 09, 2013
```
this patch probably makes cduce inomcpatible with ocaml 3.07
```
  59969f2a
16 Jul, 2013 5 commits
- typos · fdb75653
  Giuseppe Castagna authored Jul 16, 2013
  
  fdb75653
- No commit message · 8808d8f2
  Giuseppe Castagna authored Jul 16, 2013
```
No commit message
```
  8808d8f2
- updated examples · ab17ed27
  Giuseppe Castagna authored Jul 16, 2013
  
  ab17ed27
- Build: changed installation directory for cgi-bin · 737d3229
  Giuseppe Castagna authored Jul 16, 2013
  
  737d3229
- Reworked examples · 4cd9a053
  Giuseppe Castagna authored Jul 16, 2013
  
  4cd9a053
15 Jul, 2013 1 commit
- correction on build cgi · d66e11fe
  Giuseppe Castagna authored Jul 15, 2013
  
  d66e11fe
12 Jul, 2013 1 commit
- small typos · 87fe9c8b
  Giuseppe Castagna authored Jul 12, 2013
  
  87fe9c8b
11 Jul, 2013 3 commits
- Fixed accents · 4579d783
  Giuseppe Castagna authored Jul 11, 2013
  
  4579d783
- Changed encodings · b8bc9674
  Giuseppe Castagna authored Jul 11, 2013
  
  b8bc9674
- Updated in order to upgrade cgi-scripts from netcgi1 to netcgi2 · 585648b4
  Giuseppe Castagna authored Jul 10, 2013
  
  585648b4
24 Oct, 2011 1 commit
- Bumped version to 0.5.5 · 1a360e64
  Jérôme Maloberti authored Oct 24, 2011
  
  1a360e64
17 Oct, 2011 1 commit
- Add load_xml_subst and print_xml_subst for namespaces substitution. · 253d89fd
  Jérôme Maloberti authored Oct 17, 2011
  
  253d89fd
24 Jun, 2011 1 commit
- No commit message · c5e3c464
  Giuseppe Castagna authored Jun 24, 2011
```
No commit message
```
  c5e3c464
16 May, 2011 1 commit
- Bumped version to 0.5.4 · 5127ec59
  Jérôme Maloberti authored May 16, 2011
  
  5127ec59
13 May, 2011 8 commits
- Removed trace. · c2beb02f
  Jérôme Maloberti authored May 13, 2011
  
  c2beb02f
- Added types for Any and File in services. · 9b62b72a
  Jérôme Maloberti authored May 13, 2011
  
  9b62b72a
- Move suffix in Service from attribute to litteral + namespace in Service. · c74af225
  Jérôme Maloberti authored May 13, 2011
  
  c74af225
- Added list for services. · d4f2d9b9
  Jérôme Maloberti authored May 13, 2011
  
  d4f2d9b9
- Added const and end suffix to services. · 94822f79
  Jérôme Maloberti authored May 13, 2011
  
  94822f79
- Add suffix in services as an attribute. · 41e26c72
  Jérôme Maloberti authored May 13, 2011
  
  41e26c72
- Fix issues in services for multiple parameters of same type and [] parameter (Epsilon). · 02ac63de
  Jérôme Maloberti authored May 13, 2011
  
  02ac63de
- Add Services for Ocsigen. · bb6194bb
  Jérôme Maloberti authored May 13, 2011
  
  bb6194bb
08 Mar, 2011 1 commit
- Correct previous fix + improve error message in case of missing namespace. · 63328458
  Jérôme Maloberti authored Mar 08, 2011
  
  63328458
03 Mar, 2011 1 commit
- Fix a bug with wildcard for namespaces (ns:*). · ce53c58e
  Jérôme Maloberti authored Mar 03, 2011
  
  ce53c58e
28 Feb, 2011 1 commit
- Fix in ocaml interface from Matti Jokinen. · be4cb4d2
  Jérôme Maloberti authored Feb 28, 2011
  
  be4cb4d2