lascar
lascar copied to clipboard
Published
20 hours ago •
jserot
jserot
An OCaml library for manipulating Labeled Transition Systems
Results
2
lascar issues
Sort by
recently updated
recently updated
newest added
This is the commit to optimize the powerset construction in ToDfa.conv so that the states unreachable from the initial state are not created. The list of reachable states is constructed...
This is the follow-up fix for commit c69f3ee. There is a missing reference to the old file in the examples, that prevents `dune subst` used in the opam installation.
