Search results

OutputCheck broken

Status: Open.

#164 In dafny-lang/libraries;

· robin-aws opened on Dec 16, 2024

Question: Motivation behind trigger in LemmaMaxOfConcat

Status: Open.

#153 In dafny-lang/libraries;

· dnezam opened on Dec 1, 2023

Module naming scheme pollutes top-level namespace

Status: Open.

#152 In dafny-lang/libraries;

· markrtuttle opened on Nov 4, 2023

JSON regression test fails

Status: Open.

#145 In dafny-lang/libraries;

· markrtuttle opened on Sep 29, 2023

Top-level <code>Dafny</code> namespace collides with Dafny runtime

Status: Open.

#141 In dafny-lang/libraries;

· alex-chew opened on Sep 18, 2023

The two Math.dfy files seem to cause problems

Status: Open.

#139 In dafny-lang/libraries;

· CarlKCarlK opened on Aug 29, 2023

Request (I/O): AppendBytesToFile to complement WriteBytesToFile

Status: Open.

#136 In dafny-lang/libraries;

· robin-aws opened on Jul 21, 2023

forall statement with no bound variables is deprecated in <code>ModInternals</code>

Status: Open.

#130 In dafny-lang/libraries;

· seebees opened on Jul 7, 2023

MutableMap for C#

Status: Open.

#129 In dafny-lang/libraries;

· robin-aws opened on Jun 13, 2023

Add MapWithResult for maps

Status: Open.

#128 In dafny-lang/libraries;

· MikaelMayer opened on May 18, 2023

Additions for JSON

enhancementNew feature or requestNew feature or request

Status: Open.

#122 In dafny-lang/libraries;

· robin-aws opened on May 10, 2023

Get JSON to work on Java

Status: Open.

#121 In dafny-lang/libraries;

· robin-aws opened on May 4, 2023

· 

Production-grade libraries