Labels

• andrew-ms-project
• bug

  Something isn't working
• cleanup

  Code cleanup/refactoring
• continuous-integration
• do-not-merge
• documentation

  Improvements or additions to documentation
• duplicate

  This issue or pull request already exists
• egglog

  Pertaining to lakeroad-egglog (aka Churchroad)
• enhancement

  New feature or request
• good first issue

  Good for newcomers
• help wanted

  Extra attention is needed
• invalid

  This doesn't seem right
• question

  Further information is requested
• research
• sijie

  potential projects for sijie
• size:large
• size:medium
• size:small
• sketch-improvement

  Issues that relate to improving sketches to use fewer resources.
• testing
• verin

  directly impacting or adjacently impacting Verin, the verified lifting project.
• vishal-src
• WIP
• wontfix

  This will not be worked on
• workload

  Test Lakeroad on a new workload