Labels Milestones

Search

New Pull Request

6 Open 19 Closed

Label

Use alt + click/enter to exclude labels All labels

Milestone

All milestones

Author

All authors Olivier gasche

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

Milestone

No milestone

Projects

No project

Assignee

No assignee

gasche

Olivier

introduce-rigid

#67 opened 4 weeks ago by Olivier

upstream

introduce-rigid

issue-64

#66 opened 2 months ago by Olivier

issue-58

issue-64

issue-58

#65 opened 2 months ago by Olivier

type-equations

issue-58

1

type-equations

#63 opened 2 months ago by Olivier

type-equations-master

type-equations

4 conflicting files

n-ary-fun-printing

#61 opened 6 months ago by Olivier

master

n-ary-fun-printing

1 conflicting file

1

type-equations

#60 opened 6 months ago by Olivier

master

type-equations

2 conflicting files

1