Permalink
Commits on Dec 16, 2012
  1. Merge pull request #5 from mmirman/patch-3

    makefile whitespace
    robsimmons committed Dec 16, 2012
Commits on Dec 13, 2012
  1. makefile whitespace

    github's browser editor might have a bug?
    mmirman committed Dec 13, 2012
  2. Merge pull request #4 from mmirman/patch-1

    server and command line were swapped
    robsimmons committed Dec 13, 2012
  3. server and command were swapped

    mmirman committed Dec 13, 2012
Commits on Apr 9, 2012
  1. Merge pull request #2 from maurer/master

    Makefile fixes
    robsimmons committed Apr 9, 2012
Commits on Apr 8, 2012
  1. Fixed up Makefile

    maurer committed Apr 8, 2012
  2. Merge pull request #1 from msullivan/master

    A couple of fixups
    robsimmons committed Apr 8, 2012
Commits on Apr 5, 2012
  1. Add a .gitignore file.

    msullivan committed Apr 5, 2012
Commits on Apr 3, 2012
  1. Actually make ollibot code doable in ASCII by adding $ as a shorthand…

    … for gnab
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@296 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Apr 3, 2012
Commits on Feb 17, 2011
  1. Wow, never checked in vaguely important example

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@294 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Feb 17, 2011
Commits on Jul 12, 2010
  1. Fix all the examples broken by the change of binder syntax - a space …

    …now must appear after a binder - Lambda x. x not Lambda x.x.
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@293 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 12, 2010
  2. Fix broken example; now correctly parsing paths. This will probably b…

    …reak a number of examples, because in ?x.x, 'x.x' is now treated as a compound path ID(['x'],'x') and not as ID('x'), PERIOD, ID('x').
    
    Realizing this, it's likely that we should transition to a different character for end-of-binder or else a different character for compound paths. I'm not certain what the correct balance is, however.
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@292 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 12, 2010
Commits on Jul 11, 2010
  1. Pushed through a decl signature; it should now be easy to add annotat…

    …ed lambdas to the parser generator.
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@289 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 11, 2010
  2. Update parser with better binding infrastructure

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@288 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 11, 2010
Commits on Jul 8, 2010
  1. Fix web server so that I can tag this point and do breaking changes f…

    …rom here
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@286 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 8, 2010
  2. added call-by-name ordered proof example

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@285 88e30042-7354-0410-bf5e-e4d69759226d
    iliano committed Jul 8, 2010
  3. Add old liveness debugging example

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@284 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 8, 2010
  4. Install some (hopefully non-breaking) changes that I had made locally…

    … in the service of trying to introduce linear connectives; to make progress I probably need to introduce the breaking change of requiring atomic propositions to be introduced (linear, persistent, or ordered)
    
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@283 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 8, 2010
  5. Update with ASCII syntax

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@282 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Jul 8, 2010
Commits on Apr 1, 2010
  1. Typos and inconsistencies more

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@129 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Apr 1, 2010
Commits on Mar 30, 2010
  1. Change negspantree.olf for illustrative purposes

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@123 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 30, 2010
Commits on Mar 29, 2010
  1. Stratificaiton now maybe works

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@119 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 29, 2010
  2. Infrastructure for toposort and stratified negation

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@117 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 29, 2010
  3. A new example with negation and the basics of toposort

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@116 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 29, 2010
Commits on Mar 25, 2010
  1. Add linear modal negation and examples

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@115 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 25, 2010
  2. Move tests to a separate directory

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@114 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 25, 2010
  3. Update all OLF files to the new syntax

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@113 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 25, 2010
  4. Update syntax; MOST EXAMPLES ARE NOT CAUGHT uP

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@112 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 25, 2010
Commits on Mar 23, 2010
  1. Add kripkie examples

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@111 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 23, 2010
  2. Ugh it's gonna make me committ

    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@110 88e30042-7354-0410-bf5e-e4d69759226d
    robsimmons committed Mar 23, 2010