Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Branch: master
Commits on Sep 2, 2015
  1. Temporary removed AJ-LMP-Pointcuts from tests as its importing in the

    authored
    workspace stalls (new AspectJ compiler bug).
  2. Merge branch 'master' of https://github.com/cderoove/damp.ekeko.aspectj

    authored
    # By Johan Fabry
    # Via Johan Fabry
    * 'master' of https://github.com/cderoove/damp.ekeko.aspectj:
      I had forgotten to commit the latest version of the assumptions ...
      Updated the reamde
    
    Conflicts:
    	damp.ekeko.aspectj.plugin/src/damp/ekeko/aspectj/assumptions.clj
  3. Updated maven configuration

    authored
Commits on Jul 14, 2015
  1. @jfabry
Commits on Jul 9, 2015
  1. @jfabry

    Updated the reamde

    jfabry authored
Commits on Jul 7, 2015
  1. @cnoguera

    a comma

    cnoguera authored
  2. @cnoguera
  3. @cnoguera

    partial merge

    cnoguera authored
Commits on May 28, 2015
  1. @cnoguera

    Added preds from paper

    cnoguera authored
Commits on May 6, 2015
  1. Updated maven configuration.

    authored
Commits on May 5, 2015
  1. Brought GASR up-to-date with Ekeko's revised handling of arrays (use

    authored
    today's Ekeko commit). All tests green.
Commits on Feb 4, 2015
  1. Removed unused Repeatable imports.

    authored
    Ensured Java 7 rather than 8 is set for project.
Commits on Dec 18, 2014
  1. @jfabry

    All annotation and assumptions tests are green again. Still missing f…

    jfabry authored
    …unctionality and tests for control flow assumptions.
  2. @jfabry

    Fix for type-type|pattern2 such that the pattern passed to type-type|…

    jfabry authored
    …pattern at the end always really is a string
Commits on Dec 16, 2014
  1. @jfabry

    There's lots of FAIL to fix ...

    jfabry authored
Commits on Dec 15, 2014
  1. @jfabry

    New pattern matching works.

    jfabry authored
  2. @jfabry

    The OneOf test was missing

    jfabry authored
  3. @jfabry
Commits on Dec 13, 2014
  1. @jfabry
Commits on Dec 11, 2014
  1. @jfabry
  2. @jfabry
  3. @jfabry
  4. Added typepatterns-matches/2

    authored
Commits on Dec 10, 2014
  1. @jfabry
  2. @jfabry
Commits on Dec 9, 2014
  1. Fixed bug in annotation-key-value/3 relation where the ?value is

    authored
    supposed to be a String (those ended up as Clojure symbols instead).
  2. @jfabry
Commits on Dec 5, 2014
  1. @jfabry
  2. @jfabry

    Fixture for @Excludes

    jfabry authored
  3. @jfabry

    More test fixtures.

    jfabry authored
Commits on Dec 4, 2014
  1. @jfabry

    Annotation assumptions and tests, first go: @Requires, using type.

    jfabry authored
    Gets a null pointer exception ...
    (damp.ekeko/ekeko [?reqd ?reqs] (missing|required-requires ?reqd ?reqs))
    NullPointerException   clojure.core.logic.Choice (logic.clj:1094)
Commits on Dec 3, 2014
  1. @jfabry

    Finished @RequiresPrevious and @ExcludesPrevious and their tests. All…

    jfabry authored
    … annotations defined and tested.
Something went wrong with that request. Please try again.