Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jun 13, 2024

• move license back to root

  kovach

  committed
  b9e66fe

  Copy full SHA for b9e66fe

Commits on Apr 26, 2024

• Finish lawfulmodifiable instance for RBMap

  prakol16

  committed
  91789ab

  Copy full SHA for 91789ab

Commits on Apr 24, 2024

• Last touches

  prakol16

  committed
  4d852bf

  Copy full SHA for 4d852bf

Commits on Apr 23, 2024

• Finish refactored zip_spec

  prakol16

  committed
  6e20105

  Copy full SHA for 6e20105

Commits on Apr 18, 2024

• Some evalOption lemmas

  prakol16

  committed
  efab00a

  Copy full SHA for efab00a

Commits on Apr 17, 2024

• Use Multiset.get

  prakol16

  committed
  88272e0

  Copy full SHA for 88272e0

Commits on Apr 3, 2024

• add evalOption

  prakol16

  committed
  8d8e643

  Copy full SHA for 8d8e643

Commits on Apr 2, 2024

• use evalmultiset for skip

  prakol16

  committed
  c97ff80

  Copy full SHA for c97ff80

• use streamorder everywhere

  prakol16

  committed
  1248c1d

  Copy full SHA for 1248c1d

• moving proofs to more logical places

  prakol16

  committed
  63c9ea3

  Copy full SHA for 63c9ea3

• start evalMultiset

  prakol16

  committed
  eff38ee

  Copy full SHA for eff38ee

Commits on Mar 11, 2024

• misc:

  Show description for 709775f
  kovach

  committed
  709775f

  Copy full SHA for 709775f

Commits on Mar 7, 2024

• update to 4.7.0-rc2

  kovach

  committed
  ffaf728

  Copy full SHA for ffaf728

• benchmark scripts

  kovach

  committed
  228c5f8

  Copy full SHA for 228c5f8

Commits on Feb 29, 2024

• Updated the `Examples` syntax so that it matches the paper. (#37)

  david-broman

  authored
  f3677a6

  Copy full SHA for f3677a6

• cleanup

  kmill

  committed
  2b6d2f0

  Copy full SHA for 2b6d2f0

• add Nat version of LabelIdx for debugging

  kmill

  committed
  f24694f

  Copy full SHA for f24694f

• foldr has reverse fun arguments

  kmill

  committed
  4924ad6

  Copy full SHA for 4924ad6

Commits on Feb 28, 2024

• fix folding for contract

  kmill

  committed
  d143b2e

  Copy full SHA for d143b2e

• variable style

  kmill

  committed
  b159829

  Copy full SHA for b159829

• Rename to LabelIdx.freshBefore

  kmill

  committed
  097706c

  Copy full SHA for 097706c

• variable style

  kmill

  committed
  e819df5

  Copy full SHA for e819df5

• new benchmarks and several supporting streams

  kovach

  committed
  75aac1f

  Copy full SHA for 75aac1f

• switch from Nat labels to LabelIdx labels, which use bin-revlex ordering

  kmill

  committed
  2d04cb0

  Copy full SHA for 2d04cb0

• remove log message

  kmill

  committed
  467e374

  Copy full SHA for 467e374

• hacking in broadcasting after memo

  kmill

  committed
  89c54bb

  Copy full SHA for 89c54bb

• Add imap proofs

  prakol16

  committed
  ac3555d

  Copy full SHA for ac3555d

• Proofs (#36)

  Show description for bc8ea1e
  prakol16

  authored
  bc8ea1e

  Copy full SHA for bc8ea1e

• boxing

  kmill

  committed
  42ed324

  Copy full SHA for 42ed324

• change memo syntax to `memo ... from ...` to be like `show ... from ...`

  kmill

  committed
  de4b56b

  Copy full SHA for de4b56b

• Proofs (#35)

  Show description for 0446920
  prakol16

  authored
  0446920

  Copy full SHA for 0446920

• Add zero instance for stream (#34)

  prakol16

  authored
  10f8874

  Copy full SHA for 10f8874

• dense matrix view example

  Show description for b647b54
  kovach

  committed
  b647b54

  Copy full SHA for b647b54

Commits on Feb 27, 2024

• add test for eg1. add triangle query example.

  kovach

  committed
  47deb63

  Copy full SHA for 47deb63

• add `proofs` target to lakefile

  kovach

  committed
  d8eee40

  Copy full SHA for d8eee40