Commits

Branch selector

 master

User selector

namin

Datepicker

All time

Commit History

Commits on Apr 5, 2021

• missing word

  namin

  authored
  0ce29b3

  Copy full SHA for 0ce29b3

Commits on Mar 23, 2017

• Merge pull request #4 from TiarkRompf/temp

  Show description for 1d17ac5
  namin

  authored
  1d17ac5

  Copy full SHA for 1d17ac5

Commits on Mar 11, 2017

• Update README.md

  namin

  authored
  59fb394

  Copy full SHA for 59fb394

• cp fsubsup.v ../dev2016/fsubsup.v

  namin

  committed
  cabae9a

  Copy full SHA for cabae9a

• remove obsolete wip

  namin

  committed
  3cb120a

  Copy full SHA for 3cb120a

• solve admit as planned by two pass

  namin

  committed
  fbc32e7

  Copy full SHA for fbc32e7

Commits on Oct 13, 2016

• consistent casing

  namin

  authored
  1fcb3ad

  Copy full SHA for 1fcb3ad

Commits on Oct 10, 2016

• Update README.md

  namin

  authored
  ef1143d

  Copy full SHA for ef1143d

Commits on Sep 18, 2016

• ../dev2015/dot24.v dot.v

  namin

  committed
  38b02fb

  Copy full SHA for 38b02fb

• ../dev2016/dsub_bot.v dsubsup.v

  namin

  committed
  8ace69c

  Copy full SHA for 8ace69c

• cp ../dev2016/fsubsup.v .

  namin

  committed
  cce5fa2

  Copy full SHA for cce5fa2

• ../dev2016/fsub0_exn.v

  namin

  committed
  00b9bbf

  Copy full SHA for 00b9bbf

• ../dev2016/fsub0_mut.v

  namin

  committed
  3cedbca

  Copy full SHA for 3cedbca

• ../dev2016/fsub0.v

  namin

  committed
  946d034

  Copy full SHA for 946d034

• ../dev2015/nano0.v stlc.v

  namin

  committed
  300e3d1

  Copy full SHA for 300e3d1

• Rename big_step.md to big-step.md

  namin

  authored
  0d8c276

  Copy full SHA for 0d8c276

• Create big_step.md

  namin

  authored
  dc63a89

  Copy full SHA for dc63a89

Commits on Sep 15, 2016

• update links

  namin

  authored
  84c4518

  Copy full SHA for 84c4518

• add links to most recent devs

  namin

  authored
  d2cf06b

  Copy full SHA for d2cf06b

• put dev summary

  namin

  authored
  f53ec03

  Copy full SHA for f53ec03

• whitespace cleanup

  namin

  committed
  70ed4a3

  Copy full SHA for 70ed4a3

• F<:> except for one-pass pushback with admit, can we keep it one pass?

  namin

  committed
  2f238b5

  Copy full SHA for 2f238b5

• cp fsub0_bot.v fsubsup.v

  namin

  committed
  7d9b8a8

  Copy full SHA for 7d9b8a8

• exceptions

  namin

  committed
  65d1356

  Copy full SHA for 65d1356

• bot

  namin

  committed
  7ce0f9a

  Copy full SHA for 7ce0f9a

• cp fsub0.v fsub0_bot.v

  namin

  committed
  2e5f778

  Copy full SHA for 2e5f778

• cp fsub0.v fsub0_exn.v

  namin

  committed
  f302d93

  Copy full SHA for f302d93

Commits on Sep 14, 2016

• mutable refs

  namin

  committed
  bb393de

  Copy full SHA for bb393de

• cp fsub0.v fsub0_mut.v

  namin

  committed
  9836247

  Copy full SHA for 9836247

Commits on Sep 12, 2016

• try again, relative links

  namin

  authored
  8e939e1

  Copy full SHA for 8e939e1

• fix relative links

  namin

  authored
  d771dde

  Copy full SHA for d771dde

Commits on Sep 8, 2016

• link to OOPSLA'16 DOT preprint

  namin

  authored
  bf0bf61

  Copy full SHA for bf0bf61

• formatting, consistent naming

  namin

  authored
  8554553

  Copy full SHA for 8554553

Commits on Aug 22, 2016

• update alt soundness too

  namin

  committed
  8dd7b3c

  Copy full SHA for 8dd7b3c

• update proof to include lookup condition like in paper

  namin

  committed
  bcfe996

  Copy full SHA for bcfe996

Pagination

Previous

Next