Permalink
Switch branches/tags
Nothing to show
Commits on Mar 10, 2014
Commits on Nov 10, 2011
  1. Added Void$

    shriram committed Nov 10, 2011
  2. Merge pull request #4 from dyoo/master

    shriram committed Nov 10, 2011
    Corrects a type error in the define-struct hack to support local
Commits on Nov 9, 2011
  1. Corrects type error with first-order-sig.

    Danny Yoo
    Danny Yoo committed Nov 9, 2011
  2. test case to expose type error

    Danny Yoo
    Danny Yoo committed Nov 9, 2011
  3. Correction on the sig test support code to work on Unix: strip out th…

    Danny Yoo
    Danny Yoo committed Nov 9, 2011
    …e carriage returns.
Commits on Oct 26, 2011
Commits on Oct 25, 2011
  1. use pushd instead of cd

    shriram committed Oct 25, 2011
Commits on Oct 24, 2011
  1. .

    shriram committed Oct 24, 2011
Commits on Oct 21, 2011
  1. added SHARED printing

    shriram committed Oct 21, 2011
  2. updated

    shriram committed Oct 21, 2011
  3. Added support for undefined in SHARED; changed implementation of defi…

    shriram committed Oct 21, 2011
    …ne-struct: so SHARED could find the mutator
  4. small changes

    shriram committed Oct 21, 2011
  5. added SHARED tests

    shriram committed Oct 21, 2011
  6. added test cases

    shriram committed Oct 21, 2011
  7. added a test case

    shriram committed Oct 21, 2011
  8. Made binary mode explicit to enable correct checking of errors in fil…

    shriram committed Oct 21, 2011
    …es across Windows/Unix
Commits on Oct 10, 2011
  1. trivial changes

    shriram committed Oct 10, 2011
  2. Merge pull request #3 from dyoo/master

    shriram committed Oct 10, 2011
    Edits by Danny Yoo
Commits on Oct 5, 2011
  1. Merge commit 'origin/master'

    Danny Yoo
    Danny Yoo committed Oct 5, 2011
Commits on Sep 29, 2011
  1. adding test cases for printing of functions

    Danny Yoo
    Danny Yoo committed Sep 29, 2011
  2. ripping out the quasiquotes for the moment; we should do this systema…

    Danny Yoo
    Danny Yoo committed Sep 29, 2011
    …tically rather than ad-hoc
  3. correcting type error in raise-not-sig

    Danny Yoo
    Danny Yoo committed Sep 29, 2011
Commits on Sep 28, 2011
  1. Merge pull request #1 from dyoo/master

    shriram committed Sep 28, 2011
    Removal of the runtime use of raise-runtime-error with raise-signature-failure
Commits on Sep 26, 2011
  1. made the test cases more specific by specifying column number where t…

    Danny Yoo
    Danny Yoo committed Sep 26, 2011
    …he highlight begins
  2. starting to add quasisyntax to make the stack trace more accurate, bu…

    Danny Yoo
    Danny Yoo committed Sep 26, 2011
    …t I think I need to talk with SK about this.
  3. adding more tests

    Danny Yoo
    Danny Yoo committed Sep 26, 2011
  4. improving test cases so they check the highlight. Also preserving mor…

    Danny Yoo
    Danny Yoo committed Sep 26, 2011
    …e source location so they don't leak implementation of sigs.rkt into the stack trace.
  5. check-violation-highlights

    Danny Yoo
    Danny Yoo committed Sep 26, 2011