ixjf logic-rs issues - Githubissues

ixjf / logic-rs

A parser of relational predicate logic & truth tree solver, written in Rust.

https://ixjf.github.io/logic-rs/

MIT License

16 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Look into piston_meta as a replacement for the language parser

#23 ixjf opened 4 years ago
0
Website cookies not saved on mobile

#22 ixjf opened 5 years ago
0
Check why algorithm doesn't halt for certain input

#21 ixjf opened 5 years ago
0
Add support for the biconditional

#20 ixjf opened 5 years ago
0
Add array of examples to serve as integration tests

#19 ixjf opened 5 years ago
0
Replace vis.js with custom renderer?

#18 ixjf opened 5 years ago
1
Redundant redraw() in TruthTree::_render?

#17 ixjf opened 5 years ago
0
TruthTree::_renderLeftGutter may incorrectly not add a done mark if the first node on a level is not 'done'

#16 ixjf opened 5 years ago
0
Repetition in TruthTree::_findAllNodesForEachDerivation

#15 ixjf opened 5 years ago
0
Publish on crates.io

#13 ixjf opened 5 years ago
0
Add support for identity statements

#12 ixjf opened 5 years ago
0
How to properly document the format of Serde's output?

#11 ixjf opened 5 years ago
0
Editor toolbar buttons stay focused on mobile after click

#10 ixjf opened 5 years ago
1
CodeMirror on mobile replaces input instead of appending

#9 ixjf opened 5 years ago
0
CSS/JS/fonts sometimes don't load?

#8 ixjf closed 5 years ago
4
Website files too large?

#7 ixjf closed 5 years ago
1
Website doesn't work on MS Edge

#6 ixjf closed 5 years ago
1
Add support for counter models

#5 ixjf opened 5 years ago
0
Cannot detect infinite trees

#4 ixjf opened 5 years ago
4