Skip to content
Navigation Menu
Toggle navigation
Sign in
Product
GitHub Copilot
Write better code with AI
GitHub Advanced Security
Find and fix vulnerabilities
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Discussions
Collaborate outside of code
Code Search
Find more, search less
Explore
Why GitHub
All features
Documentation
GitHub Skills
Blog
Solutions
By company size
Enterprises
Small and medium teams
Startups
Nonprofits
By use case
DevSecOps
DevOps
CI/CD
View all use cases
By industry
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
Topics
AI
DevOps
Security
Software Development
View all
Explore
Learning Pathways
Events & Webinars
Ebooks & Whitepapers
Customer Stories
Partners
Executive Insights
Open Source
GitHub Sponsors
Fund open source developers
The ReadME Project
GitHub community articles
Repositories
Topics
Trending
Collections
Enterprise
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 or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
Reseting focus
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 }}
swiftlang
/
swift
Public
Notifications
You must be signed in to change notification settings
Fork
10.5k
Star
68.5k
Code
Issues
5k+
Pull requests
1.1k
Security
Insights
Additional navigation options
Code
Issues
Pull requests
Security
Insights
Commits
Breadcrumbs
History for
swift
test
ModuleInterface
effectful_properties.swift
on
swift-5.10.1-RELEASE
User selector
All users
Datepicker
All time
Commit History
Commits on Apr 16, 2022
ModuleInterface: Adopt new swiftinterface verification lit substitutions pervasively in tests where they can be adopted by simply updating or adding a few RUN: lines.
tshortli
committed
747f286
Copy full SHA for 747f286
Commits on Jul 20, 2021
Disable availability checking in tests that use concurrency
DougGregor
committed
1e2012d
Copy full SHA for 1e2012d
Commits on May 3, 2021
Enable effectful properties (SE-310) by default.
Show description for e17e09c
kavon
committed
e17e09c
Copy full SHA for e17e09c
Commits on May 1, 2021
fix feature guards in swiftinterface for eff. props
kavon
committed
c5ec5bf
Copy full SHA for c5ec5bf
Commits on Apr 30, 2021
fix missing effects specifiers on eff props in swiftinterface
Show description for c1f48c6
kavon
committed
c1f48c6
Copy full SHA for c1f48c6
Loading
You can’t perform that action at this time.