Issues

• hashMap forces a memory leak

  doyougnu/VSmt#8 · Filter by author doyougnu opened on Jan 11, 2021

• Utilize the reader monad in sbv to season the solver

  enhancementperformance
  doyougnu/VSmt#7 · Filter by author doyougnu opened on Nov 13, 2020
  1

  

• Encode Invariant properties in the type system for quickcheck properties

  enhancementperformancetestsuite
  doyougnu/VSmt#4 · Filter by author doyougnu opened on Sep 17, 2020
  2

  

• Use Continuation Passing Style

  enhancementmemoryperformance
  doyougnu/VSmt#3 · Filter by author doyougnu opened on Sep 16, 2020
  1

  

• Arithmetic interface requires type annotations on references

  doyougnu/VSmt#2 · Filter by author doyougnu opened on Sep 15, 2020

• Integer --> Int

  memory
  doyougnu/VSmt#1 · Filter by author doyougnu opened on Sep 15, 2020