-
Notifications
You must be signed in to change notification settings - Fork 5
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#410 In alcides/aeon;
CATA: mutual recursion + multi-function relational specs (Contata MR/SO categories)
enhancementNew feature or requestNew feature or requestStatus: Open.#397 In alcides/aeon;Future: switch Float SMT encoding from Real to FPSort (IEEE-754)
wontfixThis will not be worked onThis will not be worked onStatus: Open.#300 In alcides/aeon;Liquid Types Optimization
enhancementNew feature or requestNew feature or requestStatus: Open.#114 In alcides/aeon;Online playground
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomershelp wantedExtra attention is neededExtra attention is neededStatus: Open.#38 In alcides/aeon;