issues
search
maude-lang
/
Maude
Language based on Rewriting Logic
GNU General Public License v2.0
77
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Maude 3.5beta (precompiled): GLIBC_2.36 requirement
#17
haijinSk
closed
2 months ago
3
search for states with more than one successor
#16
dwightguth
closed
7 months ago
0
use std::map<int, LiveSet> instead of Vector<LiveSet>
#15
dwightguth
closed
10 months ago
0
Replace some dynamic_casts to FreeTerm with static casts
#14
dwightguth
closed
10 months ago
0
Fail to build from sources on riscv64gc machine
#13
moui0
closed
10 months ago
1
fix bug in maude involving integer overflow
#12
dwightguth
closed
1 year ago
0
Filtering does not terminate on a small set of unifiers.
#11
UberPyro
opened
1 year ago
3
WIP: Replace Autotools build system with an equivalent CMake build system.
#10
rljacobson
opened
1 year ago
0
Fix: Assignment to `const` results in a "no overload" error for `operator=`
#9
rljacobson
opened
1 year ago
2
3.3.1 precompiled binary crashes on older laptop
#8
hanslub42
opened
1 year ago
1
CVC4 has been superseded by CVC5 - please update the project
#7
yurivict
opened
1 year ago
0
Grammar railroad diagram
#6
mingodad
opened
1 year ago
0
Notes for building from source on macOS
#5
rljacobson
closed
1 year ago
2
Issue with non-constant SIGSTKSZ
#4
mjsottile
closed
10 months ago
1
Fail to run Maude 3.2.1 on Ubuntu 18.04
#3
rgyen
closed
1 year ago
3
Maude 3.2.1 test failure in Arch Linux
#2
felixonmars
closed
1 year ago
10
Develop
#1
narudocap
opened
2 years ago
0