Skip to content

Tags: google/zerocopy

Tags

anneal-v0.1.0-alpha.21

Toggle anneal-v0.1.0-alpha.21's commit message
Release anneal-v0.1.0-alpha.21

gherrit/Gy4y7cstkui5s6c7jletzjbu37xtjglxm/v2

Toggle gherrit/Gy4y7cstkui5s6c7jletzjbu37xtjglxm/v2's commit message
[anneal][README] Document TCB shrinking

gherrit-pr-id: Gy4y7cstkui5s6c7jletzjbu37xtjglxm

gherrit/Gy4y7cstkui5s6c7jletzjbu37xtjglxm/v1

Toggle gherrit/Gy4y7cstkui5s6c7jletzjbu37xtjglxm/v1's commit message
[anneal][README] Document TCB shrinking

gherrit-pr-id: Gy4y7cstkui5s6c7jletzjbu37xtjglxm

gherrit/Ggwzrriapr76e6dx74cv4skvdp7ikd37h/v2

Toggle gherrit/Ggwzrriapr76e6dx74cv4skvdp7ikd37h/v2's commit message
[anneal][README] Tighten wording

Release 0.1.0-alpha.21.

gherrit-pr-id: Ggwzrriapr76e6dx74cv4skvdp7ikd37h

gherrit/Ggwzrriapr76e6dx74cv4skvdp7ikd37h/v1

Toggle gherrit/Ggwzrriapr76e6dx74cv4skvdp7ikd37h/v1's commit message
[anneal][README] Tighten wording

gherrit-pr-id: Ggwzrriapr76e6dx74cv4skvdp7ikd37h

gherrit/Gwzn672lmlfhl2png2epoznfxivhkwz46/v1

Toggle gherrit/Gwzn672lmlfhl2png2epoznfxivhkwz46/v1's commit message
Loosen sorry detection in aeneas.rs

gherrit-pr-id: Gwzn672lmlfhl2png2epoznfxivhkwz46

gherrit/Guxil4zem4wu65n7ovo5lzcl72c4u7bmc/v1

Toggle gherrit/Guxil4zem4wu65n7ovo5lzcl72c4u7bmc/v1's commit message
Add dummy theorem to lib.rs

gherrit-pr-id: Guxil4zem4wu65n7ovo5lzcl72c4u7bmc

gherrit/Gulbbmsh7i77laxsbbfe2simhr3ahvz4d/v1

Toggle gherrit/Gulbbmsh7i77laxsbbfe2simhr3ahvz4d/v1's commit message
Add dummy theorems to empty files in success_allow_sorry

gherrit-pr-id: Gulbbmsh7i77laxsbbfe2simhr3ahvz4d

gherrit/Gul26yz32ibbawcoucmtkqabefkipqypg/v1

Toggle gherrit/Gul26yz32ibbawcoucmtkqabefkipqypg/v1's commit message
Translate remaining annotations in logic_and_control.rs

gherrit-pr-id: Gul26yz32ibbawcoucmtkqabefkipqypg

gherrit/Gtyp7hgnag75i63fgq3bnebmvi4zkqf6k/v1

Toggle gherrit/Gtyp7hgnag75i63fgq3bnebmvi4zkqf6k/v1's commit message
Add dummy functions to remaining empty files

gherrit-pr-id: Gtyp7hgnag75i63fgq3bnebmvi4zkqf6k