GaloisInc lustre-sally issues - Githubissues

GaloisInc / lustre-sally

ISC License

4 stars 1 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

add links to HTML reports in XML, fixes #11

#16 Ptival closed 4 years ago
1
add <K> tag to the XML output, fixes #10

#15 Ptival closed 4 years ago
0
add <K> tag to the XML output

#14 Ptival closed 4 years ago
0
Using `mode` as an identifier leads to a parse error

#13 atomb opened 4 years ago
0
Count instants starting with 0 in XML output

#12 atomb closed 4 years ago
1
Include URL of HTML output in XML output

#11 atomb closed 4 years ago
0
Include K tag in XML output

#10 atomb closed 4 years ago
0
add option to number counter-examples from zero

#9 Ptival closed 4 years ago
2
fix typo

#8 Ptival closed 4 years ago
0
Compile error

#7 BrunoDutertre closed 5 years ago
2
Add counterexamples to XML output

#6 atomb closed 4 years ago
1
Support contracts on external nodes

#5 atomb opened 5 years ago
0
Fully support contracts

#4 atomb opened 5 years ago
0
Allow Lustre files that use keywords as identifiers

#3 atomb closed 5 years ago
1
Handle errors from sally better

#2 yav opened 5 years ago
0
Eventually parameterize TransitionSystem (and maybe split it out)

#1 atomb opened 6 years ago
0