Search results

Issue with literate-unitb-logic test suite's use of STM and yaml < 0.8.22

bug

Status: Open.

#35 In unitb/literate-unitb-complete;

· bandali opened on Aug 18, 2017

Use de Bruijn encoding for the AST

major

proposal

Status: Open.

#32 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

Rename variables that use built-in z3 keyword

bug

major

Status: Open.

#31 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

Add the latex files to the test suite

enhancement

major

Status: Open.

#28 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

Add QuickCheck properties for expression parser and scanner

major

task

Status: Open.

#27 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

command line options to only run QuickCheck properties

minor

task

Status: Open.

#23 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

Find and remove dead code

minor

task

Status: Open.

#22 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

Consider using GHC-shake as the build system

major

proposal

Status: Open.

#21 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

Investigate alternate testing frameworks

major

proposal

Status: Open.

#20 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

Benchmark the Haskell z3 bindings

minor

proposal

Status: Open.

#19 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

Testing server

minor

proposal

Status: Open.

#18 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017

Self documenting parser

enhancement

major

Status: Open.

#15 In unitb/literate-unitb-complete;

· bandali opened on Jun 25, 2017