HomeIsabelle/Phabricator

adjusted acceptance conditions

Description

adjusted acceptance conditions

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Feb 10 2020, 9:35 PM
Parents
rAFP1ff8d9fa1105: updated DFA and NFA to use intermediate layer
Branches
Unknown
Tags
Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPd00ccc5a880c: adjusted acceptance conditions.Feb 10 2020, 9:35 PM