Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Nov 2, 2019

• trying again with separation logic

  digama0

  committed
  0d5fb4d

  Copy full SHA for 0d5fb4d

Commits on Oct 31, 2019

• error message capitalization

  digama0

  committed
  f9f0e55

  Copy full SHA for f9f0e55

• improving multiple-file MM1 support, reporting

  digama0

  committed
  ab134f4

  Copy full SHA for ab134f4

Commits on Oct 29, 2019

• fix error message

  digama0

  committed
  3394f80

  Copy full SHA for 3394f80

• Add ConvSave command, documentation

  digama0

  committed
  3a4bd77

  Copy full SHA for 3a4bd77

• update for GCC 9

  digama0

  committed
  cdacf38

  Copy full SHA for cdacf38

Commits on Oct 28, 2019

• working on hoare logic

  digama0

  committed
  8d305ca

  Copy full SHA for 8d305ca

Commits on Oct 27, 2019

• determinism of the x86 decoder

  digama0

  committed
  79e2755

  Copy full SHA for 79e2755

• starting on assembly

  digama0

  committed
  705198f

  Copy full SHA for 705198f

• phantom types for expr

  digama0

  committed
  ab02ee2

  Copy full SHA for ab02ee2

• temporary variable allocation

  digama0

  committed
  b145829

  Copy full SHA for b145829

Commits on Oct 26, 2019

• update mmu syntax examples

  digama0

  committed
  acb9d89

  Copy full SHA for acb9d89

• bugfix peano.mm1 -> mmb generation

  digama0

  committed
  e022e64

  Copy full SHA for e022e64

• bugfix set.mm0

  digama0

  committed
  ddac8c5

  Copy full SHA for ddac8c5

• alternative formalization using matching logic

  digama0

  committed
  ef57871

  Copy full SHA for ef57871

• Add CC0 license

  digama0

  authored
  00ce21f

  Copy full SHA for 00ce21f

Commits on Oct 17, 2019

• separation logic prototyping

  digama0

  committed
  1757766

  Copy full SHA for 1757766

Commits on Oct 3, 2019

• formalizing soundness of MM0 by deep embedding to FOL

  digama0

  committed
  a16a49a

  Copy full SHA for a16a49a

Commits on Sep 13, 2019

• harden error reporting

  digama0

  committed
  9dda922

  Copy full SHA for 9dda922

Commits on Aug 24, 2019

• starting on x86.mm1

  digama0

  committed
  76badc1

  Copy full SHA for 76badc1

• update README

  digama0

  committed
  cdf4f7c

  Copy full SHA for cdf4f7c

Commits on Aug 23, 2019

• working on import multitasking

  digama0

  committed
  4ad75a9

  Copy full SHA for 4ad75a9

• bugfixes (set.mmb checks now!)

  digama0

  committed
  f67d32b

  Copy full SHA for f67d32b

• add MM -> MMB and MMU -> MMB, profiling + tuning

  digama0

  committed
  9e45b08

  Copy full SHA for 9e45b08

Commits on Aug 22, 2019

• MM0+MMU -> MMB

  digama0

  committed
  2b2a50c

  Copy full SHA for 2b2a50c

• from-mm: debugging, simplify MMU format

  Show description for e18e527
  digama0

  committed
  e18e527

  Copy full SHA for e18e527

Commits on Aug 21, 2019

• remove VExpr & simplify verifier

  Show description for b22dac1
  digama0

  committed
  b22dac1

  Copy full SHA for b22dac1

Commits on Aug 20, 2019

• verifier.c highwater support

  digama0

  committed
  09746b4

  Copy full SHA for 09746b4

• peano_hex.mm1

  digama0

  committed
  547d462

  Copy full SHA for 547d462

• show that ast parse failure is impossible in the type

  digama0

  committed
  d204b6f

  Copy full SHA for d204b6f

Commits on Aug 19, 2019

• basic import support

  digama0

  committed
  af27f0a

  Copy full SHA for af27f0a

Commits on Aug 18, 2019

• cleanup, add parallelization switch

  digama0

  committed
  329b782

  Copy full SHA for 329b782

• add DV checking

  digama0

  committed
  cd21707

  Copy full SHA for cd21707

Commits on Aug 17, 2019

• bugfix MMB read/export (peano.mmb checks now)

  digama0

  committed
  3a4ac69

  Copy full SHA for 3a4ac69

Commits on Aug 16, 2019

• add index export and reporting

  digama0

  committed
  868c03c

  Copy full SHA for 868c03c

Pagination

Previous

Next