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.

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

Add sample text #11

Closed
wants to merge 1 commit into from
Closed

Add sample text #11

wants to merge 1 commit into from

Conversation

jaisnan
Copy link
Owner

@jaisnan jaisnan commented Jul 1, 2024

No description provided.

Copy link

@Jaisu-1 Jaisu-1 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ty

@jaisnan jaisnan closed this Jul 1, 2024
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
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants