Labels Milestones

New Pull Request

6 Open 19 Closed

Label

Use alt + click/enter to exclude labels

No Label All labels

Milestone

All milestones No milestones

Project

All projects No project

Author

All authors

Assignee

No assignee All assignees gasche Olivier

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

6 Open 19 Closed

Close

Label

Clear labels

Milestone

No milestone

Projects

Clear projects

Assignee

Clear assignees

No assignee

gasche

Olivier

introduce-rigid

#67 opened 2023-02-25 16:51:36 +01:00 by Olivier

upstream

introduce-rigid

issue-64

#66 opened 2023-01-27 16:20:17 +01:00 by Olivier

issue-58

issue-64

issue-58

#65 opened 2023-01-27 16:19:52 +01:00 by Olivier

type-equations

issue-58

1

type-equations

#63 opened 2023-01-23 10:08:14 +01:00 by Olivier

type-equations-master

type-equations

4 conflicting files

n-ary-fun-printing

#61 opened 2022-09-21 15:30:29 +02:00 by Olivier

master

n-ary-fun-printing

1 conflicting file

1

type-equations

#60 opened 2022-09-20 15:39:22 +02:00 by Olivier

master

type-equations

2 conflicting files

1