Permalink
Commits on May 29, 2017
  1. tidying up

    lucasem committed May 29, 2017
Commits on May 26, 2017
  1. clippy

    lucasem committed May 26, 2017
  2. old-ish changes

    lucasem committed May 26, 2017
Commits on May 9, 2017
  1. superurop no longer WIP

    lucasem committed May 9, 2017
Commits on May 8, 2017
  1. gplv3

    lucasem committed May 8, 2017
Commits on May 3, 2017
Commits on May 2, 2017
  1. update deps, fmt

    lucasem committed May 2, 2017
  2. bug fix with Orient logic

    lucasem committed May 2, 2017
Commits on Apr 24, 2017
  1. fixed do_everything script

    lucasem committed Apr 24, 2017
Commits on Apr 19, 2017
Commits on Apr 8, 2017
Commits on Apr 7, 2017
Commits on Mar 24, 2017
  1. more log_level options

    lucasem committed Mar 24, 2017
Commits on Mar 22, 2017
  1. add overview to readme

    lucasem committed Mar 22, 2017
Commits on Mar 21, 2017
  1. small readme update

    lucasem committed Mar 21, 2017
  2. refactor iter_max

    lucasem committed Mar 21, 2017
  3. remove etc from this repo

    lucasem committed Mar 21, 2017
Commits on Mar 11, 2017
  1. cli args

    lucasem committed Mar 11, 2017
  2. graphviz output

    lucasem committed Mar 11, 2017
Commits on Mar 9, 2017
Commits on Mar 8, 2017
  1. more documentation

    lucasem committed Mar 8, 2017
  2. added README

    lucasem committed Mar 8, 2017
Commits on Mar 4, 2017
Commits on Mar 2, 2017
  1. added ec

    lucasem committed Mar 2, 2017
Commits on Feb 27, 2017