Marcell Vazquez-Chanlatte
Marcell Vazquez-Chanlatte
Hi, Would it be possible to support DBLP keys and links for adding papers? This seems like a straight forward integration.
I appears to me that the fuzzer is biased towards rather small ast's. Sometimes its nice to assure that the size is somehow "growing" (might be useful in quick check...
### What problem are you trying to solve? Easily setup environment that supports the robot operating system in a reproducible and ergonomic way. ### What solution would you like? Similar...
skimming through the code, it seems that all non-leaf nodes can allow any node as a child. This allows AST's to potentially represent invalid programs. It would be nice to...
Hey, it'd be really cool if this tool could emit json compatable with the Mozilla Parser API. Alot of tools conform to it, so it'd make hooking into them alot...
Currently, composition seems to scale super linearly in the size of the circuit. The appears to also hold true for all functions that rely on `modify_leafs` https://github.com/mvcisback/py-aiger/blob/master/aiger/aig.py#L246 This function performs...
It would be nice to disallow the use of certain rules when parsing. There is already the ability to parse the grammar starting on particular rule: ``` python GRAMMAR[rule].parse(foo) ```...