Skip to content

Commit a8956c6

Browse files
Merge pull request #147 from BlockScience/dev
feat: Hamiltonian mechanics, backward reachability, audit fixes, ecosystem docs
2 parents e8bacbd + 2e4a92f commit a8956c6

104 files changed

Lines changed: 2221 additions & 245 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,7 @@ uv.lock
2828
.pytest_cache/
2929
htmlcov/
3030
.mypy_cache/
31+
.hypothesis/
3132

3233
# MkDocs
3334
site/

.hypothesis/constants/021e69632fac0091

Lines changed: 0 additions & 4 deletions
This file was deleted.

.hypothesis/constants/0a02c611be85e11a

Lines changed: 0 additions & 4 deletions
This file was deleted.

.hypothesis/constants/0d9a027faceff8d7

Lines changed: 0 additions & 4 deletions
This file was deleted.

.hypothesis/constants/0f2d12dedcb06219

Lines changed: 0 additions & 4 deletions
This file was deleted.

.hypothesis/constants/1560a51ac9c66efb

Lines changed: 0 additions & 4 deletions
This file was deleted.

.hypothesis/constants/19377a3a38683453

Lines changed: 0 additions & 4 deletions
This file was deleted.

.hypothesis/constants/1e5ba8804462cfbf

Lines changed: 0 additions & 4 deletions
This file was deleted.

.hypothesis/constants/2442a95b57e46661

Lines changed: 0 additions & 4 deletions
This file was deleted.

.hypothesis/constants/2a846dbd39b70828

Lines changed: 0 additions & 4 deletions
This file was deleted.

0 commit comments

Comments
 (0)