Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 9, 2024

• make word try iPureIntro

  sanjit-bhat

  committed
  c70744a

  Copy full SHA for c70744a

Commits on Nov 8, 2024

• qed hist_extend_put

  sanjit-bhat

  committed
  588e45d

  Copy full SHA for 588e45d

Commits on Nov 7, 2024

• move reusable list lemmas

  sanjit-bhat

  committed
  9cc3891

  Copy full SHA for 9cc3891

Commits on Oct 27, 2024

• add nat_thru_w64_id lemma

  sanjit-bhat

  committed
  4318c11

  Copy full SHA for 4318c11

Commits on Oct 11, 2024

• Add string notation for list w8

  tchajed

  committed
  86b7e03

  Copy full SHA for 86b7e03

Commits on Sep 17, 2024

• Merge pull request mit-pdos#117 from proux01/stdlib_repo

  Show description for d4f705d
  tchajed

  authored
  d4f705d

  Copy full SHA for d4f705d

• Adapt to coq/coq#19530

  proux01

  committed
  4586708

  Copy full SHA for 4586708

Commits on Sep 12, 2024

• Bump std++ and Iris

  Show description for 9ae5f9c
  tchajed

  committed
  9ae5f9c

  Copy full SHA for 9ae5f9c

Commits on Sep 3, 2024

• Make word rewrite in hypotheses

  tchajed

  committed
  a85849f

  Copy full SHA for a85849f

Commits on Sep 2, 2024

• Fix the word FIXME

  tchajed

  committed
  33510ab

  Copy full SHA for 33510ab

• Improve word's rewriting

  Show description for 2de7bbb
  tchajed

  committed
  2de7bbb

  Copy full SHA for 2de7bbb

Commits on Aug 30, 2024

• Make word more powerful

  Show description for c719f9a
  tchajed

  committed
  c719f9a

  Copy full SHA for c719f9a

Commits on Aug 28, 2024

• Fix some of the word issues in proofs

  tchajed

  committed
  e7a79b0

  Copy full SHA for e7a79b0

Commits on Aug 27, 2024

• Make wp_if_destruct and word more powerful

  Show description for 66e31c3
  tchajed

  committed
  66e31c3

  Copy full SHA for 66e31c3

Commits on Aug 16, 2024

• Bump iris and stdpp

  Show description for b1d1143
  tchajed

  committed
  b1d1143

  Copy full SHA for b1d1143

Commits on Jul 31, 2024

• updated ctxt var inference in list helpers without making full ci, oops

  sanjit-bhat

  committed
  c3f3395

  Copy full SHA for c3f3395

• add list helper lemmas for singleton / snoc exists

  sanjit-bhat

  committed
  6b7c0ab

  Copy full SHA for 6b7c0ab

• add map_difference_union' lemma

  sanjit-bhat

  committed
  337ec69

  Copy full SHA for 337ec69

Commits on Jul 25, 2024

• qed server put func, add word lemma about w64 -> nat -> w64 id

  sanjit-bhat

  committed
  089d268

  Copy full SHA for 089d268

Commits on Jul 12, 2024

• small tweaks

  sanjit-bhat

  committed
  dd2a147

  Copy full SHA for dd2a147

• remove w64 layer of indirection

  sanjit-bhat

  committed
  9098acd

  Copy full SHA for 9098acd

• Improvements to word library for simplefs

  tchajed

  committed
  0acb8cb

  Copy full SHA for 0acb8cb

• Improvements to list library for simplefs

  tchajed

  committed
  8d5a045

  Copy full SHA for 8d5a045

• Add replicate to listz

  tchajed

  committed
  c258e7c

  Copy full SHA for c258e7c

• Add some automation to ListZ

  tchajed

  committed
  78d9529

  Copy full SHA for 78d9529

• Add the core take/drop/app theory to ListZ

  tchajed

  committed
  eb0c1c0

  Copy full SHA for eb0c1c0

Commits on Jul 11, 2024

• More progress on ListZ

  tchajed

  committed
  a62bde0

  Copy full SHA for a62bde0

• Start writing ListZ library

  tchajed

  committed
  43ffbab

  Copy full SHA for 43ffbab

Commits on Jul 10, 2024

• add ring structure for w64, not word64

  sanjit-bhat

  committed
  fb050df

  Copy full SHA for fb050df

Commits on Jun 28, 2024

• Use new zify support in buf_proof

  tchajed

  committed
  9210a6b

  Copy full SHA for 9210a6b

• Teach zify about div and mod

  tchajed

  committed
  81b8234

  Copy full SHA for 81b8234

Commits on Jun 24, 2024

• update old merkle proofs

  sanjit-bhat

  committed
  4ea0720

  Copy full SHA for 4ea0720

Commits on May 10, 2024

• revamp integer conversions to support signed ints

  zeldovich

  committed
  445cfb8

  Copy full SHA for 445cfb8

• fix word_cleanup infinite loop

  Show description for 7297833
  zeldovich

  committed
  7297833

  Copy full SHA for 7297833

Commits on May 8, 2024

• switch to W64, w64, etc

  zeldovich

  committed
  4293e53

  Copy full SHA for 4293e53

Pagination

Previous

Next