-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#23 In ixjf/logic-rs;
Website cookies not saved on mobile
bugSomething isn't workingSomething isn't workingStatus: Open.#22 In ixjf/logic-rs;Check why algorithm doesn't halt for certain input
bugSomething isn't workingSomething isn't workingStatus: Open.#21 In ixjf/logic-rs;Add support for the biconditional
enhancementNew feature or requestNew feature or requestStatus: Open.#20 In ixjf/logic-rs;Add array of examples to serve as integration tests
enhancementNew feature or requestNew feature or requestStatus: Open.#19 In ixjf/logic-rs;Replace vis.js with custom renderer?
enhancementNew feature or requestNew feature or requestStatus: Open.#18 In ixjf/logic-rs;Redundant redraw() in TruthTree::_render?
enhancementNew feature or requestNew feature or requestStatus: Open.#17 In ixjf/logic-rs;TruthTree::_renderLeftGutter may incorrectly not add a done mark if the first node on a level is not 'done'
bugSomething isn't workingSomething isn't workingStatus: Open.#16 In ixjf/logic-rs;Repetition in TruthTree::_findAllNodesForEachDerivation
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In ixjf/logic-rs;Publish on crates.io
enhancementNew feature or requestNew feature or requestStatus: Open.#13 In ixjf/logic-rs;Add support for identity statements
enhancementNew feature or requestNew feature or requestStatus: Open.#12 In ixjf/logic-rs;How to properly document the format of Serde's output?
enhancementNew feature or requestNew feature or requestquestionFurther information is requestedFurther information is requestedStatus: Open.#11 In ixjf/logic-rs;