Permalink
Switch branches/tags
Nothing to show
Commits on Sep 1, 2012
  1. Translate subprogram calls to C.

    xlq committed Sep 1, 2012
Commits on Aug 31, 2012
  1. Annotate assignments with symbol versions.

    xlq committed Aug 31, 2012
    The same symbol_v is now re-used for the same assignment, making the set
    of versions for each symbol more useful.
  2. Store types in symbol_v.

    xlq committed Aug 31, 2012
    This makes the types available to the back end.
  3. Extra comments.

    xlq committed Aug 31, 2012
Commits on Aug 30, 2012
  1. Use symbol version objects instead of (symbol, version) pairs.

    xlq committed Aug 30, 2012
    This makes identity comparison, among other things, easier and clearer.
Commits on Aug 27, 2012
  1. Start writing a C back-end.

    xlq committed Aug 27, 2012
  2. Reject subprogram redefinition.

    xlq committed Aug 27, 2012
Commits on Aug 26, 2012
  1. Parse and translate packages.

    xlq committed Aug 26, 2012
  2. Handle Jump_term preconditions.

    xlq committed Aug 26, 2012
  3. Guess block preconditions.

    xlq committed Aug 26, 2012
Commits on Aug 25, 2012
  1. Solve constraints one at a time.

    xlq committed Aug 25, 2012
  2. Process integers.

    xlq committed Aug 25, 2012
  3. Start writing constraint solver.

    xlq committed Aug 25, 2012
Commits on Aug 23, 2012
  1. Symbol versions and nullary types.

    xlq committed Aug 23, 2012
    Add versions to symbols and type contexts, and make discrete types
    nullary. Instead of having B: Boolean(True), for example, the have just
    B: Boolean, with a constraint B#n == True, where n is the current
    version of B.
    
    This should simplify type checking and error reporting. But it probably
    won't.
Commits on Aug 22, 2012
Commits on Aug 20, 2012
Commits on Aug 15, 2012
  1. Initial commit.

    xlq committed Aug 15, 2012