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

Jump to bottom

Test doc changes #3

Merged
merged 21 commits into from
Dec 13, 2022
Merged

Test doc changes #3

merged 21 commits into from
Dec 13, 2022

Conversation

celinval
Copy link
Owner

Description of changes:

Describe Kani's current behavior and how your code changes that behavior. If there are no issues this PR is resolving, explain why this change is necessary.

Resolved issues:

Resolves #ISSUE-NUMBER

Related RFC:

Optional #ISSUE-NUMBER.

Call-outs:

Testing:

  • How is this change tested?

  • Is this a refactor change?

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

tedinski and others added 21 commits December 6, 2022 10:55
@tedinski
Fix Arm CBMC architecture name (model-checking#1968)
bc7b888
@tedinski
Doc improvements: supported platforms and versions (model-checking#1969)
2ed8f2f
@adpaco-aws
Restore simd_shl and simd_shr intrinsics (model-checking#1964)
3373698
@celinval @adpaco-aws
Add more info about debugging with rustc (model-checking#1959)
3feaca0 
Add information about emitting the MIR and printing the type layout.

Co-authored-by: Adrian Palacios <[email protected]>
@adpaco-aws
Add support for simd_shuffle* (model-checking#1961)
7bd6437
@adpaco-aws
Restore simd_div and simd_rem intrinsics (model-checking#1973)
1f74058
@YoshikiTakashima
Use fully qualified paths to avoid harness name clash. (model-checkin…
1aebd2f 
…g#1955)

Co-authored-by: Yoshiki Takashima <[email protected]>
@celinval
Add some performance instrumentation to our code (model-checking#1972)
bb019b0 
For runs using --verbose, Kani will now print the time spent in some parts of the code. This include calls to all CProver utilities and a few other places in the compiler.
@celinval
Fix drop for Struct<dyn T> (model-checking#1975)
ea18901 
We were incorrectly using the data pointer of the fat pointer to invoke the drop. Use the expression returned by the projection code instead.

Another issue was that we were incorrectly generating the wrong vtable function signature.
@zhassan-aws
Bump CBMC to version 5.72.0 (model-checking#1941)
2ee2df0
@zhassan-aws
RFC for cover ctatement (model-checking#1906)
94b4e84
@zhassan-aws
Fix call to core::assert in macro overrides (model-checking#1985)
e0e063d
@zhassan-aws
Restrict platform when issuing metadata command (model-checking#1987)
e199f12
@tedinski
Used install toolchain path instead of runtime RUSTUP_HOME (model-che…
fdd363a 
…cking#1988)
@celinval
Fix drop of Wrapper<dyn T> and fix unsized cast too (model-checking#1981
8527e9c 
)

Fix direct call to drop a fat pointer to a structure with an unsized element. Join similar code that we had to build a reference to a place.
@tedinski
Fix --use-local-bundle argument parsing (model-checking#1991)
ba389c6
@adpaco-aws
Bump Kani version to 0.17.0 and update dependencies (model-checking…
deecd14 
…#1989)
@tedinski
Bump actions/checkout to v3 (model-checking#1990)
2511298
@celinval
Update rust-feature-support.md (model-checking#1992)
71b9d0e
@celinval
Publish our crates documentation
f3227e0
@celinval
Fix link
490dbbc
@celinval celinval merged commit 9aea8d2 into main Dec 13, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@celinval @tedinski @adpaco-aws @YoshikiTakashima @zhassan-aws