Skip to content

☂️ Functionality for v0.2 #1

Closed
@varungandhi-src

Description

@varungandhi-src

(??? = uncertain if there are more bullet points needed,
items without associated PRs were implemented in the initial commits where we weren't using PRs.)

UPDATE: See #1 (comment) for current status -- Ignore the list below.

Old checklist

Language Support

Infrastructure

  • Build system integration. 86822d1
  • Snapshot testing. 7fff89f
  • Run snapshot tests in CI
  • Documentation on building + running SCIP snapshot tests. 17e1ee3

Future stuff

Cross-repo can be part of v0.3.

Metadata

Metadata

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions