Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 28, 2018

• update to README

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  79290ae

  Copy full SHA for 79290ae

• update to README

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  764b2c3

  Copy full SHA for 764b2c3

• added ENTROPY18 slides on DEC2

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  1d8e0fc

  Copy full SHA for 1d8e0fc

• added explanatory notes about DEC2, including an outline of the reflective interpreter

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  e660319

  Copy full SHA for e660319

• added info about the translation of DEC2 to CompCert C

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  7ae1169

  Copy full SHA for 7ae1169

• modified definition of CTyp to avoid use of axioms in the translation to CompCert C, which now evaluates on the test cases, added as a file (CTestI1.v)

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  8ffe8cc

  Copy full SHA for 8ffe8cc

Commits on Sep 21, 2018

• fixed a minor bug in the variable naming scheme, minor changes

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  4edd3d8

  Copy full SHA for 4edd3d8

Commits on Sep 19, 2018

• updates to the documentation, minor changes

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  9900889

  Copy full SHA for 9900889

• Semi-formal spec for the translation from Gallina to DEC2 (meant for the Digger tool)

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  01423db

  Copy full SHA for 01423db

• added translation to CompCert C

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  60a1950

  Copy full SHA for 60a1950

Commits on Sep 5, 2018

• minor changes to makedoc

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  237a257

  Copy full SHA for 237a257

• minor changes

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  08e91ec

  Copy full SHA for 08e91ec

• minor changes

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  9ea35ca

  Copy full SHA for 9ea35ca

• doc updates

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  8550fc5

  Copy full SHA for 8550fc5

• doc updates

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  62db0f3

  Copy full SHA for 62db0f3

• doc updates

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  aa5d062

  Copy full SHA for aa5d062

• doc updated

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  bf05d1a

  Copy full SHA for bf05d1a

• doc updated, final version of the vstte18 paper and slides

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  017913f

  Copy full SHA for 017913f

Commits on Sep 4, 2018

• README update

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  c74d374

  Copy full SHA for c74d374

• DEC2 new version, with proved semantic adequacy of reflection

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  09829cc

  Copy full SHA for 09829cc

Commits on Jul 15, 2018

• added vstte 2018 preprint

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  51aff1a

  Copy full SHA for 51aff1a

• added comment

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  3fb44ba

  Copy full SHA for 3fb44ba

Commits on Jul 12, 2018

• fixed typo

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  89fd272

  Copy full SHA for 89fd272

• added comments

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  ba5b977

  Copy full SHA for ba5b977

• added main.hs (tests for Haskell extraction) and OCaml extraction (not working)

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  8838048

  Copy full SHA for 8838048

Commits on Jun 23, 2018

• added alternative proof of initVAddrTable

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  cf42192

  Copy full SHA for cf42192

Commits on Apr 30, 2018

• changes for the VSTTE18 submission; changes to the verification using Ltac; added translation to Gallina; Sami's report addded to the documentation

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  700abc0

  Copy full SHA for 700abc0

• changes for the VSTTE18 submission; changes to the verification using Ltac; added translation to Gallina; Sami's report addded to the documentation

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  2dfbc38

  Copy full SHA for 2dfbc38

• changes for the VSTTE18 submission; changes to the verification using Ltac; added translation to Gallina; Sami's report addded to the documentation

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  fa7ac4a

  Copy full SHA for fa7ac4a

Commits on Mar 19, 2018

• DEC2: language specification and interpreters

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  31367a0

  Copy full SHA for 31367a0

Commits on Feb 6, 2018

• improved the REAME files

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  24bdaa4

  Copy full SHA for 24bdaa4

• improved the REAME files

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  356a844

  Copy full SHA for 356a844

• improved the REAME files

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  8200184

  Copy full SHA for 8200184

• improved the REAME files

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  7c5d3e0

  Copy full SHA for 7c5d3e0

• cleaned up the DEC1 files

  

  Paolo Torrini

  authored and

  Paolo Torrini

  committed
  73e8863

  Copy full SHA for 73e8863

Pagination

Previous

Next