Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 30, 2023

• updating Tree constructor proof to repaired spec

  mattulbrich

  committed
  c0d2ebc

  Copy full SHA for c0d2ebc

• enabling overflow constructor checks

  mattulbrich

  committed
  1607e56

  Copy full SHA for 1607e56

Commits on Dec 29, 2023

• finalising README.md

  mattulbrich

  committed
  b41af51

  Copy full SHA for b41af51

• replaying one proof that would not load again

  mattulbrich

  committed
  3c8159b

  Copy full SHA for 3c8159b

• proof for classify_all

  mattulbrich

  committed
  493be04

  Copy full SHA for 493be04

Commits on Dec 28, 2023

• repairing proof for Tree.classify

  mattulbrich

  committed
  ef7ca71

  Copy full SHA for ef7ca71

• removing duplicate proof files

  Show description for 4cf5d85
  mattulbrich

  committed
  4cf5d85

  Copy full SHA for 4cf5d85

• updating Makefile

  mattulbrich

  committed
  1dcad88

  Copy full SHA for 1dcad88

• adding the functional proofs from the overflow branch

  mattulbrich

  committed
  033a4f2

  Copy full SHA for 033a4f2

• moving .key-files to subdirectory

  mattulbrich

  committed
  b5423f0

  Copy full SHA for b5423f0

Commits on Oct 30, 2023

• adding dynamic test cases for sanity checks

  mattulbrich

  committed
  f743a19

  Copy full SHA for f743a19

Commits on Oct 28, 2023

• Recovering the overflow proofs

  Show description for 6d9405a
  mattulbrich

  committed
  6d9405a

  Copy full SHA for 6d9405a

Commits on Oct 27, 2023

• Updating the repository for the public version on github.

  Show description for 4e58ad5
  mattulbrich

  committed
  4e58ad5

  Copy full SHA for 4e58ad5

Commits on Oct 13, 2023

• correcting the proof directory in build file

  mattulbrich

  committed
  d68fa2c

  Copy full SHA for d68fa2c

Commits on Oct 2, 2023

• add gradle wrapper

  wadoon

  committed
  9cfe9ab

  Copy full SHA for 9cfe9ab

• fix

  wadoon

  committed
  c4ff6d5

  Copy full SHA for c4ff6d5

• fix

  wadoon

  committed
  852c543

  Copy full SHA for 852c543

• fix pom

  wadoon

  committed
  e91b209

  Copy full SHA for e91b209

• fix typo

  wadoon

  committed
  7aad10c

  Copy full SHA for 7aad10c

Commits on Sep 29, 2023

• added github workflow

  wadoon

  committed
  77fcc96

  Copy full SHA for 77fcc96

• Merge remote-tracking branch 'origin/main'

  Show description for 013fe7d
  wadoon

  committed
  013fe7d

  Copy full SHA for 013fe7d

• fix mainclass and parameters for ci-tool

  wadoon

  committed
  9dd3ac5

  Copy full SHA for 9dd3ac5

Commits on Aug 23, 2023

• movement and make the tools running

  wadoon

  committed
  f84ca91

  Copy full SHA for f84ca91

Commits on Aug 12, 2023

• Prepare for Maven Central release

  wadoon

  committed
  6f92754

  Copy full SHA for 6f92754

Commits on Apr 17, 2023

• Constructor proof

  jwiesler

  committed
  e05b7b6

  Copy full SHA for e05b7b6

Commits on Apr 16, 2023

• Redo open proofs

  jwiesler

  committed
  a1160bc

  Copy full SHA for a1160bc

• Optimize base case sorting: ~5%

  Show description for 66902e2
  

  Sascha Witt

  authored and

  jwiesler

  committed
  66902e2

  Copy full SHA for 66902e2

Commits on Mar 31, 2023

• Optimize Constants.LOG_MAX_BUCKETS: ~7%

  

  Sascha Witt

  authored and

  jwiesler

  committed
  5365a29

  Copy full SHA for 5365a29

• Make Storage constructor public

  

  Sascha Witt

  authored and

  jwiesler

  committed
  8c2fd37

  Copy full SHA for 8c2fd37

Commits on Jul 30, 2022

• License

  jwiesler

  committed
  6eeb147

  Copy full SHA for 6eeb147

• Readme

  jwiesler

  committed
  bf93a27

  Copy full SHA for bf93a27

• Tools

  jwiesler

  committed
  ff69c63

  Copy full SHA for ff69c63

• Readme

  jwiesler

  committed
  4255fd4

  Copy full SHA for 4255fd4

• Add some missing files

  jwiesler

  committed
  5851461

  Copy full SHA for 5851461

Commits on May 5, 2022

• Fix array length for Buffers buffer array being twice as large as needed

  jwiesler

  committed
  f58d10a

  Copy full SHA for f58d10a

Pagination

Previous

Next