I have seen some students failing to understand the exception "Init on
RHS when generate eps". Let's make the error message more clear.

unique ptr is convertible to shared ptr natively. It makes sense to construct
unique_ptr first and convert it to shared_ptr if it is needed.

Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago

This reverts commit bc91e284.

Parser can't parse automata string inputs where a state containing a
pair is also a final state.

 NFA a b c d
 ><<(InitialStateLabel), 0> <a, 1> <b, 2> <c, 3> -
 <<a, 1> <a, 1> - - -
 <b, 2> - <b, 2> <c, 3> -
 <c, 3> - - - <d, 4>
 <<d, 4> - - - -

Jan Trávníček authored 3 years ago and Jan Trávníček committed 3 years ago

breaking change!

Jan Trávníček authored 3 years ago and Tomáš Pecka committed 3 years ago

a step forward to remove any need for container extensions

While working on a webui I noticed that some algos have documentation
set to "Documentation not avaiable" instead of available. That's a typo
with multiple occurrences throughout the project.