teyjus/teyjus Issues
Compiling teyjus on windows
Closed 2omake clean
Closed 1Build breaks with OCaml 4.03
Closed 4tjsim cannot take path as argument
Updated 1Feature Reqeust
Updated 2Unification fails on MacOS
Closed 7Heap overflow
Updated 3arithmetic mod
Closed 1Segfault when linking
UpdatedSIGSEGV when using disjunction
Updated 3odd behavior with unification
Updatedincorrect size of substring
Closed 1tjsim has a bounded input buffer
Closed 3Problem with polymorphic constants
Updated 2Trivial disagreement pairs
UpdatedTeyjus will not compile.
Closed 2Incorrect error message
Closed 1