Skip to content
GitLab
Projects Groups Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • S stdpp
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 81
    • Issues 81
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 10
    • Merge requests 10
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • stdpp
  • Merge requests
  • !408

Add bitvector library with automation

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Michael Sammler requested to merge msammler/bv into master Aug 11, 2022
  • Overview 18
  • Commits 2
  • Pipelines 14
  • Changes 7

This MR adds two new unstable libraries: A library for bitvectors (previously published at https://gitlab.mpi-sws.org/iris/bitvector) and automation for this bitvector library. See the files for some basic description of the functionality provided by the libraries.

Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: msammler/bv