Skip to content
Cyclops

Team

Cyclops comes out of the compilers and program-analysis group in the Department of Computer Science and Engineering at IIT Kanpur.

Background reading

The symbolic encoding behind Cyclops is described in Parse Condition: Symbolic Encoding of LL(1) Parsing.