Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
S
stdpp
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
21
Issues
21
List
Boards
Labels
Milestones
Merge Requests
1
Merge Requests
1
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Iris
stdpp
Merge Requests
Open
1
Merged
97
Closed
7
All
105
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
Popularity
Priority
Created date
Last updated
Milestone due date
Popularity
Label priority
Avoid relying on `Export` bugs
!92
· opened
Sep 05, 2019
by
Maxime Dénès
CLOSED
3
updated
Sep 05, 2019
Add a .editorconfig file
!63
· opened
Mar 15, 2019
by
Jakob Botsch Nielsen
CLOSED
9
updated
Mar 22, 2019
More efficient `Countable` instance for list and make `namespaces` independent of that.
!61
· opened
Mar 14, 2019
by
Robbert
CLOSED
14
updated
Mar 15, 2019
add exact_vm_cast
!28
· opened
Mar 01, 2018
by
Ralf Jung
CLOSED
5
updated
Mar 01, 2018
Reserve more notation in `integers.v`.
!22
· opened
Nov 29, 2017
by
David Swasey
CLOSED
3
updated
Jun 20, 2018
Resolve "Disjoint uses ⊥ (U+22A5 -- UP TACK) but should use ⟂ (U+27C2 -- PERPENDICULAR)"
!11
· opened
Oct 27, 2017
by
Jacques-Henri Jourdan
CLOSED
0
updated
Oct 27, 2017
Add filter for gmap
!6
· opened
Sep 28, 2017
by
Hai Dang
CLOSED
13
updated
Oct 27, 2017