Issues

• Sorting of Bottom values

  PLSec-VU/symfc#36 · Filter by author RobinWebbers opened on Oct 16, 2026

• Primitive embeddings (in SymFC.WHNF) are hard to read

  enhancement
  Task

  PLSec-VU/symfc#35 · Filter by author RobinWebbers opened on Oct 16, 2026

• Split evaluation modules

  enhancement
  Task

  PLSec-VU/symfc#34 · Filter by author RobinWebbers opened on Oct 16, 2026

• Symbolic value generation for ADTs (specifically sums)

  question
  Task

  PLSec-VU/symfc#33 · Filter by author RobinWebbers opened on Oct 16, 2026

• Symbolic1 typeclass

  enhancement
  Feature

  PLSec-VU/symfc#32 · Filter by author RobinWebbers opened on Oct 16, 2026

• tagToEnum# implementation?

  question
  Task

  PLSec-VU/symfc#31 · Filter by author RobinWebbers opened on Oct 16, 2026

• Pre-processing unfoldings to STG or use GHCi bytecode directly?

  enhancementquestion
  Feature

  PLSec-VU/symfc#30 · Filter by author RobinWebbers opened on Oct 16, 2026

• Check functional dependency is not broken by embeddings

  bug
  Bug

  PLSec-VU/symfc#25 · Filter by author RobinWebbers opened on Jul 31, 2026

• Kindedness check in embeddings

  bug
  Bug

  PLSec-VU/symfc#24 · Filter by author RobinWebbers opened on Jul 31, 2026

• Allow runs on top-level recursive binds

  bug
  Bug

  PLSec-VU/symfc#23 · Filter by author RobinWebbers opened on Jul 31, 2026

• Add Fourmolu formatting style

  enhancement
  Task

  PLSec-VU/symfc#22 · Filter by author RobinWebbers opened on Jul 31, 2026

• Model global state

  enhancement
  Feature

  PLSec-VU/symfc#20 · Filter by author RobinWebbers opened on Jul 29, 2026

• (Mutual) Recursion and HasCallStack

  enhancement
  Task

  PLSec-VU/symfc#19 · Filter by author RobinWebbers opened on Jul 29, 2026

• Add proper regression test suite

  enhancement
  Task

  PLSec-VU/symfc#17 · Filter by author RobinWebbers opened on Jul 28, 2026

• Add more SMT theories

  enhancement
  Feature

  PLSec-VU/symfc#16 · Filter by author RobinWebbers opened on Jul 28, 2026

• Allow options for symbolic evaluation

  enhancement
  Feature

  PLSec-VU/symfc#15 · Filter by author RobinWebbers opened on Jul 28, 2026

• Move away from Grisette

  enhancement
  Task

  PLSec-VU/symfc#14 · Filter by author RobinWebbers opened on Jul 28, 2026

• Improve error messages

  enhancement
  Task

  PLSec-VU/symfc#13 · Filter by author RobinWebbers opened on Jul 28, 2026

• Allow term embeddings for typeclass instances

  enhancement
  Feature

  PLSec-VU/symfc#12 · Filter by author RobinWebbers opened on Jul 28, 2026
  1

• Improve usage of SMT container types

  enhancementquestion
  Feature

  PLSec-VU/symfc#11 · Filter by author RobinWebbers opened on Jul 28, 2026
  1

• Improve documentation

  documentation
  Task

  PLSec-VU/symfc#10 · Filter by author RobinWebbers opened on Jul 28, 2026
  1

• Symbolic evaluation ANN should not require definition to be in module export list

  bug
  Bug

  PLSec-VU/symfc#8 · Filter by author RobinWebbers opened on Jul 28, 2026

• Prune to improve bounded evaluation

  enhancement
  Feature

  PLSec-VU/symfc#7 · Filter by author RobinWebbers opened on Jul 28, 2026
  

• Multiple queries/API change

  enhancement
  Feature

  PLSec-VU/symfc#6 · Filter by author RobinWebbers opened on Jul 28, 2026
  1

• Counterexample should not require search over entire module to be provided

  enhancement
  Task

  PLSec-VU/symfc#5 · Filter by author RobinWebbers opened on Jul 28, 2026