Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Apr 5, 2023

• console io example

  wilcoxjay

  committed
  bb0a844

  Copy full SHA for bb0a844

Commits on Jun 28, 2022

• causal.dfy

  wilcoxjay

  committed
  7d726d8

  Copy full SHA for 7d726d8

Commits on Apr 29, 2022

• Percentile.dfy

  wilcoxjay

  committed
  8a7abb8

  Copy full SHA for 8a7abb8

Commits on Apr 14, 2022

• downup_search: delete unused abs()

  wilcoxjay

  committed
  ce53a12

  Copy full SHA for ce53a12

• downup_search.dfy

  wilcoxjay

  committed
  c04a0e8

  Copy full SHA for c04a0e8

• notes

  wilcoxjay

  committed
  597c698

  Copy full SHA for 597c698

Commits on Oct 31, 2021

• InductionPrinciples.v

  wilcoxjay

  committed
  dca038e

  Copy full SHA for dca038e

Commits on Jul 16, 2021

• dafny example with a state in its model

  wilcoxjay

  committed
  24b5da7

  Copy full SHA for 24b5da7

Commits on May 16, 2021

• djg-spell.rkt

  wilcoxjay

  committed
  f47824b

  Copy full SHA for f47824b

Commits on Dec 9, 2020

• uninterpreted sorts

  wilcoxjay

  committed
  5d984c2

  Copy full SHA for 5d984c2

Commits on Oct 11, 2020

• Regular.dfy

  wilcoxjay

  committed
  a43c2b1

  Copy full SHA for a43c2b1

Commits on Jul 24, 2020

• indigo.pyv

  wilcoxjay

  committed
  1c1e96d

  Copy full SHA for 1c1e96d

Commits on Nov 27, 2018

• lazylist.c

  wilcoxjay

  committed
  84fca47

  Copy full SHA for 84fca47

Commits on Oct 16, 2018

• filtermap.dfy

  wilcoxjay

  committed
  61f14e2

  Copy full SHA for 61f14e2

Commits on Oct 8, 2018

• IndependentComposition.v

  wilcoxjay

  committed
  74e1073

  Copy full SHA for 74e1073

Commits on Oct 6, 2018

• dijkstra-horn.py

  wilcoxjay

  committed
  d845f51

  Copy full SHA for d845f51

Commits on Sep 23, 2018

• some comments

  wilcoxjay

  committed
  db07f8a

  Copy full SHA for db07f8a

• fileio

  wilcoxjay

  committed
  7a75ee2

  Copy full SHA for 7a75ee2

Commits on Sep 18, 2018

• goddity

  wilcoxjay

  committed
  113e50c

  Copy full SHA for 113e50c

Commits on Sep 15, 2018

• DafnyAst.hs

  wilcoxjay

  committed
  1b44355

  Copy full SHA for 1b44355

Commits on Sep 12, 2018

• cozy blog post notes

  wilcoxjay

  committed
  f2fc0bb

  Copy full SHA for f2fc0bb

• using bound vars from z3py

  wilcoxjay

  committed
  9dd8454

  Copy full SHA for 9dd8454

• paxos

  wilcoxjay

  committed
  2eda8ac

  Copy full SHA for 2eda8ac

Commits on Sep 5, 2018

• cozy: minor refactor

  wilcoxjay

  committed
  a0958b8

  Copy full SHA for a0958b8

• cozy.v: improve iteration by not revisiting small expressions

  wilcoxjay

  committed
  45ba228

  Copy full SHA for 45ba228

• ExtensionalMaps: add keys_empty lemma to sortedmap

  wilcoxjay

  committed
  e78c454

  Copy full SHA for e78c454

Commits on Sep 4, 2018

• cozy: prove completeness with equivalence-class-based enumeration

  wilcoxjay

  committed
  fc12171

  Copy full SHA for fc12171

• add keys operation to sortedmap

  wilcoxjay

  committed
  40a3f09

  Copy full SHA for 40a3f09

Commits on Sep 2, 2018

• prove completeness of enumerating up to height modulo a list of inputs

  

  James Wilcox

  authored and

  James Wilcox

  committed
  398c0bb

  Copy full SHA for 398c0bb

Commits on Sep 1, 2018

• cozy.v: proving soundness of the enumeration by key

  

  James Wilcox

  authored and

  James Wilcox

  committed
  f20f8ba

  Copy full SHA for f20f8ba

• typos

  

  James Wilcox

  authored and

  James Wilcox

  committed
  a64cce1

  Copy full SHA for a64cce1

• all_up_to_height_mod enumerates equivalence classes of expressions

  

  James Wilcox

  authored and

  James Wilcox

  committed
  1acb28d

  Copy full SHA for 1acb28d

• ExtensionalMaps: add sortedmap.values

  

  James Wilcox

  authored and

  James Wilcox

  committed
  1f9a20e

  Copy full SHA for 1f9a20e

• bunch o' garbage to get a map with keys of type list nat

  

  James Wilcox

  authored and

  James Wilcox

  committed
  1b1cba2

  Copy full SHA for 1b1cba2

Commits on Aug 31, 2018

• decrease redundancy in enumeration

  

  James Wilcox

  authored and

  James Wilcox

  committed
  004fc48

  Copy full SHA for 004fc48