Permalink
Commits on May 21, 2011
  1. Script for making releases.

    rgrig committed May 21, 2011
Commits on May 20, 2011
  1. small tweaks

    rgrig committed May 20, 2011
  2. Fied Makefiles to work when dirs names contain ' '.

    Dino Distefano committed with rgrig May 19, 2011
Commits on May 18, 2011
  1. Forced make to use /bin/bash.

    Certain commands like "echo -e" don't work with other shells.
    rgrig committed May 18, 2011
  2. note

    rgrig committed May 18, 2011
Commits on May 17, 2011
  1. Fixed 'make clean'.

    (again)
    rgrig committed May 17, 2011
  2. Fixed 'make clean'.

    rgrig committed May 17, 2011
  3. Moved to ocamlbuild.

    rgrig committed May 17, 2011
Commits on Apr 19, 2011
  1. Made garbage a predicate.

    rgrig committed Apr 19, 2011
Commits on Apr 13, 2011
  1. Moved out all coreStar artefacts from jStar and made the build depend…

    …ent on coreStar. Removed inductive and invariants. Cleaned up the parser a bit.
    MatkoBotincan committed Apr 13, 2011
Commits on Apr 11, 2011
  1. In smt module, check whether there are new equalities found by checki…

    …ng cardinality of the partitions.
    MatkoBotincan committed with Jan 16, 2011
Commits on Apr 10, 2011
Commits on Mar 31, 2011
  1. tweaks

    rgrig committed Mar 31, 2011
  2. Removed failing test

    committed Mar 31, 2011
Commits on Mar 29, 2011
  1. Made scripts/unused more robust.

    rgrig committed Mar 29, 2011
  2. Nothing.

    rgrig committed Mar 29, 2011
Commits on Mar 4, 2011
  1. Removed Jparser.new_line.

    It is the same as Lexing.new_line (from the standard lib).
    rgrig committed Mar 4, 2011
Commits on Feb 28, 2011
  1. Small steps towards making jstar linux-style.

    - ./configure --prefix DIR; make; make install; DIR/jstar *should* work
    rgrig committed Feb 28, 2011
  2. Simplified *nix build instructions

    rgrig committed Feb 28, 2011
Commits on Feb 3, 2011
  1. Simple configure script.

    For now, just check for the ocaml compiler.
    rgrig committed Feb 3, 2011
Commits on Feb 2, 2011
  1. Requirements for a release.

    rgrig committed Feb 2, 2011
Commits on Jan 21, 2011
  1. added fairly stupid memoisation to the SMT module

    committed with Michael Dodds Jan 21, 2011
Commits on Jan 12, 2011
  1. Implemented join of heaps over their numeric part in a different way.…

    … This time seems to be working really well. (see commit 5b42b1 to vfc branch)
    MatkoBotincan committed Jan 12, 2011
Commits on Jan 11, 2011
  1. Added more elaborate abstract interpretation plugin interface (abstra…

    …ct_val, join, meet, widening). Added (optional) join to symbolic execution (When checking is abstracted heap already implied ignore numerical obligations and join them in).
    MatkoBotincan committed Jan 11, 2011
Commits on Jan 5, 2011
  1. From the commits to the vfc branch:

    - Fix for determined_exists to check if all things in the equivalence class are marked as existential instead of if just the variable is marked as existential.
    
    - Fix for a bug in translating existentials to smt -- if evar appears on both sides then it should be treated as universal.
    
    - Fix for the fix of a bug with existentials -- exclude on rhs evars appearing in equalities and ineqalities from ts.
    
    - Added more debug output for symbolic execution.
    MatkoBotincan committed Jan 5, 2011
Commits on Jan 4, 2011
  1. Updated plugin interface to store refs instead od values in the plugin

    registry. Added separate makefile for building plugin interface for clients
    (TBC).
    MatkoBotincan committed Jan 4, 2011
  2. Updated plugin interface to store refs instead od values in the plugi…

    …n registry. Added separate makefile for building plugin interface for clients (TBC).
    MatkoBotincan committed Jan 4, 2011
Commits on Dec 26, 2010
Commits on Dec 20, 2010