package info (click to toggle)
boogie 2.4.1%2Bdfsg-0.1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye
  • size: 19,456 kB
  • sloc: cs: 90,888; python: 183; lisp: 99; sh: 66; makefile: 14

Folder: VCGeneration

d .. (parent)
- - rw-r--r-- 22,242 Check.cs
- - rw-r--r-- 78,504 ConditionGeneration.cs
- - rw-r--r-- 9,788 Context.cs
- - rw-r--r-- 10,544 ExprExtensions.cs
- - rw-r--r-- 93,087 FixedpointVC.cs
- - rw-r--r-- 13,325 OrderingAxioms.cs
- - rw-r--r-- 21,940 RPFP.cs
- - rw-r--r-- 116,573 StratifiedVC.cs
- - rw-r--r-- 163,473 VC.cs
- - rw-r--r-- 1,191 VCGeneration-NetCore.csproj
- - rw-r--r-- 11,830 VCGeneration.csproj
- - rw-r--r-- 10,541 Wlp.cs
- - rw-r--r-- 2,581 cce.cs