Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Support
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
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
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Iris
  • stdpp
  • Merge Requests

  • Open 1
  • Merged 97
  • Closed 7
  • All 105
Recent searches
  • 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