issues
search
grayswandyr
/
electrod
Formal analysis for the Electrod formal specification language
Other
13
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Handle termination of nuXmv/NuSMV if electrod is itself terminated
#10
grayswandyr
opened
8 months ago
0
Handle Int
#9
grayswandyr
closed
5 months ago
0
Cardinality translation bug
#8
grayswandyr
closed
5 months ago
0
Skolemizing not handled correctly
#7
grayswandyr
closed
5 months ago
3
Electrod must report NuSMV/nuXmv errors in the XML outcome file
#6
grayswandyr
opened
2 years ago
0
Suggested fix for compatibility with Menhir 20200525
#5
fpottier
closed
4 years ago
1
Work on Windows 10
#4
grayswandyr
closed
3 years ago
19
Electrod fails to build
#3
asmyers
closed
5 years ago
2
SMV lexical error
#2
nmacedo
closed
6 years ago
4
first step toward migration to dune/jbuilder and topkg: it builds!
#1
grayswandyr
closed
6 years ago
1