Permalink
Switch branches/tags
Nothing to show
Commits on Jun 6, 2015
  1. Avoid clang crash recovery.

    endobson committed Jun 6, 2015
Commits on Sep 29, 2014
  1. Adding first tests.

    endobson committed Sep 29, 2014
Commits on Sep 28, 2014
Commits on Sep 21, 2014
  1. Switch to clang, and llvm-3.5.

    endobson committed Sep 21, 2014
Commits on Sep 20, 2014
Commits on Sep 18, 2014
  1. Add doc to .gitignore.

    endobson committed Sep 18, 2014
Commits on Feb 26, 2013
  1. Cleanup C++ code.

    endobson committed Feb 26, 2013
  2. Added NOTES file.

    dyoo committed with endobson Jan 27, 2013
Commits on Jan 27, 2013
Commits on Dec 29, 2012
Commits on Nov 29, 2012
Commits on Nov 25, 2012
Commits on Nov 24, 2012
Commits on Feb 12, 2012
Commits on Nov 28, 2011
Commits on Oct 24, 2011
  1. Added gep0

    endobson committed Oct 24, 2011
  2. Cleaned up imports in examples.

    endobson committed Oct 24, 2011
  3. Cleanedup contracts

    endobson committed Oct 24, 2011
Commits on Oct 22, 2011
  1. Fixed reference contract

    endobson committed Oct 22, 2011
  2. Added TODO file

    endobson committed Oct 22, 2011
  3. Removed provide/contract

    endobson committed Oct 22, 2011
  4. Added += and -= to nbody

    endobson committed Oct 22, 2011
Commits on Oct 15, 2011
  1. Removed unneeded requires

    endobson committed Oct 15, 2011
Commits on Oct 14, 2011
  1. Removed -ref on many predicates

    endobson committed Oct 14, 2011