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

Issue 1048: Use signed integers for storage #1051

Merged
merged 19 commits into from
Jun 27, 2022
Merged

Issue 1048: Use signed integers for storage #1051

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
28042a6
adding finalize statement to avoid memory leak msg
kanigsson May 10, 2022
8b25ad0
new required Annotating termination for some subprograms, also name
kanigsson Apr 28, 2022
d58f33f
Use S63 type instead of U64 type to store field values
kanigsson Apr 26, 2022
4de2c07
replace mod types with range types
kanigsson Jun 8, 2022
0941f92
fix style issues
kanigsson Jun 13, 2022
3c59733
switch to new SPARK wavefront
kanigsson Jun 13, 2022
5046498
avoid 64 bit types in property tests
kanigsson Jun 13, 2022
d12b1f0
help proof for ping
kanigsson Jun 14, 2022
3e93c81
remove unused preconditions
kanigsson Jun 16, 2022
99d6aaf
replace slice equality by quantifier
kanigsson Jun 17, 2022
5e4245c
complete rename from S63 to Base_Integer
kanigsson Jun 19, 2022
8112634
add comments about limitation to 63 bits
kanigsson Jun 20, 2022
990c27c
remove some assertions for ping
kanigsson Jun 20, 2022
262dc8c
enrich postcondition of setters
kanigsson Jun 21, 2022
7b441a8
fix limitation comments
kanigsson Jun 21, 2022
321f206
introduce constant for max field size
kanigsson Jun 21, 2022
1c9b0d0
change check for valid length for message sequences
kanigsson Jun 23, 2022
aeec268
add explanatory comment for array equality
kanigsson Jun 23, 2022
8d2d1e6
Merge branch 'main' into issue_1048
kanigsson Jun 27, 2022
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
Merge branch 'main' into issue_1048
  • Loading branch information
@kanigsson
kanigsson authored Jun 27, 2022
commit 8d2d1e6e1eefdd0443ec62eea50b5c87148626c8

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.