Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 19, 2019

• Add POPL paper pdf

  zoickx

  committed
  05094f3

  Copy full SHA for 05094f3

Commits on Jul 5, 2019

• removed irrelevant c stuff

  akinanop

  committed
  1a551fe

  Copy full SHA for 1a551fe

Commits on Jul 4, 2019

• spec on int

  akinanop

  committed
  93b3a7d

  Copy full SHA for 93b3a7d

• Add minimal C light examples

  zoickx

  committed
  77b683e

  Copy full SHA for 77b683e

Commits on Jul 3, 2019

• updated presentation

  akinanop

  committed
  a6fb6a4

  Copy full SHA for a6fb6a4

• some consmetic changes in int proofs

  akinanop

  committed
  960d1c4

  Copy full SHA for 960d1c4

• changed to unsigned int

  akinanop

  committed
  1c0b735

  Copy full SHA for 1c0b735

Commits on Jul 1, 2019

• Merge branch 'master' of github.com:digamma-ai/asn1fpcoq

  akinanop

  committed
  4c27115

  Copy full SHA for 4c27115

• presentation final version

  akinanop

  committed
  6f8ee8e

  Copy full SHA for 6f8ee8e

Commits on Jun 27, 2019

• Delete strlen_spec.v~

  akinanop

  authored
  22a5b98

  Copy full SHA for 22a5b98

• Delete presentation.nav

  akinanop

  authored
  fb25845

  Copy full SHA for fb25845

• presentation done

  akinanop

  committed
  6e6f506

  Copy full SHA for 6e6f506

Commits on Jun 26, 2019

• slides op. semantics, syntax and ast

  akinanop

  committed
  6bbc9fb

  Copy full SHA for 6bbc9fb

• cleanup

  akinanop

  committed
  ed91c46

  Copy full SHA for ed91c46

• ignore tex aux files

  akinanop

  committed
  2902979

  Copy full SHA for 2902979

• slides on op. semantics and strlen example

  akinanop

  committed
  58edc5f

  Copy full SHA for 58edc5f

Commits on Jun 25, 2019

• c light syntax and operational semantics tutorial draft

  akinanop

  committed
  e477e51

  Copy full SHA for e477e51

• detailed commented proof for operational semantics tutorial

  akinanop

  committed
  820f9d3

  Copy full SHA for 820f9d3

• mac version of strlen

  akinanop

  committed
  3f7e7d2

  Copy full SHA for 3f7e7d2

Commits on Jun 24, 2019

• trying coqhammer

  akinanop

  committed
  02cda06

  Copy full SHA for 02cda06

• removed lemma about no overflow of add

  akinanop

  committed
  47bb20a

  Copy full SHA for 47bb20a

• experimenting with equivalence proof (right to left)

  akinanop

  committed
  818a6c7

  Copy full SHA for 818a6c7

Commits on Jun 21, 2019

• notes on refinement techniques

  akinanop

  committed
  e03a206

  Copy full SHA for e03a206

• notes on op semantics and refinement

  akinanop

  committed
  0a92ae5

  Copy full SHA for 0a92ae5

Commits on Jun 20, 2019

• presentation: limitations

  akinanop

  committed
  0141280

  Copy full SHA for 0141280

• arithmetic proofs continued, lemmas about int wrapping, one left

  akinanop

  committed
  b524076

  Copy full SHA for b524076

• arithmetic proofs

  akinanop

  committed
  7975bad

  Copy full SHA for 7975bad

Commits on Jun 19, 2019

• rewrote the proof with assumption no_int_overflow

  akinanop

  committed
  cb737e0

  Copy full SHA for cb737e0

• cleanup induction

  akinanop

  committed
  4d42ddf

  Copy full SHA for 4d42ddf

Commits on Jun 18, 2019

• added asn_strtoimax_lim function and its c light version

  akinanop

  committed
  6626f01

  Copy full SHA for 6626f01

• presentation skeleton

  akinanop

  committed
  bbe9f7c

  Copy full SHA for bbe9f7c

Commits on Jun 17, 2019

• merge

  akinanop

  committed
  aebe3bc

  Copy full SHA for aebe3bc

• proofs with no pointer wrapping finished

  akinanop

  committed
  8bf2fba

  Copy full SHA for 8bf2fba

• lemma for relating ltu and no-wrap condition

  akinanop

  committed
  e0660da

  Copy full SHA for e0660da

• to_mem continue

  akinanop

  committed
  944f125

  Copy full SHA for 944f125

Pagination

Previous

Next