Skip to content

Pull requests: semanticarts/gist

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Fix readme link
#1232 opened Jun 12, 2025 by rjyounes Loading…
Changes to Agreement, Commitment, and Obligation impact: major Non-backward compatible (changes inferences; e.g., adding a restriction, domain, range)
#1221 opened May 22, 2025 by pppelll Loading…
Migration directories
#1204 opened Mar 11, 2025 by philblackwood Loading…
GeoLocation
#1203 opened Mar 10, 2025 by philblackwood Draft
Added spec entry class
#1161 opened Sep 17, 2024 by uscholdm Draft
Issue #1155 Annotations conform to style guide
#1160 opened Sep 17, 2024 by kstudzin Loading…
Patch migration docs
#1147 opened Aug 15, 2024 by philblackwood Loading…
ProTip! Exclude everything labeled bug with -label:bug.