Commits

Branch selector

 8f29a43

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 10, 2019

• add slides and ITP version

  garrigue

  committed
  8f29a43

Commits on Sep 9, 2019

• avoid moving

  garrigue

  committed
  24001dd

• add another proof

  tzskp1

  committed
  f5f9722

• shorten

  garrigue

  committed
  4b8c4a9

• add selecti and selectiE

  garrigue

  committed
  172bc60

Commits on Sep 4, 2019

• small clean-up in LOUDS

  garrigue

  committed
  56721ce

Commits on Jun 29, 2019

• level_traversalE is a special case of level_traversalE' (renamed to

  Show description for c8a6544
  affeldt-aist

  committed
  c8a6544

Commits on Jun 28, 2019

• rename nearly_redblack' as deleted_redblack

  garrigue

  committed
  5a27f1e

• minor cleaning (factorization, implicit, naming)

  affeldt-aist

  committed
  d67d91c

Commits on Jun 27, 2019

• shorten proofs for set/clear

  garrigue

  committed
  977567e

• update opam file

  

  Reynald Affeldt

  committed
  58a8cfb

• file renaming

  affeldt-aist

  committed
  d8faa5a

• remove on warning in dyn_dep_tactic.v

  affeldt-aist

  committed
  b1fd166

• xxxE convention

  affeldt-aist

  committed
  caedc24

• st/lt_ok -> st/ltE

  affeldt-aist

  committed
  4085990

• sumnE made its way into bigop

  affeldt-aist

  committed
  4c5b87a

Commits on Jun 13, 2019

• Added links to previous papers

  xuanruiqi

  committed
  7fe15b4

Commits on Jun 12, 2019

• Added section about axioms used.

  xuanruiqi

  committed
  579681f

• fix

  affeldt-aist

  committed
  924d3a5

• update installation instructions

  affeldt-aist

  committed
  bdaeeb1

Commits on Jun 11, 2019

• tentative opam file

  affeldt-aist

  committed
  abb9824

Commits on Jun 7, 2019

• use split in lo_traversal_lt for clarity

  garrigue

  committed
  247a48d

Commits on Jun 5, 2019

• clean up

  tzskp1

  committed
  693e49d

• simplify.

  tzskp1

  committed
  6b3b886

• Merge branch 'master' of github.com:affeldt-aist/succinct

  tzskp1

  committed
  47baa77

• refactor proof of ddelete.

  tzskp1

  committed
  9fed660

• Fixed merge conflict

  xuanruiqi

  committed
  bce0149

• Fixed a proof that no longer worked due to refactorings.

  xuanruiqi

  committed
  74171cb

• adopt the same nameing stlye.

  tzskp1

  committed
  5f21167

• more factorization

  affeldt-aist

  committed
  cb3fa01

• more factorization

  affeldt-aist

  committed
  849bba4

• more factorization

  affeldt-aist

  committed
  e38256a

• factorize the dflatten functions and easy lemmas

  affeldt-aist

  committed
  600e83a

Commits on Jun 4, 2019

• factorize one lemma about tree

  affeldt-aist

  committed
  fbb9573

• fix and factorize one lemma

  affeldt-aist

  committed
  65268f3

Pagination

PreviousNext