Search results

Compensating for inaccuracies in Dafny's JSON logs

Status: Open.

#12 In hmijail/darum;

· hmijail opened on Jun 9, 2025

"exclude symbol" functionality

Status: Open.

#11 In hmijail/darum;

· hmijail opened on Jun 9, 2025

log_readers should also read the Dafny stdout, etc

Status: Open.

#10 In hmijail/darum;

· hmijail opened on Jun 9, 2025

log_readers' defensiveness vs JSON schema?

Status: Open.

#9 In hmijail/darum;

· hmijail opened on Jun 9, 2025

Improve the tables' UI

Status: Open.

#8 In hmijail/darum;

· hmijail opened on Jun 9, 2025

Reflect verification internals to the Dafny sourcecode in the HTML

Status: Open.

#7 In hmijail/darum;

· hmijail opened on Jun 9, 2025

Prettyprint Dafny sources

Status: Open.

#6 In hmijail/darum;

· hmijail opened on Jun 9, 2025

Improve log graphs

Status: Open.

#5 In hmijail/darum;

· hmijail opened on Jun 9, 2025

Drop-in replacement for dafny command

Status: Open.

#4 In hmijail/darum;

· hmijail opened on Jun 9, 2025

Improve cross-references in HTML?

Status: Open.

#3 In hmijail/darum;

· hmijail opened on Jun 9, 2025

Reusing verification logs across repo changes (for CI and longer-term analysis)

Status: Open.

#2 In hmijail/darum;

· hmijail opened on Jun 9, 2025

Refresh support for multiple log files?

Status: Open.

#1 In hmijail/darum;

· hmijail opened on Oct 25, 2024