Permalink
Switch branches/tags
Nothing to show
Commits on Feb 21, 2011
Commits on Feb 20, 2011
  1. Sized vectors example.

    yav committed Feb 20, 2011
Commits on Feb 12, 2011
  1. Add non-overloaded operations on bit victors.

    yav committed Feb 12, 2011
    These work better when the type cannot be inferred (e.g.,
    when we work with existentials).  The reason is that we can perform
    dynamic checks and create "Nat" values, but we cannot trick the class
    system to discharge something which is not known to be true statically.
Commits on Feb 11, 2011
  1. Avoid warning

    yav committed Feb 11, 2011
  2. Move to Data.*

    yav committed Feb 11, 2011
  3. Some more useful functions.

    yav committed Feb 11, 2011
Commits on Jan 9, 2011
  1. Examples

    yav committed Jan 9, 2011
Commits on Dec 13, 2010
  1. Add some more tests.

    yav committed Dec 13, 2010
    AC part of solving is not working correctly at the moment.
  2. Update for new bas interface

    yav committed Dec 13, 2010
Commits on Nov 28, 2010
  1. A wibble for easier testing.

    yav committed Nov 28, 2010
  2. Update for new notation.

    yav committed Nov 28, 2010
Commits on Nov 24, 2010
  1. Simplify the tests a bit

    yav committed Nov 24, 2010
Commits on Nov 23, 2010
  1. Fix least test

    yav committed Nov 23, 2010
Commits on Nov 16, 2010
  1. Export the new functions.

    yav committed Nov 16, 2010
Commits on Nov 13, 2010
  1. A bug fix and some more methods.

    yav committed Nov 13, 2010
Commits on Nov 12, 2010
  1. Finally a repo.

    yav committed Nov 12, 2010
    So much easier then copying files back and forth.