Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Constraints for storage types #686

Draft
wants to merge 18 commits into
base: master
Choose a base branch
from
+352 −33
Draft

Constraints for storage types #686

Changes from 1 commit
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
6dafb51
Add test, add more advanced storage types system
nwatson22 Jul 9, 2024
e7bd8ea
Set Version: 0.1.348
rv-auditor Jul 9, 2024
9f74562
Merge branch 'master' into noah/storage-type-constraints
palinatolmach Jul 11, 2024
e06c75c
Set Version: 0.1.349
rv-auditor Jul 11, 2024
77ea753
Merge branch 'master' into noah/storage-type-constraints
nwatson22 Jul 11, 2024
3f27004
Set Version: 0.1.350
rv-auditor Jul 11, 2024
528a2c6
Merge branch 'master' into noah/storage-type-constraints
nwatson22 Jul 12, 2024
0f12f21
Set Version: 0.1.351
rv-auditor Jul 12, 2024
f378be0
Fix constraint generation
nwatson22 Jul 12, 2024
1a1ac1b
Merge master into branch
nwatson22 Jul 15, 2024
8743729
Set Version: 0.1.353
rv-auditor Jul 15, 2024
7ad2625
Add KontrolAPRProver
nwatson22 Jul 17, 2024
98c79e9
Merge branch 'noah/storage-type-constraints' of https://github.com/ru…
nwatson22 Jul 17, 2024
6375ba1
Merge master into branch
nwatson22 Jul 22, 2024
14feebc
Generate invariant productions and add them to side conditions when g…
nwatson22 Jul 22, 2024
4a252b9
Merge branch 'master' into noah/storage-type-constraints
nwatson22 Jul 30, 2024
d5f2048
Test adding lemmas for simple types
nwatson22 Jul 30, 2024
2f40ea1
Merge branch 'noah/storage-type-constraints' of https://github.com/ru…
nwatson22 Jul 30, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Set Version: 0.1.348
@rv-auditor
rv-auditor committed Jul 9, 2024
commit e7bd8eac61780f7bb630a7a81ecfb06802eb8129
2 changes: 1 addition & 1 deletion package/version
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
0.1.347
0.1.348
2 changes: 1 addition & 1 deletion pyproject.toml
View file
Original file line number Diff line number Diff line change
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"

[tool.poetry]
name = "kontrol"
version = "0.1.347"
version = "0.1.348"
description = "Foundry integration for KEVM"
authors = [
"Runtime Verification, Inc. <[email protected]>",
2 changes: 1 addition & 1 deletion src/kontrol/__init__.py
View file
Original file line number Diff line number Diff line change
@@ -5,4 +5,4 @@
if TYPE_CHECKING:
from typing import Final

VERSION: Final = '0.1.347'
VERSION: Final = '0.1.348'