Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 4, 2018

• Updating to TFF / TFX

  emptylambda

  committed
  294dbe5

  Copy full SHA for 294dbe5

Commits on Dec 20, 2017

• link to tptp update

  emptylambda

  committed
  db126c3

  Copy full SHA for db126c3

• Update current status

  emptylambda

  committed
  1f5d06f

  Copy full SHA for 1f5d06f

• Update to TFX

  Show description for 144dcfb
  emptylambda

  committed
  144dcfb

  Copy full SHA for 144dcfb

Commits on Nov 28, 2017

• added benchmarks

  emptylambda

  committed
  15e9459

  Copy full SHA for 15e9459

Commits on Oct 11, 2017

• Spaces...

  emptylambda

  committed
  d2c16dd

  Copy full SHA for d2c16dd

• Update interface

  emptylambda

  committed
  f1d0a04

  Copy full SHA for f1d0a04

Commits on Jul 11, 2017

• Merge branch 'new_blt' of github.com:emptylambda/BLT into new_blt

  emptylambda

  committed
  eb1787e

  Copy full SHA for eb1787e

• presentation + new blt

  emptylambda

  committed
  389b413

  Copy full SHA for 389b413

• New presentation using ox-reveal

  emptylambda

  committed
  b7cd97b

  Copy full SHA for b7cd97b

Commits on Jun 26, 2017

• Staging

  emptylambda

  committed
  a77240d

  Copy full SHA for a77240d

Commits on Jun 7, 2017

• Update

  emptylambda

  committed
  1206551

  Copy full SHA for 1206551

• Merge branch 'presentation_slides'

  emptylambda

  committed
  f50fe41

  Copy full SHA for f50fe41

• Add iFM link

  emptylambda

  committed
  57bc71c

  Copy full SHA for 57bc71c

• Presentation

  emptylambda

  committed
  39116f7

  Copy full SHA for 39116f7

• Merge pull request #1 from emptylambda/HEAD

  Show description for cbe4eb9
  emptylambda

  authored
  cbe4eb9

  Copy full SHA for cbe4eb9

• Off running contact?

  emptylambda

  committed
  ce89012

  Copy full SHA for ce89012

Commits on Jun 2, 2017

• removing

  emptylambda

  committed
  d569d3b

  Copy full SHA for d569d3b

Commits on May 4, 2017

• update

  emptylambda

  committed
  d3404f3

  Copy full SHA for d3404f3

Commits on May 3, 2017

• Lic

  emptylambda

  committed
  73c76de

  Copy full SHA for 73c76de

• Port most content (Still need cleaning up)

  emptylambda

  committed
  eee0c4d

  Copy full SHA for eee0c4d

• Unix Binary link

  emptylambda

  committed
  1350ddd

  Copy full SHA for 1350ddd

• unix binary

  emptylambda

  committed
  5d62d16

  Copy full SHA for 5d62d16

• FOOL side

  emptylambda

  committed
  f2e8122

  Copy full SHA for f2e8122

• minor update

  emptylambda

  committed
  7fbb3d2

  Copy full SHA for 7fbb3d2

• raw instead of blob

  emptylambda

  committed
  3cbbef7

  Copy full SHA for 3cbbef7

• Perma link

  emptylambda

  committed
  0d6bf33

  Copy full SHA for 0d6bf33

• Update with link

  emptylambda

  committed
  bdad416

  Copy full SHA for bdad416

• Porting src/Boogie

  emptylambda

  committed
  b40bab7

  Copy full SHA for b40bab7

• Src

  emptylambda

  committed
  3382000

  Copy full SHA for 3382000

• Initialized dir

  emptylambda

  committed
  f5555cf

  Copy full SHA for f5555cf

Commits on Apr 7, 2017

• testing config

  emptylambda

  committed
  263e89b

  Copy full SHA for 263e89b

• fill in

  emptylambda

  committed
  7e795c2

  Copy full SHA for 7e795c2

Commits on Apr 6, 2017

• update

  emptylambda

  committed
  b8f1f48

  Copy full SHA for b8f1f48

• Update

  emptylambda

  authored
  2a6b03f

  Copy full SHA for 2a6b03f

Pagination

Previous

Next