issues
search
nuscr
/
oven
A tool for handling Synthetic MPST specifications
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
(For the next version) Consider using mermaidJS to draw the diagrams
#19
fferreira
opened
1 year ago
0
Improve get_lts in globalLocal.ml
#18
fferreira
opened
1 year ago
1
Remove List module shadowing
#17
fferreira
opened
1 year ago
0
Added a tail recursive List.concat implementation
#16
DoingGitStuff
closed
1 year ago
0
Fix recursion so this file can be run from the command line
#15
fferreira
opened
1 year ago
0
rename globalLocal to semantics
#14
fferreira
opened
1 year ago
0
Migrate the font of the UI to Atkinson Hyperlegible
#13
fferreira
opened
1 year ago
0
Refactor modules
#12
fferreira
closed
1 year ago
0
add a url parameter to load an example by default
#11
fferreira
opened
1 year ago
0
Consider migrating to Vis.js to render the automata.
#10
fferreira
opened
1 year ago
0
Fix the constant jumps while editting files in the web interface
#9
fferreira
closed
1 year ago
0
Improve error messages
#8
fferreira
opened
1 year ago
0
Wrong machine generated
#7
fferreira
closed
2 years ago
0
Weak bisimulation is not really working
#6
fferreira
closed
1 year ago
4
examples/convoluted.synmpst is problematic
#5
fferreira
closed
2 years ago
1
Spurious state island appear
#4
fferreira
closed
2 years ago
0
Machine with impossible states
#3
fferreira
closed
2 years ago
0
New syntax
#2
fferreira
closed
2 years ago
0
New syntax
#1
fferreira
closed
2 years ago
0