Skip to content

Activity

Showing most recent first

Deleted branch

ShoyuVanilladeleted challenge-14 • 
on Feb 27

Update Kani Metrics (model-checking#257)

ShoyuVanillapushed 5 commits to main • e2146fa…eef04d8 • 
on Feb 25

Supplement comments to the harness generating macros

ShoyuVanillapushed 1 commit to challenge-14 • b8bd58b…f3cbade • 
on Feb 11

Fix mistakes and errors

Force push
ShoyuVanillaforce pushed to challenge-14 • 3f962e4…b8bd58b • 
on Feb 11

Fix mistakes and errors

Force push
ShoyuVanillaforce pushed to challenge-14 • 24ccdf1…3f962e4 • 
on Feb 11

Update Kani Metrics (model-checking#245)

ShoyuVanillapushed 8 commits to main • f919e45…e2146fa • 
on Feb 11

Merge branch 'model-checking:main' into challenge-14

ShoyuVanillapushed 2 commits to challenge-14 • 3ddcdbb…24ccdf1 • 
on Feb 11

Simplify harness generations with more macros

Force push
ShoyuVanillaforce pushed to challenge-14 • 226ae4c…3ddcdbb • 
on Feb 10

Simplify harness generations with more macros

Force push
ShoyuVanillaforce pushed to challenge-14 • 6efe1d0…226ae4c • 
on Jan 22

Simplify harness generations with more macros

Force push
ShoyuVanillaforce pushed to challenge-14 • 4b78ade…6efe1d0 • 
on Jan 22

Simplify harness generations with more macros

Force push
ShoyuVanillaforce pushed to challenge-14 • f34da06…4b78ade • 
on Jan 22

Generate Kani Metrics (model-checking#235)

ShoyuVanillapushed 1 commit to main • 2b2baa8…f919e45 • 
on Jan 22

Remove redundant requirement condition

ShoyuVanillapushed 1 commit to challenge-14 • eff95b8…f34da06 • 
on Jan 8

WIP

ShoyuVanillapushed 1 commit to smallsort-draft • c1b9dad…8e72297 • 
on Jan 6

WIP

ShoyuVanillapushed 1 commit to smallsort-draft • 477defa…c1b9dad • 
on Jan 6

WIP

ShoyuVanillapushed 1 commit to smallsort-draft • acbf58b…477defa • 
on Jan 6

WIP

ShoyuVanillapushed 1 commit to smallsort-draft • 4646593…acbf58b • 
on Jan 6

WIP

ShoyuVanillapushed 1 commit to smallsort-draft • 12ecc3a…4646593 • 
on Jan 6

Merge branch 'model-checking:main' into smallsort-draft

ShoyuVanillapushed 2 commits to smallsort-draft • ef10944…12ecc3a • 
on Jan 6

Run format check in our CI and fix repo format (model-checking#205)

ShoyuVanillapushed 1 commit to main • 1a38674…2b2baa8 • 
on Jan 6

Merge branch 'main' into challenge-14

ShoyuVanillapushed 2 commits to challenge-14 • 4115ba2…eff95b8 • 
on Jan 5

WIP

ShoyuVanillacreated smallsort-draft • ef10944 • 
on Jan 4

fix

ShoyuVanillapushed 1 commit to challenge-14 • c3ac4fb…4115ba2 • 
on Jan 4

fmt

ShoyuVanillapushed 1 commit to challenge-14 • 291ddd9…c3ac4fb • 
on Jan 4

Handle some infallible cases

ShoyuVanillapushed 1 commit to challenge-14 • 8ebf05f…291ddd9 • 
on Jan 4

Apply reviews

Force push
ShoyuVanillaforce pushed to challenge-14 • 5ebcf38…8ebf05f • 
on Jan 3

Apply reviews

Force push
ShoyuVanillaforce pushed to challenge-14 • 0bf5fd7…5ebcf38 • 
on Jan 3

Apply reviews

Force push
ShoyuVanillaforce pushed to challenge-14 • e3c6817…0bf5fd7 • 
on Jan 3

Apply reviews

Force push
ShoyuVanillaforce pushed to challenge-14 • ee413da…e3c6817 • 
on Jan 3

Apply reviews

Force push
ShoyuVanillaforce pushed to challenge-14 • c6de8d5…ee413da • 
on Jan 3