The latest version of copilot-core is 4.0-0.
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
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