Add sample text #11
Closed
Add sample text #11
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
jaisnan
added a commit
that referenced
this pull request
Jul 26, 2024
3e6b1c26cd5 Merge commit 'cee9f0879743983a0924f94d37e0abd6d464bb4f' into sync-2024-07-20 496b81c004b Merge commit 'dd0d2657eb2c8466bbd9fa6ea4bf2b094565c680' into sync-2024-07-17 e3a5cb88602 Merge commit 'dd0d2657eb2c8466bbd9fa6ea4bf2b094565c680' into sync-2024-07-17 2f83451ef02 Reapply repository changes to library files 7b3d8ba5d15 Reapply repository changes to library files c0a2240a2e7 Move contracts back to library/contracts 9d2c65282fd Move contracts back to library/contracts 586d10f1860 Merge commit '0cd155fda0d5b0b3ba666cd9df978d380f6c7067' as 'library' 9cab9f2bf44 Merge commit '0cd155fda0d5b0b3ba666cd9df978d380f6c7067' as 'library' 47a29de Delete library folder so we can recreate subtree eea60ef Record library patch and delete library/ af85a10 Move contracts out of library for now fd1c9c2 Add contracts for Layout and Alignment (#33) 5d8ee62 Add permissions needed to modify PR (#34) bbfbb19 Add PR approval check for specific directories (#31) 5f2798e Add a challenge for `linked_list` (#30) 5a7327e Propose a new challenge about pointer arithmetic ops (#23) c7dd281 Add committee application guideline and committee TOML file (#32) df109da Add tracking issue for challenges template (#27) 52bea58 Remove copyright strings (#24) e15993a Fix challenge numbers and move to challenges/ dir (#22) ebb5c7f Add copyright file (#13) df8da5a Add a few more contract and harness examples (#18) 5b70960 Run CI checks on all PRs against to main (#20) a7c6d00 refined core transmutation challenge. (#11) 614eb77 Add simple ensures, requires, safety predicates (#15) 3a164b0 Add Challenge 2: Verify the memory safery of core intrinsics using raw pointers (#14) 8931064 Add Kani usage and verify-std section to verification book (#12) 5a369ec Add initial challenge template (#10) b8464d4 Add Rust tests and Kani workflow (#9) 6f793b3 Update text and book ec8c25c Fix text 4a6eb06 Add disclaimer, and fix links (#5) dc3222b Fix the book script (#8) c9653b7 Add copyright check file (#7) 05dca8f Add contest book (#6) 838f888 Adding std library as a subtree 6efb19b Merge commit '2faab3154fb126423ccf8e56c10577a3cd3f9457' as 'library' 2faab31 Squashed 'library/' content from commit f461edda8cb 104c14e Update README.md (#3) 7c30a94 Add README.md file (#2) f24a233 Create initial commit with the license files git-subtree-dir: library git-subtree-split: 3e6b1c26cd58a676a339261c5e190fa29b903833
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.