Commits

Branch selector

 master

User selector

TiarkRompf

Datepicker

All time

Commit History

Commits on Sep 15, 2020

• shallow.v

  TiarkRompf

  committed
  5c023ff

  Copy full SHA for 5c023ff

Commits on Feb 12, 2020

• elaboration experiment

  TiarkRompf

  committed
  d2d1dbc

  Copy full SHA for d2d1dbc

Commits on Jan 14, 2020

• Merge pull request #10 from ZequanWu/dev2

  Show description for d3ba622
  TiarkRompf

  authored
  d3ba622

  Copy full SHA for d3ba622

• Merge pull request #9 from ZequanWu/dev

  Show description for 3e1e851
  TiarkRompf

  authored
  3e1e851

  Copy full SHA for 3e1e851

Commits on Jan 13, 2020

• Merge pull request #11 from ZequanWu/dev3

  Show description for c0488a7
  TiarkRompf

  authored
  c0488a7

  Copy full SHA for c0488a7

• Merge pull request #8 from ZequanWu/master

  Show description for 74100b0
  TiarkRompf

  authored
  74100b0

  Copy full SHA for 74100b0

Commits on Oct 31, 2019

• strenghten lemma done

  TiarkRompf

  committed
  37c885d

  Copy full SHA for 37c885d

• alternative: construct val_type_tnt evidence from val_type

  TiarkRompf

  committed
  6b0dfd6

  Copy full SHA for 6b0dfd6

• missed a few cases

  TiarkRompf

  committed
  76cd603

  Copy full SHA for 76cd603

• track class of closure in vabs

  Show description for 7e7f2bc
  TiarkRompf

  committed
  7e7f2bc

  Copy full SHA for 7e7f2bc

• baby steps toward full paths

  TiarkRompf

  committed
  2f544e7

  Copy full SHA for 2f544e7

• update to Coq 8.10

  TiarkRompf

  committed
  3d0ba01

  Copy full SHA for 3d0ba01

• copy total_rec from ecoop17

  TiarkRompf

  committed
  9a2fd05

  Copy full SHA for 9a2fd05

• update to Coq 8.10

  TiarkRompf

  committed
  7de4292

  Copy full SHA for 7de4292

• dsubsup_tal.v from ecoop17

  TiarkRompf

  committed
  e7586b9

  Copy full SHA for e7586b9

• fill in easy cases

  TiarkRompf

  committed
  9c15559

  Copy full SHA for 9c15559

• checkpoint, highlighting some issues

  TiarkRompf

  committed
  7c1e90f

  Copy full SHA for 7c1e90f

• coq does not like - in file names

  TiarkRompf

  committed
  fd1eb9a

  Copy full SHA for fd1eb9a

Commits on Oct 26, 2019

• cp -r stlc0.v stlc-combined0.v

  TiarkRompf

  committed
  fc49e39

  Copy full SHA for fc49e39

• full proof in stlc0.v

  Show description for 892e58e
  TiarkRompf

  committed
  892e58e

  Copy full SHA for 892e58e

• cp stlc1.v stlc0.v

  TiarkRompf

  committed
  8484070

  Copy full SHA for 8484070

Commits on Oct 25, 2019

• tunrec case. main proof done, lemmas remain

  TiarkRompf

  committed
  4f676f1

  Copy full SHA for 4f676f1

• lambda case

  TiarkRompf

  committed
  021ab70

  Copy full SHA for 021ab70

• placeholder for missing case

  TiarkRompf

  committed
  0d60d9c

  Copy full SHA for 0d60d9c

• sn proof skeleton, with some shotguns

  TiarkRompf

  committed
  26d6204

  Copy full SHA for 26d6204

• copy & paste termination proof (currently broken)

  TiarkRompf

  committed
  dfcc7d0

  Copy full SHA for dfcc7d0

• stlc soundness (with recursion cap enabled)

  TiarkRompf

  committed
  b99e516

  Copy full SHA for b99e516

• stlc soundness done (always terminates)

  Show description for a48a2c8
  TiarkRompf

  committed
  a48a2c8

  Copy full SHA for a48a2c8

• add soundness proof from scala-escape

  TiarkRompf

  committed
  cbd0e05

  Copy full SHA for cbd0e05

• add defs

  TiarkRompf

  committed
  6bc0d5e

  Copy full SHA for 6bc0d5e

• init stlc1 from scala-escape

  TiarkRompf

  committed
  37edebf

  Copy full SHA for 37edebf

Commits on Jul 19, 2017

• typo in link

  TiarkRompf

  committed
  5d8a895

  Copy full SHA for 5d8a895

• update readme to include ecoop17

  TiarkRompf

  committed
  8cab5f4

  Copy full SHA for 8cab5f4

Commits on Apr 26, 2017

• Merge pull request #6 from feiwang3311/patch-4

  Show description for c1ea51b
  TiarkRompf

  authored
  c1ea51b

  Copy full SHA for c1ea51b

• Merge pull request #5 from feiwang3311/patch-3

  Show description for 1bf1ad0
  TiarkRompf

  authored
  1bf1ad0

  Copy full SHA for 1bf1ad0

Pagination

Previous

Next