Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
jasisz
/
aver
Public
Notifications
You must be signed in to change notification settings
Fork
3
Star
61
Code
Issues
6
Pull requests
2
Discussions
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights
Actions: jasisz/aver
Actions
All workflows
Workflows
Certification
Certification
CI
CI
Experiment - core Lean vs Dafny
Experiment - core Lean vs Dafny
Experiment - Dafny/Lean parity
Experiment - Dafny/Lean parity
Experiment - proof core Lean kit
Experiment - proof core Lean kit
Experiment external kernels
Experiment external kernels
Fuzz
Fuzz
Imported effects diagnostics
Imported effects diagnostics
Proof
Proof
Rust codegen
Rust codegen
Show more workflows...
Management
Caches
Rust codegen
Rust codegen
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Show workflow options
Create status badge
Create status badge
Loading
Uh oh!
There was an error while loading.
Please reload this page
.
rust-codegen.yml
will be ignored since log searching is not yet available
170 workflow runs
170 workflow runs
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
Set a Vector field in place when the match on Vector.set hands the record back
Rust codegen
#170:
Pull request
#1443
opened by
jasisz
10m 27s
perf/vector-set-in-place
perf/vector-set-in-place
10m 27s
View #1443
View workflow file
cert: one plan grammar built from MIR instead of plan families
Rust codegen
#169:
Pull request
#1412
synchronize by
jasisz
9m 54s
cert/one-grammar
cert/one-grammar
9m 54s
View #1412
View workflow file
cert: one plan grammar built from MIR instead of plan families
Rust codegen
#168:
Pull request
#1412
synchronize by
jasisz
9m 47s
cert/one-grammar
cert/one-grammar
9m 47s
View #1412
View workflow file
cert: one plan grammar built from MIR instead of plan families
Rust codegen
#167:
Pull request
#1412
synchronize by
jasisz
10m 13s
cert/one-grammar
cert/one-grammar
10m 13s
View #1412
View workflow file
cert: one plan grammar built from MIR instead of plan families
Rust codegen
#166:
Pull request
#1412
synchronize by
jasisz
12m 36s
cert/one-grammar
cert/one-grammar
12m 36s
View #1412
View workflow file
Rust: mutual tail-call wrappers take records by value
Rust codegen
#165:
Pull request
#1441
synchronize by
jasisz
14m 24s
fix/rust-mutual-tco-by-value
fix/rust-mutual-tco-by-value
14m 24s
View #1441
View workflow file
cert: one plan grammar built from MIR instead of plan families
Rust codegen
#164:
Pull request
#1412
synchronize by
jasisz
19m 13s
cert/one-grammar
cert/one-grammar
19m 13s
View #1412
View workflow file
cert: one plan grammar built from MIR instead of plan families
Rust codegen
#163:
Pull request
#1412
synchronize by
jasisz
3m 48s
cert/one-grammar
cert/one-grammar
3m 48s
View #1412
View workflow file
check: derive perf-shared-update from the field moves generated code makes
Rust codegen
#162:
Pull request
#1440
synchronize by
jasisz
10m 48s
fix/shared-update-from-field-moves
fix/shared-update-from-field-moves
10m 48s
View #1440
View workflow file
Rust codegen
Rust codegen
#161:
Scheduled
14m 38s
main
main
14m 38s
View workflow file
check: derive perf-shared-update from the field moves generated code makes
Rust codegen
#160:
Pull request
#1440
synchronize by
jasisz
10m 12s
fix/shared-update-from-field-moves
fix/shared-update-from-field-moves
10m 12s
View #1440
View workflow file
Rust: mutual tail-call wrappers take records by value
Rust codegen
#159:
Pull request
#1441
opened by
jasisz
13m 48s
fix/rust-mutual-tco-by-value
fix/rust-mutual-tco-by-value
13m 48s
View #1441
View workflow file
Hand the generated loop's own Maps on at the run's last use
Rust codegen
#158:
Pull request
#1437
synchronize by
jasisz
13m 51s
loop-hand-on-small-maps
loop-hand-on-small-maps
13m 51s
View #1437
View workflow file
check: derive perf-shared-update from the field moves generated code makes
Rust codegen
#157:
Pull request
#1440
opened by
jasisz
10m 59s
fix/shared-update-from-field-moves
fix/shared-update-from-field-moves
10m 59s
View #1440
View workflow file
Rust: an update after a field read of the field it replaces builds, and the read moves
Rust codegen
#156:
Pull request
#1438
opened by
jasisz
19m 12s
fix/rust-update-after-field-move
fix/rust-update-after-field-move
19m 12s
View #1438
View workflow file
Hand the generated loop's own Maps on at the run's last use
Rust codegen
#155:
Pull request
#1437
opened by
jasisz
10m 46s
loop-hand-on-small-maps
loop-hand-on-small-maps
10m 46s
View #1437
View workflow file
Carry waits keyed by a program's own type beside the generated loop
Rust codegen
#154:
Pull request
#1431
synchronize by
jasisz
13m 5s
fix/wait-keys-beside-loop
fix/wait-keys-beside-loop
13m 5s
View #1431
View workflow file
Carry waits keyed by a program's own type beside the generated loop
Rust codegen
#153:
Pull request
#1431
synchronize by
jasisz
13m 48s
fix/wait-keys-beside-loop
fix/wait-keys-beside-loop
13m 48s
View #1431
View workflow file
cert: one plan grammar built from MIR instead of plan families
Rust codegen
#152:
Pull request
#1412
synchronize by
jasisz
17m 39s
cert/one-grammar
cert/one-grammar
17m 39s
View #1412
View workflow file
Rust codegen
Rust codegen
#151:
Manually run by
jasisz
13m 23s
feat/nested-literal-and-list-patterns
feat/nested-literal-and-list-patterns
13m 23s
View #1434
View workflow file
Rust codegen
Rust codegen
#150:
Manually run by
jasisz
14m 53s
fix/wait-keys-beside-loop
fix/wait-keys-beside-loop
14m 53s
View workflow file
Rust codegen
Rust codegen
#149:
Manually run by
jasisz
11m 0s
feat/run-fail
feat/run-fail
11m 0s
View workflow file
Rust codegen
Rust codegen
#148:
Manually run by
jasisz
10m 48s
perf/move-record-fields-at-last-use
perf/move-record-fields-at-last-use
10m 48s
View #1428
View workflow file
ci: run the Rust codegen canary on PRs that touch the Rust backend
Rust codegen
#147:
Pull request
#1426
opened by
jasisz
10m 25s
ci/rust-codegen-on-prs
ci/rust-codegen-on-prs
10m 25s
View #1426
View workflow file
Rust codegen
Rust codegen
#146:
Manually run by
jasisz
8m 45s
fix/process-v2-bugs
fix/process-v2-bugs
8m 45s
View #1424
View workflow file
Previous
1
2
3
4
5
6
7
Next
You can’t perform that action at this time.