Search results

cannot compile with ghc-9.10 because <code>forall</code> becomes reserved

Status: Open.

#26 In hgoes/smtlib2;

· jwaldmann opened on Mar 15, 2024

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

Status: Open.

#25 In hgoes/smtlib2;

· jwaldmann opened on Mar 8, 2023

Build failure with GHC 9.2.1

Status: Open.

#24 In hgoes/smtlib2;

· sjakobi opened on Nov 13, 2021

replace process with typed-process

Status: Open.

#23 In hgoes/smtlib2;

· jwaldmann opened on Mar 17, 2021

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

Status: Open.

#22 In hgoes/smtlib2;

· jwaldmann opened on Mar 15, 2021

should accept both old-style <code>(model (define-fun ..))</code> and new-style <code>( (define-fun ..) ..)</code>

Status: Open.

#21 In hgoes/smtlib2;

· jwaldmann opened on Mar 15, 2021

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

Status: Open.

#20 In hgoes/smtlib2;

· jwaldmann opened on Mar 15, 2021

changes for ghc-9

Status: Open.

#19 In hgoes/smtlib2;

· jwaldmann opened on Mar 5, 2021

Match construct in the smtlib standard

Status: Open.

#16 In hgoes/smtlib2;

· meditans opened on Feb 15, 2019

Better documentation - Integration of generic datatypes

Status: Open.

#15 In hgoes/smtlib2;

· meditans opened on Feb 15, 2019

how to use timingBackend?

Status: Open.

#14 In hgoes/smtlib2;

· jwaldmann opened on Aug 31, 2018

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

Status: Open.

#13 In hgoes/smtlib2;

· jwaldmann opened on Aug 31, 2018