Commits · v0.6.3 · Kate / CUDF · GitLab

Aug 03, 2012
- prepare for 0.6.3 release, fill in changelong · 8d2e5439
  Stefano Zacchiroli authored Aug 03, 2012
  
  View commits for tag v0.6.3 v0.6.3
  
  8d2e5439
- add Cudf.(>%), dual of Cudf.(<%) · 851b418b
  Stefano Zacchiroli authored Aug 03, 2012
  851b418b
- bugfix: ensure status sizes are correct after Cudf.status projection · c242301d
  Stefano Zacchiroli authored Aug 03, 2012
  
  c242301d
- testsuite: check that sizes are correct after Cudf.status · 8c2979d0
  Stefano Zacchiroli authored Aug 03, 2012
  8c2979d0
- noop change: indentation · 35c0fab2
  Stefano Zacchiroli authored Aug 03, 2012
  
  35c0fab2
Jul 31, 2012
- Cudf: add ability to lookup type declaration of core and extra package properties at once · cd9dabb3
  Stefano Zacchiroli authored Jul 31, 2012
  
  cd9dabb3
- file headers: fix my email address · 028637bc
  Stefano Zacchiroli authored Jul 31, 2012
  
  028637bc
- bump copyright headers · 68c7b292
  Stefano Zacchiroli authored Jul 31, 2012
  68c7b292
- refactoring: implement raw property access on top of typed property access · 9c2a228b
  Stefano Zacchiroli authored Jul 31, 2012
  9c2a228b
- testsuite: add tests for raw property access · 7ce5f0e3
  Stefano Zacchiroli authored Jul 31, 2012
  7ce5f0e3
Jul 30, 2012
- test suite: add printers almost everywhere · dba75200
  Stefano Zacchiroli authored Jul 30, 2012
  dba75200
- Cudf: new functions to lookup properties as typed value · 4f740775
  Stefano Zacchiroli authored Jul 30, 2012
  4f740775
- Makefile: output needed newline after test runner execution · 0c17beb9
  Stefano Zacchiroli authored Jul 30, 2012
  
  0c17beb9
- bump version and mark it as ongoing development · b57e6b63
  Stefano Zacchiroli authored Jul 30, 2012
  
  b57e6b63
- Cudf_conf: offer direct access to per-stanza type declaration · be37ab7e
  Stefano Zacchiroli authored Jul 30, 2012
  be37ab7e
- minor: deduplicate list of enums for the keep property · 281999a9
  Stefano Zacchiroli authored Jul 30, 2012
  
  281999a9
Feb 06, 2012
- port "make dist" implementation from SVN to Git · d78dd9c3
  Stefano Zacchiroli authored Feb 06, 2012
  
  View commits for tag v0.6.2 v0.6.2
  
  d78dd9c3
- drop "make deb" support · 5b279e6c
  Stefano Zacchiroli authored Feb 06, 2012
  5b279e6c
- changelog: amend my email address for contacts · 18a4c78e
  Stefano Zacchiroli authored Feb 06, 2012
  
  18a4c78e
- fix version for release: 0.6.2 · ab99cf95
  Stefano Zacchiroli authored Feb 06, 2012
  
  ab99cf95
- gitignore: ignore generated cudf_822_parser.ml* · 795ad70d
  Stefano Zacchiroli authored Feb 06, 2012
  
  795ad70d
Nov 28, 2011
- expose generic higher order printers in Cudf_printer · f789206d
  Stefano Zacchiroli authored Nov 28, 2011
  f789206d
Nov 27, 2011
- ChangeLog: document uid maps and who_provides generalization · b047e8da
  Stefano Zacchiroli authored Nov 27, 2011
  
  b047e8da
- Cudf: improve the documentation for uid-related functions · fccb9687
  Stefano Zacchiroli authored Nov 27, 2011
  
  fccb9687
- .gitignore: ignore generate stuff · d94eb97f
  Stefano Zacchiroli authored Nov 27, 2011
  
  d94eb97f
Oct 25, 2011
- - cudf patch 2nd try · f3d85e20
  Pietro Abate authored Oct 25, 2011
  
  f3d85e20
- - associate an integer identifier to each package · ed02e42a
  Pietro Abate authored Oct 25, 2011
  ed02e42a
Sep 15, 2011
- bugfix: allow parsing of empty universe and of request-only document · e8f4163b
  Stefano Zacchiroli authored Sep 15, 2011
  View commits for tag v0.6.1 v0.6.1
  
  e8f4163b
Jun 06, 2011
- - new build system · b6c93287
  Pietro Abate authored Jun 06, 2011
  b6c93287
Jun 01, 2011
- ChangeLog: finalize for 0.6 release · 1dad3de1
  Stefano Zacchiroli authored Jun 01, 2011
  
  View commits for tag v0.6 v0.6
  
  1dad3de1
May 31, 2011
- Cudf_printer: add IO.output based API · 32576edb
  Stefano Zacchiroli authored May 31, 2011
  32576edb
- Cudf_printer.pp_cudf: avoid extra blank line before request · b26515c3
  Stefano Zacchiroli authored May 31, 2011
  
  b26515c3
- add test suite for Cudf_printer · f16ed423
  Stefano Zacchiroli authored May 31, 2011
  
  f16ed423
May 30, 2011
- fix pretty printing of "enum[...]" type · a3248bce
  Stefano Zacchiroli authored May 30, 2011
  
  a3248bce
May 27, 2011
- ChangeLog: highlight that pp changes have affected the API · 6930ab21
  Stefano Zacchiroli authored May 27, 2011
  
  6930ab21
- bump version number to 0.6 (still UNRELEASED) · 684edbea
  Stefano Zacchiroli authored May 27, 2011
  
  684edbea
- update copyright years · a97e0c89
  Stefano Zacchiroli authored May 27, 2011
  
  a97e0c89
- move TODO list to the forge issue tracker · e2fbd178
  Stefano Zacchiroli authored May 27, 2011
  
  e2fbd178
- doc: clarify is_solution meaning wrt inconsistent universes · 096d77b9
  Stefano Zacchiroli authored May 27, 2011
  
  096d77b9
- ChangeLog: mention caml_hash_variant linking with -ldl · 741038c0
  Stefano Zacchiroli authored May 27, 2011
  
  741038c0