Issues

• OutputCheck broken

  dafny-lang/libraries#164 · Filter by author robin-aws opened on Dec 16, 2024

• Question: Motivation behind trigger in LemmaMaxOfConcat

  dafny-lang/libraries#153 · Filter by author dnezam opened on Dec 1, 2023

• Module naming scheme pollutes top-level namespace

  dafny-lang/libraries#152 · Filter by author markrtuttle opened on Nov 4, 2023
  1

• JSON regression test fails

  dafny-lang/libraries#145 · Filter by author markrtuttle opened on Sep 29, 2023
  2

• Top-level Dafny namespace collides with Dafny runtime

  dafny-lang/libraries#141 · Filter by author alex-chew opened on Sep 18, 2023
  2

• The two Math.dfy files seem to cause problems

  dafny-lang/libraries#139 · Filter by author CarlKCarlK opened on Aug 29, 2023

• Request (I/O): AppendBytesToFile to complement WriteBytesToFile

  dafny-lang/libraries#136 · Filter by author robin-aws opened on Jul 21, 2023

• forall statement with no bound variables is deprecated in ModInternals

  dafny-lang/libraries#130 · Filter by author seebees opened on Jul 7, 2023
  1

• MutableMap for C#

  dafny-lang/libraries#129 · Filter by author robin-aws opened on Jun 13, 2023
  

• Add MapWithResult for maps

  dafny-lang/libraries#128 · Filter by author MikaelMayer opened on May 18, 2023

• Additions for JSON

  enhancement
  dafny-lang/libraries#122 · Filter by author robin-aws opened on May 10, 2023

• Get JSON to work on Java

  dafny-lang/libraries#121 · Filter by author robin-aws opened on May 4, 2023 · Production-grade libraries
  1

• Ensure src libraries in sync with src/dafny libraries, deprecate the former

  dafny-lang/libraries#119 · Filter by author robin-aws opened on Apr 19, 2023 · Production-grade libraries

• Request: ordered maps

  dafny-lang/libraries#107 · Filter by author robin-aws opened on Mar 7, 2023
  1

• Mutable data structures library

  dafny-lang/libraries#102 · Filter by author jorge-jbs opened on Mar 2, 2023
  3

• Request: basic File I/O needs to work for --unicode-char:true

  dafny-lang/libraries#90 · Filter by author davidcok opened on Feb 16, 2023
  2

• Request: basic file I/O support for Golang

  dafny-lang/libraries#79 · Filter by author alex-chew opened on Feb 1, 2023
  

• Request: basic file I/O support for Python

  dafny-lang/libraries#78 · Filter by author alex-chew opened on Feb 1, 2023

• Result monad

  dafny-lang/libraries#77 · Filter by author stefanzetzsche opened on Jan 27, 2023
  1

• Option monad

  dafny-lang/libraries#74 · Filter by author stefanzetzsche opened on Jan 26, 2023
  2

• Request: converting/adapting Dafny values to native language values

  dafny-lang/libraries#73 · Filter by author robin-aws opened on Jan 26, 2023
  2

  

• Request: mutable collection types

  dafny-lang/libraries#72 · Filter by author robin-aws opened on Jan 26, 2023
  1

  

• Request: utilities for working with dynamic frames

  dafny-lang/libraries#71 · Filter by author robin-aws opened on Jan 26, 2023

• Request: interfaces for streaming

  dafny-lang/libraries#70 · Filter by author robin-aws opened on Jan 26, 2023
  

• Need second argument can rely on first being false

  dafny-lang/libraries#63 · Filter by author seebees opened on Dec 2, 2022
  1