Skip to content
Navigation Menu
Sign in
Products
Platform
GitHub
Repository hosting, code review, and collaboration
Copilot
AI coding agent for tasks, projects, and automated work
Build & Ship
Actions
CI/CD and automation
Code Quality
Quality analysis, fixes, and enforcement
Codespaces
Cloud development environments
Secure
Code Security
Vulnerability detection and remediation
Secret Protection
Secret scanning and leak prevention
All Features
Developers
Learn
Documentation
Training
Certifications
Build
Build with Copilot
Customize Copilot
Integrations
Explore
Trending repos
GitHub Sponsors
Developer articles
Changelog
Changelog
Your source for the latest features, improvements, and fixes across GitHub products, all in one place.
Businesses
By Stage
Enterprises
Team
Startups
Nonprofits
By Industry
Healthcare
Financial services
Manufacturing
Government
See all industries
Evaluate GitHub
Why GitHub
Customer Stories
Business insights
Trust Center
Add-ons
GitHub Advanced Security
Enterprise-grade code security
Copilot for business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Resources
Learn & Connect
Documentation
Resource center
Blog
Events & webinars
Community Forum
Customer Stories
Integrations
Support
Customer support
Training
GitHub Status
Company
About
Partners
Changelog
GitHub Universe
GitHub Universe
The event for developers, by developers — talks, workshops, and what’s next for GitHub.
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 }}
Copilot-Language
copilot
Repository navigation
Code
Issues
5
(5)
Pull requests
6
(6)
Discussions
Actions
Security and quality
Insights
More
items
Commits
Breadcrumbs
History for
copilot
copilot-core
src
Copilot
Core
Operators.hs
on
develop-ltl
User selector
All users
Datepicker
All time
Commit history
Commits on Sep 6, 2024
copilot-core: Introduce new kind of array element update operator. Refs #36.
Show description for b2cc118
ivanperez-keera
and
InnovativeInventor
committed
b2cc118
View commit details
Copy full SHA for b2cc118
View code at this point
Browse repository at this point
Commits on Jul 8, 2024
copilot-core: Introduce new kind of struct field update operator. Refs #520.
Show description for 6c8ae3f
3 people
committed
6c8ae3f
View commit details
Copy full SHA for 6c8ae3f
View code at this point
Browse repository at this point
Commits on Nov 3, 2022
copilot-core: Format comment in type definition in Copilot.Core.Operators. Refs #332.
Show description for e08e77f
ivanperez-keera
committed
e08e77f
View commit details
Copy full SHA for e08e77f
View code at this point
Browse repository at this point
copilot-core: Remove unnecessary vertical space in Copilot.Core.Operators. Refs #332.
Show description for 5f65a27
ivanperez-keera
committed
5f65a27
View commit details
Copy full SHA for 5f65a27
View code at this point
Browse repository at this point
copilot-core: Adjust horizontal space in Copilot.Core.Operators. Refs #332.
Show description for 82d97b0
ivanperez-keera
committed
82d97b0
View commit details
Copy full SHA for 82d97b0
View code at this point
Browse repository at this point
copilot-core: Format copyright notice using haddock in Copilot.Core.Operators. Refs #332.
Show description for dbff3ec
ivanperez-keera
committed
dbff3ec
View commit details
Copy full SHA for dbff3ec
View code at this point
Browse repository at this point
copilot-core: Adjust indentation to 2 spaces in Copilot.Core.Operators. Refs #332.
Show description for 7255d6c
ivanperez-keera
committed
7255d6c
View commit details
Copy full SHA for 7255d6c
View code at this point
Browse repository at this point
copilot-core: Group and sort imports in Copilot.Core.Operators. Refs #332.
Show description for 06d0b94
ivanperez-keera
committed
06d0b94
View commit details
Copy full SHA for 06d0b94
View code at this point
Browse repository at this point
copilot-core: Import modules explicitly in Copilot.Core.Operators. Refs #332.
Show description for 6fae5d1
ivanperez-keera
committed
6fae5d1
View commit details
Copy full SHA for 6fae5d1
View code at this point
Browse repository at this point
Commits on Apr 27, 2022
Style: remove separating line in comment. Refs #316.
Show description for cdf1bfe
ivanperez-keera
committed
cdf1bfe
View commit details
Copy full SHA for cdf1bfe
View code at this point
Browse repository at this point
Style: align PRAGMA comment brackets horizontally. Refs #316.
Show description for 0eba14c
ivanperez-keera
committed
0eba14c
View commit details
Copy full SHA for 0eba14c
View code at this point
Browse repository at this point
Commits on Apr 25, 2022
Style: list PRAGMAs in alphabetical order. Refs #316.
Show description for a926c73
ivanperez-keera
committed
a926c73
View commit details
Copy full SHA for a926c73
View code at this point
Browse repository at this point
Style: PRAGMAs are listed one per line. Refs #316.
Show description for aae26dd
ivanperez-keera
committed
aae26dd
View commit details
Copy full SHA for aae26dd
View code at this point
Browse repository at this point
Commits on Oct 19, 2021
Introduce support for floor. Refs #246.
Show description for 6a0d260
ivanperez-keera
committed
6a0d260
View commit details
Copy full SHA for 6a0d260
View code at this point
Browse repository at this point
Introduce support for ceiling. Refs #246.
Show description for 7d0e675
ivanperez-keera
committed
7d0e675
View commit details
Copy full SHA for 7d0e675
View code at this point
Browse repository at this point
Introduce support for atan2. Refs #246.
Show description for 6c11ea0
ivanperez-keera
committed
6c11ea0
View commit details
Copy full SHA for 6c11ea0
View code at this point
Browse repository at this point
Commits on Sep 16, 2021
Re-organize project in folders. Refs #248.
Show description for da084f4
ivanperez-keera
committed
da084f4
View commit details
Copy full SHA for da084f4
View code at this point
Browse repository at this point
Loading
You can’t perform that action at this time.