Permalink
Switch branches/tags
Commits on Apr 8, 2012
  1. Fixed up Makefile

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

    robsimmons committed Apr 8, 2012
    A couple of fixups
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…

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

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

    robsimmons committed Jul 12, 2010
    …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
  2. Fix broken example; now correctly parsing paths. This will probably b…

    robsimmons committed Jul 12, 2010
    …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
Commits on Jul 11, 2010
  1. Pushed through a decl signature; it should now be easy to add annotat…

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

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

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

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

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

    robsimmons committed Jul 8, 2010
    … 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
  5. Update with ASCII syntax

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

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

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

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

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

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

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

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

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

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

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

    robsimmons committed Mar 23, 2010
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@110 88e30042-7354-0410-bf5e-e4d69759226d
Commits on Mar 17, 2010
  1. Minor changes; create UTF8ISLOVE

    robsimmons committed Mar 17, 2010
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@107 88e30042-7354-0410-bf5e-e4d69759226d
Commits on Nov 19, 2009
  1. Check in changes

    robsimmons committed Nov 19, 2009
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@79 88e30042-7354-0410-bf5e-e4d69759226d
Commits on Aug 3, 2009
  1. Create 0.1 point release

    robsimmons committed Aug 3, 2009
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@77 88e30042-7354-0410-bf5e-e4d69759226d
  2. Modify readme.txt

    robsimmons committed Aug 3, 2009
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@76 88e30042-7354-0410-bf5e-e4d69759226d
  3. Probably ready for the first point release

    robsimmons committed Aug 3, 2009
    git-svn-id: https://svn.concert.cs.cmu.edu/lollibot/trunk@75 88e30042-7354-0410-bf5e-e4d69759226d