Skip to content

Activity

Showing most recent first

Deleted branch

zhassan-awsdeleted fix-args • 
on Jan 2

Add missing line separator

zhassan-awscreated fix-args • d0fce44 • 
on Dec 21, 2024

Deleted branch

zhassan-awsdeleted update-kani • 
on Nov 13, 2024

Merge branch 'main' into update-kani

celinvalpushed 2 commits to update-kani • b37eeeb…e925736 • 
on Nov 12, 2024

Update Kani version

zhassan-awscreated update-kani • b37eeeb • 
on Nov 9, 2024

Deleted branch

zhassan-awsdeleted challenge-10 • 
on Aug 22, 2024

Merge branch 'main' into challenge-10

zhassan-awspushed 3 commits to challenge-10 • 9a0f91e…c1d57d6 • 
on Aug 22, 2024

Fix challenge number

zhassan-awscreated challenge-10 • 9a0f91e • 
on Aug 20, 2024

Deleted branch

zhassan-awsdeleted string-safety • 
on Aug 20, 2024

Merge branch 'main' into string-safety

zhassan-awspushed 2 commits to string-safety • 5645f8b…a07d2b9 • 
on Aug 20, 2024

Merge branch 'main' into string-safety

zhassan-awspushed 2 commits to string-safety • 73c600b…5645f8b • 
on Aug 20, 2024

Update links

zhassan-awspushed 1 commit to string-safety • bee666e…73c600b • 
on Aug 20, 2024

Merge branch 'main' into string-safety

tautschnigpushed 9 commits to string-safety • f958b01…bee666e • 
on Aug 20, 2024

Add challenge on memory safety of String

Force push
zhassan-awsforce pushed to string-safety • fa3ca23…f958b01 • 
on Aug 16, 2024

Add challenge on memory safety of String

zhassan-awscreated string-safety • fa3ca23 • 
on Aug 16, 2024

Merge branch 'main' into btree-node

zhassan-awspushed 12 commits to btree-node • 20c092b…b271d9c • 
on Jul 18, 2024

Revert index change

zhassan-awspushed 1 commit to btree-node • 52c684b…20c092b • 
on Jul 16, 2024

Fix index

zhassan-awspushed 1 commit to btree-node • 9f7ba6a…52c684b • 
on Jul 16, 2024

Address PR comments

zhassan-awspushed 8 commits to btree-node • 576e204…9f7ba6a • 
on Jul 16, 2024

Emphasize unbounded verification

zhassan-awspushed 1 commit to btree-node • da9dceb…576e204 • 
on Jun 27, 2024

Merge branch 'main' into btree-node

zhassan-awspushed 3 commits to btree-node • ac2854a…da9dceb • 
on Jun 27, 2024

Update summary

zhassan-awspushed 1 commit to btree-node • b64f99d…ac2854a • 
on Jun 26, 2024

Add a challenge for btree::node module

zhassan-awscreated btree-node • b64f99d • 
on Jun 26, 2024