Issues

• cannot compile with ghc-9.10 because forall becomes reserved

  hgoes/smtlib2#26 · Filter by author jwaldmann opened on Mar 15, 2024

• with ghc-9.6: Not in scope: type constructor or class ‘Endo’

  hgoes/smtlib2#25 · Filter by author jwaldmann opened on Mar 8, 2023

• Build failure with GHC 9.2.1

  hgoes/smtlib2#24 · Filter by author sjakobi opened on Nov 13, 2021
  1

• replace process with typed-process

  hgoes/smtlib2#23 · Filter by author jwaldmann opened on Mar 17, 2021
  1

• Language/SMTLib2/Pipe/Internals.hs:100:10-24: No instance nor default method for class operation modelEvaluate

  hgoes/smtlib2#22 · Filter by author jwaldmann opened on Mar 15, 2021

• should accept both old-style (model (define-fun ..)) and new-style ( (define-fun ..) ..)

  hgoes/smtlib2#21 · Filter by author jwaldmann opened on Mar 15, 2021
  1

• does not accept (model (define-fun X () Real 2) )

  hgoes/smtlib2#20 · Filter by author jwaldmann opened on Mar 15, 2021
  1

• changes for ghc-9

  hgoes/smtlib2#19 · Filter by author jwaldmann opened on Mar 5, 2021
  1

• Match construct in the smtlib standard

  hgoes/smtlib2#16 · Filter by author meditans opened on Feb 15, 2019

• Better documentation - Integration of generic datatypes

  hgoes/smtlib2#15 · Filter by author meditans opened on Feb 15, 2019

• how to use timingBackend?

  hgoes/smtlib2#14 · Filter by author jwaldmann opened on Aug 31, 2018

• plus [] is accepted, but z3 does not understand it

  hgoes/smtlib2#13 · Filter by author jwaldmann opened on Aug 31, 2018
  1

• cannot compile with ghc-8.4 (because of atto-lisp)

  hgoes/smtlib2#12 · Filter by author jwaldmann opened on Aug 30, 2018

• setLogic is missing?

  hgoes/smtlib2#11 · Filter by author jwaldmann opened on Aug 30, 2018
  2

• how to notate types for expressions

  improvement
  hgoes/smtlib2#7 · Filter by author jwaldmann opened on Jan 6, 2017
  5