lib:copilot-core

Modules

• Copilot.Core
• Copilot.Core.Expr
• Copilot.Core.External
• Copilot.Core.Interpret
• Copilot.Core.Interpret.Eval
• Copilot.Core.Operators
• Copilot.Core.PrettyDot
• Copilot.Core.PrettyPrint
• Copilot.Core.Spec
• Copilot.Core.Type
• Copilot.Core.Type.Array
• Copilot.Core.Type.Dynamic
• Copilot.Core.Type.Equality
• Copilot.Core.Type.Show

Dependencies

• base lib:base >=4.9 && <5
• dlist lib:dlist >=0
• mtl lib:mtl >=2.0 && <2.3
• pretty lib:pretty >=1.0 && <1.2

Reverse dependencies

Direct only. Not exhaustive.

• copilot exe:copilot-regression
• copilot lib:copilot
• copilot-c99 exe:copilot-c99-qc
• copilot-c99 lib:copilot-c99
• copilot-cbmc lib:copilot-cbmc
• copilot-language lib:copilot-language
• copilot-sbv lib:copilot-sbv