(old-2) Certora verification of the DLL#97

Closed

QGarchery wants to merge 117 commits intomainfrom

Commits on Sep 16, 2022

Commits on Sep 23, 2022

fix: length computation
QGarchery
committed

Commits on Sep 29, 2022

Commits on Oct 3, 2022

Commits on Oct 13, 2022

feat: NONDET maxIterations
QGarchery
committed

Commits on Oct 28, 2022

Commits on Nov 29, 2022

feat: hardened verification of public functions
QGarchery
committed

Commits on Dec 16, 2022

✨ Heap data structure with test
QGarchery
committed
✅ New tests for the heap data-structure
QGarchery
committed
✅ Improve test modularity
QGarchery
committed
💡 Comments review
QGarchery
committed
🐛 Fix a sorting bug where bigger children was not correctly computed
QGarchery
committed
⚡️ Optimize shiftUp and shiftDown operations
QGarchery
committed
⚡️ Use imroved versions of shiftUp and shiftDown
QGarchery
committed
🎨 Core functions internal, test shiftUp/shitDown
QGarchery
committed
chore: add Omniscia's audit report of the HeapOrdering
QGarchery
committed
Use indexes instead of ranks
QGarchery
committed
docs: parent and children index
QGarchery
committed
refactor: optimization and formatting from review
QGarchery
committed
Adding the 3-heap data-structure
QGarchery
committed
share tests between HeapOrdering and ThreeHeapOrdering
QGarchery
committed
full test suite for the 3-heap
QGarchery
committed
create and factorize random tests for heap and 3-heap
QGarchery
committed
simplify shiftDown
QGarchery
committed
cast to uint96
QGarchery
committed
rank -> index
QGarchery
committed
fix shiftdown looking at 4 child indexes instead of 3
QGarchery
committed
fix some test issues
QGarchery
committed
add the testFullHeapsort
QGarchery
committed
improve code formatting after MEP review
QGarchery
committed
refactor: rename indexes to indexOf
QGarchery
committed
refactor: code style and ROOT
QGarchery
committed
perf: declare variables in the loop in shiftDown
QGarchery
committed
refactor: swap arguments of setAccount
QGarchery
committed
refactor: remove unnecessary store in increase
QGarchery
committed
refactor: optimize if condition in insert
QGarchery
committed
fix: pass new solc constraints for compilation
QGarchery
committed
refactor: factorize push in insert
QGarchery
committed
docs: improve spec of sane input parameters of endpoint
QGarchery
committed
fix: dependancies

MathisGD
authored and
QGarchery
committed
chore(deps): bump @openzeppelin/contracts from 4.7.0 to 4.7.3

dependabot[bot]
authored and
QGarchery
committed
perf: pass newSize as argument

MathisGD
authored and
QGarchery
committed
perf: improve size management in remove

MathisGD
authored and
QGarchery
committed
perf: improve shiftDown

MathisGD
authored and
QGarchery
committed
perf: simplify remove

MathisGD
authored and
QGarchery
committed
chore: update forge-std to 1.0.0

MathisGD
authored and
QGarchery
committed
feat: memoize size in the 3-heap
QGarchery
committed
fix: fix condition to skip restoring the sorting
QGarchery
committed
fix: add computed to the size in remove
QGarchery
committed
chore: use foundry.toml instead of Makefile

MathisGD
authored and
QGarchery
committed
chore: add newline at the end of the file

MathisGD
authored and
QGarchery
committed
chore: set solc version

MathisGD
authored and
QGarchery
committed
doc: update

MathisGD
authored and
QGarchery
committed
Make the CI fail when a test fails

Rubilmax
authored and
QGarchery
committed
test: heap invariant

MathisGD
authored and
QGarchery
committed
test: refactor heap invariant testing

MathisGD
authored and
QGarchery
committed
test: use ConcreteHeap contracts

MathisGD
authored and
QGarchery
committed
test: first invariants 3-heap

MathisGD
authored and
QGarchery
committed
test: refactor heap testing

MathisGD
authored and
QGarchery
committed
test: improve heap invariant testing

MathisGD
authored and
QGarchery
committed
test: reduce the depth for invariant testing

MathisGD
authored and
QGarchery
committed
test: modernize test dependancies

MathisGD
authored and
QGarchery
committed
chore: rename test files

MathisGD
authored and
QGarchery
committed
chore: remove old random test files

MathisGD
authored and
QGarchery
committed
chore: don't format deleted files in pre-commit

MathisGD
authored and
QGarchery
committed
fix: greaterThanUpTo parameters
QGarchery
committed