Whiley/WyBench

Issues

• Unverified Benchmarks

  #50 opened 3 years ago by DavePearce
  0

• Remove Main Methods

  #47 opened 3 years ago by DavePearce
  0

• Update 029_bipmatch

  #52 opened 3 years ago by DavePearce
  0

• 012_cyclic needs more tests!

  #48 opened 3 years ago by DavePearce
  0

• Benchmarks Need More Tests!

  #51 opened 3 years ago by DavePearce
  0

• 012_cyclic does not verify!

  #49 opened 3 years ago by DavePearce
  0

• Problem Checking 011_codejam

  #44 opened 4 years ago by DavePearce
  2

• Update with wy.toml files

  #42 opened 4 years ago by DavePearce
  0

• Update Minesweeper Images

  #19 opened 4 years ago by Slatercody
  0

• Fix Error Handling in ZLib

  #1 opened 4 years ago by DavePearce
  0

• Replace benchmark for loops with while loops

  #20 opened 4 years ago by Slatercody
  1

• Bug with 029_bipmatch

  #43 opened 5 years ago by DavePearce
  3

• Bug with 102_conway

  #46 opened 5 years ago by DavePearce
  0

• Bug with 018_heap

  #45 opened 5 years ago by DavePearce
  0

• Update for Arrow Syntax

  #18 opened 5 years ago by DavePearce
  0

• 025_tries errors

  #39 opened 5 years ago by JC626
  1

• ArrayIndexOutOfBounds for 008_scc visit()

  #40 opened 6 years ago by JC626
  1

• Fix erroneous inputs for findMaximalMatching in 029_bipmatch

  #29 opened 6 years ago by JC626
  7

• Fix cyclic linked list causes stackoverflow in 032_arrlist

  #28 opened 6 years ago by JC626
  7

• Fix NegativeArrayException on 018_heap

  #35 opened 6 years ago by JC626
  1

• Fix IndexOutOfBounds for sort in 010_sort

  #30 opened 6 years ago by JC626
  1

• Fix IndexOutOfBounds for parseConfig in 102_conway

  #32 opened 6 years ago by JC626
  1

• Fix incorrect invariant on type day in 016_date

  #23 opened 6 years ago by JC626
  1

• Fix incorrect postcondition for compare() in 030_fractions

  #25 opened 6 years ago by JC626
  1

• Update GCD Example

  #21 opened 9 years ago by DavePearce
  0