-
Notifications
You must be signed in to change notification settings - Fork 36
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Add a flag -a to show all verification conditions sent to the smt solver
enhancementNew feature or requestNew feature or requestStatus: Open.#240 In liquid-java/liquidjava;State Names Displayed with Internal Identifiers
enhancementNew feature or requestNew feature or requestideTogether with the VS Code extensionTogether with the VS Code extensionStatus: Open.#206 In liquid-java/liquidjava;Improve Expected Pattern in Tests
testsRelated to testsRelated to testsStatus: Open.#198 In liquid-java/liquidjava;Diagnostic Based Test Results
testsRelated to testsRelated to testsStatus: Open.#197 In liquid-java/liquidjava;Inline Expected Warnings in Tests
testsRelated to testsRelated to testsStatus: Open.#196 In liquid-java/liquidjava;Improve Test Suite
enhancementNew feature or requestNew feature or requesttestsRelated to testsRelated to testsStatus: Open.#174 In liquid-java/liquidjava;Change
returnto$resultfor method return values in refinementsenhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#133 In liquid-java/liquidjava;Change instance variable numbers for line numbers instead of counter
enhancementNew feature or requestNew feature or requestgood first issueGood for newcomersGood for newcomersStatus: Open.#132 In liquid-java/liquidjava;State checking for extending abstract classes
enhancementNew feature or requestNew feature or requestStatus: Open.#131 In liquid-java/liquidjava;Add Support for Additional Types in Refinements
enhancementNew feature or requestNew feature or requestfutureFuture improvement for the languageFuture improvement for the languageStatus: Open.#91 In liquid-java/liquidjava;Refinement Aliases don't work with Interfaces
bugSomething isn't workingSomething isn't workingStatus: Open.#50 In liquid-java/liquidjava;Ghost variables are not correctly initialized in interfaces
bugSomething isn't workingSomething isn't workingenhancementNew feature or requestNew feature or requestStatus: Open.#44 In liquid-java/liquidjava;