Commits

Breadcrumbs

History for

on9fed660

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 3, 2019

• update to Coq 8.9.1 and MathComp 1.9.0

  affeldt-aist

  committed
  403ef8a

  Copy full SHA for 403ef8a

Commits on Mar 21, 2019

• lo_traversal_res -> lo_fringe

  garrigue

  committed
  de4c50f

  Copy full SHA for de4c50f

Commits on Mar 19, 2019

• adjust code to paper

  garrigue

  committed
  a780d1f

  Copy full SHA for a780d1f

• LOUDS_index -> lo_index

  garrigue

  committed
  0932138

  Copy full SHA for 0932138

Commits on Mar 15, 2019

• simplify definitions and add example in louds.v

  garrigue

  committed
  a064d22

  Copy full SHA for a064d22

• small change to the definition of louds.lo_traversal_lt

  garrigue

  committed
  4d2bd80

  Copy full SHA for 4d2bd80

• renaming and simplify proof of level_traversal_cat_ok

  garrigue

  committed
  1c602b0

  Copy full SHA for 1c602b0

Commits on Mar 12, 2019

• fix comments in the first files

  affeldt-aist

  committed
  ab796dc

  Copy full SHA for ab796dc

• simplify depth-indexed traversal + use structural traveresal everywhere

  garrigue

  committed
  b1044f2

  Copy full SHA for b1044f2

Commits on Mar 11, 2019

• use tree_ind3 (now tree_ind_eqType) in size_LOUDS instead of tree_ind2

  Show description for 1af4a04
  affeldt-aist

  committed
  1af4a04

  Copy full SHA for 1af4a04

Commits on Mar 8, 2019

• use only lo_traversal_st in louds.v

  garrigue

  committed
  2288329

  Copy full SHA for 2288329

Commits on Nov 21, 2018

• add lo_traversal_st

  garrigue

  committed
  9a40c12

  Copy full SHA for 9a40c12

Commits on Nov 20, 2018

• clean louds.v

  garrigue

  committed
  ceadb33

  Copy full SHA for ceadb33

• split and shorten lo_traversal_lt_max

  garrigue

  committed
  7eaa505

  Copy full SHA for 7eaa505

Commits on Nov 19, 2018

• simplify lo_traversal_lt_ok

  garrigue

  committed
  77892a4

  Copy full SHA for 77892a4

• avoid destruct

  garrigue

  committed
  7f7345f

  Copy full SHA for 7f7345f

• add proof of correspondence with standard lo_traversal

  garrigue

  committed
  4870b5e

  Copy full SHA for 4870b5e

• update comments

  garrigue

  committed
  f9dad1b

  Copy full SHA for f9dad1b

• relate rather lo_traversal and lo_traversal_lt

  garrigue

  committed
  acc6e63

  Copy full SHA for acc6e63

• relate LOUDS_lt with LOUDS

  garrigue

  committed
  a058b31

  Copy full SHA for a058b31

Commits on Nov 14, 2018

• remove remember and destruct

  garrigue

  committed
  6fc3a91

  Copy full SHA for 6fc3a91

Commits on Oct 31, 2018

• remove duplicate

  garrigue

  committed
  0f257aa

  Copy full SHA for 0f257aa

Commits on Oct 30, 2018

• move definitions to relevant files

  garrigue

  committed
  5a26f6e

  Copy full SHA for 5a26f6e

• Import better louds.v from compact repository

  garrigue

  committed
  2d0f866

  Copy full SHA for 2d0f866

Commits on Aug 29, 2018

• add LOUDS_childE

  garrigue

  committed
  f024451

  Copy full SHA for f024451

Commits on Aug 6, 2018

• first commit

  affeldt-aist

  committed
  e40948a

  Copy full SHA for e40948a

Loading