Permalink
Switch branches/tags
Nothing to show
Commits on Jul 3, 2013
  1. Fix tests/Makfile rule order.

    Fix g++ 4.7.3 runtime compatibility.
    committed Jul 3, 2013
Commits on Jun 5, 2013
  1. Generate 1.01 version.

    committed Jun 5, 2013
Commits on Feb 7, 2013
  1. Re-generate distribution.

    committed Feb 7, 2013
  2. Fix g++ runtime compatibility.

    Fix tests/Makefile.
    committed Feb 7, 2013
Commits on Feb 6, 2013
  1. Fix ocamlcc-marshal.c dependency to memory.h.

    Fix tests/Makefile to be able to use ccache.
    committed Feb 6, 2013
Commits on Feb 4, 2013
  1. Fix md5 hex string.

    committed Feb 4, 2013
  2. Fix md5 pre-calculus.

    committed Feb 4, 2013
  3. Fix latest gcc warning on 4.00 runtime version.

    Re-generate distribution.
    committed Feb 4, 2013
Commits on Feb 3, 2013
  1. Re-generate distribution.

    committed Feb 3, 2013
  2. Fix marshalling/unmarshalling.

    Re-generate distribution.
    committed Feb 3, 2013
Commits on Jan 28, 2013
  1. Add 4.00 runtime.

    Multiple runtime managment.
    committed Jan 28, 2013
Commits on Jan 23, 2013
  1. Update distribution.

    committed Jan 23, 2013
Commits on Dec 31, 2012
  1. Fix bug: object managment: tag of GETPUBMET instruction.

    Re-generate distribution.
    committed Dec 31, 2012
  2. Better compilation chain (constant extraction).

    Add ocamlopt re-compilation in tests/.
    committed Dec 31, 2012
  3. Better constant extraction: integer write propagation.

    Fix bug: booleans considered as integers for constant extraction.
    committed Dec 31, 2012
Commits on Dec 30, 2012
  1. Re-generate distribution.

    committed Dec 30, 2012
  2. Re-generate distribution.

    committed Dec 30, 2012
Commits on Dec 29, 2012
  1. Fix tests/ cleaning.

    committed Dec 29, 2012
  2. Better constant extraction: "integer forcing" through environments.

    Re-generate distribution.
    committed Dec 29, 2012
  3. Better constant extraction: "integer forcing" through function calls.

    Re-generate distribution.
    committed Dec 29, 2012
Commits on Dec 24, 2012
  1. Fix bug: global stack pointer/stack resizing.

    Add register stack pointer option.
    Change stack pointer management option: -stack-pointer ( L | G | R ).
    Update man-pages.
    Re-generate distribution.
    committed Dec 24, 2012
Commits on Dec 20, 2012
Commits on Dec 19, 2012
  1. Re-generate distribution.

    committed Dec 19, 2012