Search results

Add boolean algebra toCNF functionality with button

enhancementNew feature or requestNew feature or request

JavaUnderstanding Java is requiredUnderstanding Java is required

ReactUnderstanding React is requiredUnderstanding React is required

Status: Open.

#53 In danielbinder/LogiVis;

·danielbinder openedon Mar 14, 2024

Fix model tracer for multiple start states

bugSomething isn't workingSomething isn't working

JavaUnderstanding Java is requiredUnderstanding Java is required

Status: Open.

#49 In danielbinder/LogiVis;

·danielbinder openedon Mar 1, 2024

Set output type of graph to svg

enhancementNew feature or requestNew feature or request

ReactUnderstanding React is requiredUnderstanding React is required

Status: Open.

#43 In danielbinder/LogiVis;

·danielbinder openedon Jan 29, 2024

Create feature stepping through solution

enhancementNew feature or requestNew feature or request

ReactUnderstanding React is requiredUnderstanding React is required

Status: Open.

#34 In danielbinder/LogiVis;

·danielbinder openedon Jan 18, 2024

Write hash comparison for report files

enhancementNew feature or requestNew feature or request

JavaUnderstanding Java is requiredUnderstanding Java is required

Status: Open.

#27 In danielbinder/LogiVis;

·danielbinder openedon Dec 28, 2023

Refactor index.tsx -> index.jsx

ReactUnderstanding React is requiredUnderstanding React is required

RefactoringSome refactoring needs to be doneSome refactoring needs to be done

Status: Open.

#18 In danielbinder/LogiVis;

·danielbinder openedon Nov 17, 2023

Create tutorial recording and playback feature

enhancementNew feature or requestNew feature or request

ReactUnderstanding React is requiredUnderstanding React is required

Status: Open.

#17 In danielbinder/LogiVis;

·danielbinder openedon Nov 15, 2023

Rewrite Simplify

JavaUnderstanding Java is requiredUnderstanding Java is required

ReactUnderstanding React is requiredUnderstanding React is required

RefactoringSome refactoring needs to be doneSome refactoring needs to be done

Status: Open.

#15 In danielbinder/LogiVis;

·danielbinder openedon Nov 15, 2023

Top right buttons on model description and graph are not scaling the correct amount

bugSomething isn't workingSomething isn't working

Status: Open.

#13 In danielbinder/LogiVis;

·danielbinder openedon Nov 9, 2023