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 }}
Tech-Byte-Frontier
jevgate
Repository navigation
Code
Issues
3
(3)
Pull requests
1
(1)
Discussions
Actions
Projects
Security and quality
Insights
More
items
Read Bend 2 code, with a rule for its laws
- #31
#31
Merged
tauanbinato
merged 21 commits into
main
Tech-Byte-Frontier/jevgate:main
from
bend2
Tech-Byte-Frontier/jevgate:bend2
Copy head branch name to clipboard
Sep 27, 2026
Conversation
Commits
21
(21)
Checks
Files changed
Merged
Read Bend 2 code, with a rule for its laws
#31
tauanbinato
merged 21 commits into
main
Tech-Byte-Frontier/jevgate:main
from
bend2
Tech-Byte-Frontier/jevgate:bend2
Copy head branch name to clipboard
Commits
Commits on Sep 26, 2026
Read Bend 2 code, and judge whether its laws state what their comments say
Show description for bee0a66
tauanbinato
committed
bee0a66
View commit details
Copy full SHA for bee0a66
Browse repository at this point
Commits on Sep 27, 2026
Ask an undecided law what its comment adds, and leave units refused for size unsent
Show description for 6c06ccf
tauanbinato
committed
6c06ccf
View commit details
Copy full SHA for 6c06ccf
Browse repository at this point
Ask an undecided law whether it checks particular inputs its comment generalizes
Show description for 7d31bfb
tauanbinato
committed
7d31bfb
View commit details
Copy full SHA for 7d31bfb
Browse repository at this point
Judge a law with the uncommented laws its comment heads, and keep sibling benchmarks apart
Show description for 08fbf45
tauanbinato
committed
08fbf45
View commit details
Copy full SHA for 08fbf45
Browse repository at this point
Tune Bend 2 values and function questions from labels
Show description for 50cdb52
tauanbinato
committed
50cdb52
View commit details
Copy full SHA for 50cdb52
Browse repository at this point
Keep copies between separate Bend 2 tests apart
Show description for a17964c
tauanbinato
committed
a17964c
View commit details
Copy full SHA for a17964c
Browse repository at this point
Test that copies between Bend 2 golden tests are not paired
tauanbinato
committed
b2a5c0e
View commit details
Copy full SHA for b2a5c0e
Browse repository at this point
Describe Bend 2 support, the laws rule and the new skip reasons
tauanbinato
committed
e1a5797
View commit details
Copy full SHA for e1a5797
Browse repository at this point
Leave Bend 2 proofs out of function simplification and shared logic
Show description for e2c219e
tauanbinato
committed
e2c219e
View commit details
Copy full SHA for e2c219e
Browse repository at this point
Judge a Bend 2 program on a test path as a test
Show description for 8db84a2
tauanbinato
committed
8db84a2
View commit details
Copy full SHA for 8db84a2
Browse repository at this point
Take a law's comment from the block directly above it
Show description for 2cd264f
tauanbinato
committed
2cd264f
View commit details
Copy full SHA for 2cd264f
Browse repository at this point
Weigh a Bend 2 file's split only past 300 member lines
Show description for d893345
tauanbinato
committed
d893345
View commit details
Copy full SHA for d893345
Browse repository at this point
Bump the rule versions changed on this branch
Show description for 83a51e1
tauanbinato
committed
83a51e1
View commit details
Copy full SHA for 83a51e1
Browse repository at this point
Describe this round's Bend 2 changes, and show a law finding that holds
Show description for 73196bb
tauanbinato
committed
73196bb
View commit details
Copy full SHA for 73196bb
Browse repository at this point
Tell Bend 2 files of proofs by their name or directory
Show description for 22168d1
tauanbinato
committed
22168d1
View commit details
Copy full SHA for 22168d1
Browse repository at this point
Compare Bend 2 proofs for copies again
Show description for 10c818d
tauanbinato
committed
10c818d
View commit details
Copy full SHA for 10c818d
Browse repository at this point
Leave the values of Bend 2 benchmarks out
Show description for 2640bcc
tauanbinato
committed
2640bcc
View commit details
Copy full SHA for 2640bcc
Browse repository at this point
Make a split of a Bend 2 file laid out in titled sections a note
Show description for a7e24f9
tauanbinato
committed
a7e24f9
View commit details
Copy full SHA for a7e24f9
Browse repository at this point
Make a split of a Bend 2 file at most a consider
Show description for ea70d9f
tauanbinato
committed
ea70d9f
View commit details
Copy full SHA for ea70d9f
Browse repository at this point
Describe the last Bend 2 changes and their measurement
Show description for 5b18854
tauanbinato
committed
5b18854
View commit details
Copy full SHA for 5b18854
Browse repository at this point
Split law_predicates into its three steps
Show description for 95de0e6
tauanbinato
committed
95de0e6
View commit details
Copy full SHA for 95de0e6
Browse repository at this point
You can’t perform that action at this time.
