zgrannan/rest

Issues

• Relax upper bound for `containers` to allow 0.7

  #43 opened 4 months ago by ulysses4ever
  3

• Relax upper bound of text to build with ghc-9.8.1

  #40 opened a year ago by facundominguez
  1

• Hackage Release for Test Fix

  #39 opened a year ago by tbidne
  2

• Ensure test directory `graphs/` exists

  #37 opened a year ago by tbidne
  2

• New Hackage release?

  #35 opened 2 years ago by mboes
  2

• Hints suggested by HLint.

  #24 opened 2 years ago by philderbeast
  1

• Expressions for the SMT solver grow with the path length

  #16 opened 3 years ago by facundominguez
  1

• Build REST with -Werror -Wall

  #15 opened 3 years ago by facundominguez
  2

• Why aren't constraints refined when deciding to explore

  #9 opened 3 years ago by facundominguez
  3

• Supporting multiple SMT solvers?

  #17 opened 3 years ago by ConnorBaker
  2

• Implement logging of SMT solver commands

  #14 opened 3 years ago by facundominguez
  0

• Duplicate Orphan Instances cause build failure

  #10 opened 3 years ago by waivio
  3

• Build failure with hashable >= 1.3.4

  #3 opened 3 years ago by sjakobi
  3