Permalink
Commits on Feb 24, 2016
  1. Fix failing test

    joyclark committed Feb 24, 2016
  2. toString for context

    joyclark committed Feb 24, 2016
  3. remove unicode characters

    joyclark committed Feb 24, 2016
Commits on Feb 22, 2016
Commits on Feb 19, 2016
  1. remove unnecessary print

    joyclark committed Feb 19, 2016
  2. Removing "upgrade latest"

    joyclark committed Feb 19, 2016
Commits on Feb 12, 2016
  1. add missing parser library

    joyclark committed Feb 12, 2016
  2. Merge branch 'feature/optimizeAlgorithms' into develop

    Conflicts:
    	de.prob2.kernel/build.gradle
    joyclark committed Feb 12, 2016
  3. import files from eventb-gen

    joyclark committed Feb 12, 2016
Commits on Feb 11, 2016
  1. All tests pass!

    joyclark committed Feb 11, 2016
  2. all unit tests pass

    joyclark committed Feb 11, 2016
Commits on Feb 10, 2016
Commits on Jan 8, 2016
  1. fixing bugs

    joyclark committed Jan 8, 2016
Commits on Jan 7, 2016
  1. modifying some of the tests

    joyclark committed Jan 7, 2016
Commits on Dec 23, 2015
  1. fix bug

    joyclark committed Dec 23, 2015
  2. new termination analysis

    joyclark committed Dec 23, 2015
  3. idea for termination algorithm

    joyclark committed Dec 23, 2015
Commits on Dec 22, 2015
  1. add all correct identifiers.

    joyclark committed Dec 22, 2015
  2. fix unending loop

    joyclark committed Dec 22, 2015
  3. update models

    joyclark committed Dec 22, 2015
Commits on Dec 10, 2015
Commits on Dec 4, 2015
Commits on Dec 3, 2015
  1. PROBCORE-915 ensure unique naming for generated elements (and better …

    …naming for typing_var and init_var)
    joyclark committed Dec 3, 2015
  2. rename end to end_algorithm

    joyclark committed Dec 3, 2015