forked from cwi-swat/ambidexter
-
Notifications
You must be signed in to change notification settings - Fork 0
AmbiDexter is a static detection tool for ambiguity in context-free grammars, written in SDF2 or in Rascal. It is a combination of an approximative state space exploration tool that filters, combined with a fast and exhaustive sentence generator.
BertLisser/ambidexter
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
About
AmbiDexter is a static detection tool for ambiguity in context-free grammars, written in SDF2 or in Rascal. It is a combination of an approximative state space exploration tool that filters, combined with a fast and exhaustive sentence generator.
Stars
Watchers
Forks
Packages 0
No packages published