HomeIsabelle/Phabricator

adjusted acceptance conditions

Description

adjusted acceptance conditions

Details

Committed
Julian Brunner <julianbrunner@gmail.com>Mon, Feb 10, 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.Mon, Feb 10, 9:35 PM