Permalink
Commits on Dec 10, 2013
  1. Merge pull request #6 from pgj/master

    Add support for disabling generation of executables.
    avsm committed Dec 10, 2013
Commits on Sep 10, 2013
Commits on Dec 18, 2012
  1. rename NEWS to CHANGES

    avsm committed Dec 18, 2012
Commits on Oct 1, 2012
  1. do not depend on dyntype.syntax in the test suite, to suppress a doub…

    …le linking exception
    avsm committed Oct 1, 2012
  2. update copyright years

    avsm committed Oct 1, 2012
  3. update gitignore for OASIS

    avsm committed Oct 1, 2012
  4. Merge http://github.com/pdonadeo/dyntype

    Conflicts:
    	META
    	Makefile
    	_tags
    	lib_test/test_value.ml
    avsm committed Oct 1, 2012
  5. Generate simpler top-level value bindings for p4_value.

    Previously, a `type t = int` would generate:
    ```
    let (value_of_t : ?id_seed: (Int64.t ref) -> t -> Dyntype.Value.t) =
    ```
    
    Now, we generate the simpler:
    ```
    let value_of_t = <...>
    ```
    
    This is because type_conv-108.07.00 attempts to parse the toplevel
    bindings and generate dummy references to suppress the OCaml4
    'unused variable' warning.  This generation is buggy, and does not
    differentiate between value bindings and the type hints.
    avsm committed Oct 1, 2012
  6. remove old OCamlMakefile markers

    avsm committed Oct 1, 2012
  7. use type_conv-108.07.02 types

    avsm committed Oct 1, 2012
  8. remove unused p4_type from lib

    avsm committed Oct 1, 2012
Commits on Sep 30, 2012
  1. add a simple test value

    avsm committed Sep 30, 2012
  2. record annot files

    avsm committed Sep 30, 2012
  3. fix test suite compilation

    avsm committed Sep 30, 2012
  4. fix suite name to Dyntype

    avsm committed Sep 30, 2012
Commits on Sep 23, 2012
Commits on Sep 22, 2012
Commits on Sep 12, 2012
  1. Bump the working version

    samoht committed Sep 12, 2012
  2. Bump version number

    samoht committed Sep 12, 2012
  3. Fix broken dyntype

    samoht committed Sep 12, 2012
Commits on Aug 5, 2012
  1. move trunk to 0.8.4dev

    avsm committed Aug 5, 2012
Commits on Jun 22, 2012