Skip to content
This repository has been archived by the owner on Nov 5, 2021. It is now read-only.

No labels!

There aren’t any labels for this repository quite yet.

24 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
blocked
blocked
bug
bug
Something isn't working
lint-collection: bootstrapping
lint-collection: bootstrapping
lint-collection: interactive
lint-collection: interactive
Lints that should be used when not in an interactive setting
lint-collection: no-apply
lint-collection: no-apply
lint-collection: style
lint-collection: style
lint-level: fatal
lint-level: fatal
lint-level: suggestion
lint-level: suggestion
lint-level: warning
lint-level: warning
lint-severity: high
lint-severity: high
lint-severity: low
lint-severity: low
lint-severity: medium
lint-severity: medium
priority: high
priority: high
priority: low
priority: low
priority: medium
priority: medium
Source: Gerwin's Style Guide 1
Source: Gerwin's Style Guide 1
http://proofcraft.org/blog/isabelle-style.html
Source: Gerwin's Style Guide 2
Source: Gerwin's Style Guide 2
http://proofcraft.org/blog/isabelle-style-part2.html
Source: seL4 thylint
Source: seL4 thylint
https://github.com/seL4/ci-actions/tree/master/thylint
topic: cli
topic: cli
Command Line Interface
topic: document abstrction
topic: document abstrction
How the different document elements are represented (proofs, lemmas...)
topic: jEdit
topic: jEdit
topic:lint abstraction
topic:lint abstraction
The abstractions used to define lints
topic: lint
topic: lint
topic: pipeline
topic: pipeline