cs-au-dk MONA issues - Githubissues

cs-au-dk / MONA

MONA - a decision procedure for monadic second-order logic on finite strings and trees

http://www.brics.dk/mona/

GNU General Public License v2.0

48 stars 13 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

memory explosion

#7 melbrbry opened 2 years ago
3
error when `make` front

#6 Tridu33 closed 1 year ago
3
Reduce optimization breaks variable order in import

#5 ondrik opened 6 years ago
0
Front/ast.cpp: copy formal arguments when creating Code_Import

#4 ondrik closed 4 years ago
1
Possible Infinite Loop

#3 abakiaydin closed 4 years ago
1
Possible Infinite Loop

#2 vlab-cs-ucsb closed 8 years ago
0
Supporting GCC 6.0

#1 ya1gaurav closed 8 years ago
1