C2PO User Guide#
- Input Language
- Signal Mapping
- MLTL Standard Format
- REPL and Script Mode
- Optimizations
- Formula Equivalence Checking
- Output Formats
- C2PO Commands Reference
- Source:
assemble.py - Source:
atomics.py - Source:
command.py - Source:
cse.py - Source:
desugar.py - Source:
eqsat.py - Source:
map.py - Source:
parse_c2po.py - Source:
parse_equiv.py - Source:
parse_mltl.py - Source:
r2u2.py - Source:
rewrite.py - Source:
sabre.py - Source:
sat.py - Source:
scq.py - Source:
serialize.py - Source:
trace.py - Source:
transform.py - Source:
type_check.py
- Source:
- CLI Options