Search results

Request: Custom GitHub Action for Using Duvet in CI

priority/medium

size/medium

Status: Open.

Feature

#198 In awslabs/duvet;

· soatok opened on Dec 10, 2025

Request: Support ProVerif Comment Syntax

priority/low

size/large

Status: Open.

Feature

#197 In awslabs/duvet;

· soatok opened on Dec 10, 2025

Duvet generates incomplete report with custom config path

priority/medium

size/medium

Status: Open.

Bug

#194 In awslabs/duvet;

· ajrudzitis opened on Nov 14, 2025

Report generation does not fail when section omitted from annotation

priority/high

size/medium

Status: Open.

Bug

#193 In awslabs/duvet;

· ajrudzitis opened on Nov 14, 2025

Support blob links per source

priority/low

size/medium

Status: Open.

Feature

#192 In awslabs/duvet;

· andrewhop opened on Nov 13, 2025

Panic in Extract when a particular section heading has no text before subheading

command:extract

priority/high

Status: Open.

Bug

#182 In awslabs/duvet;

· kessplas opened on Aug 13, 2025

Very difficult workflow when you update your spec

priority/medium

size/medium

Status: Open.

#181 In awslabs/duvet;

· ajewellamz opened on Aug 5, 2025

Finish new report refactor

Status: Open.

#174 In awslabs/duvet;

· camshaft opened on Apr 26, 2025

Errata support

Status: Open.

#173 In awslabs/duvet;

· camshaft opened on Apr 26, 2025

LSP Server

Status: Open.

#172 In awslabs/duvet;

· camshaft opened on Apr 26, 2025

report: Cited code should be viewable in the report

enhancementNew feature or requestNew feature or request

report:html

Status: Open.

#171 In awslabs/duvet;

· maddeleine opened on Apr 24, 2025

Add support for PDF specifications

enhancementNew feature or requestNew feature or request

Status: Open.

#166 In awslabs/duvet;

· camshaft opened on Feb 17, 2025