Issues

• Java Back-end Incompatible Types: Bad Return type in Lambda Expression

  fuzz-d/dafny-bugs#29 · Filter by author alex-usher opened on May 24, 2023

• Java Compilation Crash: Datatype Update inside For Loop

  reported
  fuzz-d/dafny-bugs#28 · Filter by author alex-usher opened on May 23, 2023

• Java incorrect result: array<datatype> issues with equality checking seq

  reported
  fuzz-d/dafny-bugs#27 · Filter by author Dilan-s opened on May 17, 2023

• Go Incorrect Result: Map Comprehensions (related to #1367)

  fuzz-d/dafny-bugs#26 · Filter by author alex-usher opened on May 15, 2023

• C# Miscompilation: Multi-level Multisets

  reported
  fuzz-d/dafny-bugs#25 · Filter by author alex-usher opened on May 15, 2023

• Python Syntax Error: For-Loop with Set Modulus bound

  reported
  fuzz-d/dafny-bugs#24 · Filter by author alex-usher opened on May 14, 2023

• Parallel assignment including match expression within match statement crash

  reported
  fuzz-d/dafny-bugs#23 · Filter by author Dilan-s opened on May 14, 2023

• JS, Python Runtime Exception: Forall Inside Match Statement

  reported
  fuzz-d/dafny-bugs#22 · Filter by author alex-usher opened on May 10, 2023

• Go "continue" miscompilation error

  reported
  fuzz-d/dafny-bugs#21 · Filter by author Dilan-s opened on May 9, 2023

• C# and Python Backends: Runtime Exceptions for Large Multiset Sizes

  code-generationreported
  fuzz-d/dafny-bugs#20 · Filter by author alex-usher opened on May 8, 2023

• C#, Go and Java Backend crash: forall inside match expression

  reported
  fuzz-d/dafny-bugs#19 · Filter by author alex-usher opened on May 8, 2023

• Dafny Crash: Match expression inside forall

  crashpart: verifierreported
  fuzz-d/dafny-bugs#18 · Filter by author alex-usher opened on May 8, 2023

• match of match without outer default causes compilation crash

  crashpart: verifierreported
  fuzz-d/dafny-bugs#17 · Filter by author Dilan-s opened on May 6, 2023

• Java sequence prefix < fail compilation when combined with if ... then ... else

  code-generationinvalid codereported
  fuzz-d/dafny-bugs#16 · Filter by author Dilan-s opened on May 5, 2023

• C# error CS1628 - cannot use ref, out or in parameter inside anonymous method

  reported
  fuzz-d/dafny-bugs#15 · Filter by author alex-usher opened on May 4, 2023

• Unexpected handling of variables in match cases

  documentationreported
  fuzz-d/dafny-bugs#14 · Filter by author Dilan-s opened on May 4, 2023
  1

• Consecutive function parameters using <, > operators parsed as generic type

  reported
  fuzz-d/dafny-bugs#13 · Filter by author alex-usher opened on Apr 30, 2023
  1

• Type Inference Limitation: Converting seq<array<int>> to multiset

  reported
  fuzz-d/dafny-bugs#12 · Filter by author alex-usher opened on Apr 29, 2023
  2

• map having key as map incorrectly fails verification

  reported
  fuzz-d/dafny-bugs#11 · Filter by author Dilan-s opened on Apr 28, 2023

• Java Back-end: Error Compiling Match Expression

  reported
  fuzz-d/dafny-bugs#10 · Filter by author alex-usher opened on Apr 26, 2023

• Internal translation error: while loop condition with sets

  reported
  fuzz-d/dafny-bugs#9 · Filter by author alex-usher opened on Apr 26, 2023

• Ensures verification of set/multiset<T> relies on ordering of inner set elements when contained in another type

  reported
  fuzz-d/dafny-bugs#8 · Filter by author Dilan-s opened on Apr 23, 2023

• Java Incorrect output: set & multiset membership check

  fuzz-d/dafny-bugs#7 · Filter by author fuzz-d opened on Apr 22, 2023
  1

• Java map<_, char> not keeping value type as char when accessing

  reported
  fuzz-d/dafny-bugs#6 · Filter by author Dilan-s opened on Apr 20, 2023
  1

• Java Bad Type in Conditional Expression Error

  reported
  fuzz-d/dafny-bugs#5 · Filter by author fuzz-d opened on Apr 18, 2023