-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Check functional dependency is not broken by embeddings
bugSomething isn't workingSomething isn't workingStatus: Open.#25 In PLSec-VU/symfc;Kindedness check in embeddings
bugSomething isn't workingSomething isn't workingStatus: Open.#24 In PLSec-VU/symfc;Allow runs on top-level recursive binds
bugSomething isn't workingSomething isn't workingStatus: Open.#23 In PLSec-VU/symfc;Add Fourmolu formatting style
enhancementNew feature or requestNew feature or requestStatus: Open.#22 In PLSec-VU/symfc;Model global state
enhancementNew feature or requestNew feature or requestStatus: Open.#20 In PLSec-VU/symfc;(Mutual) Recursion and HasCallStack
enhancementNew feature or requestNew feature or requestStatus: Open.#19 In PLSec-VU/symfc;Rebrand to SymFC
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#18 In PLSec-VU/symfc;Add proper regression test suite
enhancementNew feature or requestNew feature or requestStatus: Open.#17 In PLSec-VU/symfc;Add more SMT theories
enhancementNew feature or requestNew feature or requestStatus: Open.#16 In PLSec-VU/symfc;Allow options for symbolic evaluation
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In PLSec-VU/symfc;Move away from Grisette
enhancementNew feature or requestNew feature or requestStatus: Open.#14 In PLSec-VU/symfc;Improve error messages
enhancementNew feature or requestNew feature or requestStatus: Open.#13 In PLSec-VU/symfc;