mighty-gerbils/gerbil
mighty-gerbils/gerbil
6
1
Fork 1
Code Issues 135 Pull requests 4 Projects Releases Wiki Activity

v0.19 abstract evaluation pass #1433

Merged
vyzo merged 13 commits from v0.19-dev-abseval into v0.19-staging 2026-05-20 16:28:44 +00:00
Conversation 0 Commits 13 Files changed 114 +170946 -172967
vyzo commented 2026-05-20 11:25:49 +00:00
Owner
Copy link

improve the handling of lifted contract checks in the compiler

improve the handling of lifted contract checks in the compiler
vyzo merged commit f9e4627ec8 into v0.19-staging 2026-05-20 16:28:44 +00:00
vyzo referenced this pull request from a commit 2026-05-20 16:28:45 +00:00
v0.19 abstract evaluation pass (#1433)
vyzo deleted branch v0.19-dev-abseval 2026-05-20 16:28:55 +00:00
fare referenced this pull request from a commit 2026-06-04 09:50:19 +00:00
v0.19 abstract evaluation pass (#1433)
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels   
UX

   
active development

   
backlog

   
blocker

   
bootstrap

   
bounty

   
bug

   
dependencies
Pull requests that update a dependency file

  
discussion

   
documentation

   
duplicate

   
enhancement

   
flaky test

   
help wanted

   
invalid

   
javascript
Pull requests that update javascript code

  
question

   
release

   
tendentious

   
wontfix
No labels
UX
active development
backlog
blocker
bootstrap
bounty
bug
dependencies
discussion
documentation
duplicate
enhancement
flaky test
help wanted
invalid
javascript
question
release
tendentious
wontfix
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
mighty-gerbils/gerbil!1433
No description provided.