Coverage report: /home/runner/work/geb/geb/src/bitc/package.lisp

KindCoveredAll%
expression013 0.0
branch00nil
Key
Not instrumented
Conditionalized out
Executed
Not executed
 
Both branches taken
One branch taken
Neither branch taken
1
 (in-package :geb.utils)
2
 
3
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
4
 ;;; trans module
5
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
6
 
7
 (muffle-package-variance
8
  (defpackage #:geb.bitc.trans
9
    (:local-nicknames (:vamp :geb.vampir.spec))
10
    (:use #:geb.common #:geb.bitc.spec)
11
    (:shadowing-import-from #:geb.bitc.spec #:drop #:fork)
12
    (:export #:@bitc-trans)))
13
 
14
 (in-package :geb.bitc.trans)
15
 
16
 (pax:defsection @bitc-trans (:title "Bits (Boolean Circuit) Transformations")
17
   "This covers transformation functions from"
18
   (to-circuit (pax:method () (<bitc> t)))
19
   (to-vampir  (pax:method () (compose t t)))
20
   (to-vampir  (pax:method () (fork t t)))
21
   (to-vampir  (pax:method () (parallel t t)))
22
   (to-vampir  (pax:method () (swap t t)))
23
   (to-vampir  (pax:method () (one t t)))
24
   (to-vampir  (pax:method () (zero t t)))
25
   (to-vampir  (pax:method () (ident t t)))
26
   (to-vampir  (pax:method () (drop t t)))
27
   (to-vampir  (pax:method () (branch t t))))
28
 
29
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
30
 ;;; bitc module
31
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
32
 
33
 (geb.utils:muffle-package-variance
34
  (uiop:define-package #:geb.bitc.main
35
    (:use #:geb.common #:geb.mixins)
36
    (:shadowing-import-from #:geb.bitc.spec #:drop #:fork)
37
    (:use-reexport #:geb.bitc.trans #:geb.bitc.spec)
38
    (:export #:@bitc-api)))
39
 
40
 (geb.utils:muffle-package-variance
41
  (uiop:define-package #:geb.bitc
42
    (:use #:geb.common)
43
    (:shadowing-import-from #:geb.bitc.spec :fork :drop)
44
    (:use-reexport #:geb.bitc.trans #:geb.bitc.spec #:geb.bitc.main)
45
    (:export #:@bitc-manaul)))
46
 
47
 (in-package :geb.bitc.main)
48
 
49
 (pax:defsection @bitc-api (:title "Bits (Boolean Circuit) API")
50
   "This covers the Bits (Boolean Circuit) API"
51
   (gapply (pax:method () (<bitc> bit-vector)))
52
   (gapply (pax:method () (<bitc> list)))
53
   (dom    (pax:method () (<bitc>)))
54
   (codom  (pax:method () (<bitc>))))
55
 
56
 (in-package :geb.bitc)
57
 
58
 (pax:defsection @bitc-manual (:title "Bits (Boolean Circuit) Specification")
59
   "This covers a GEB view of Boolean Circuits. In particular this type will
60
 be used in translating GEB's view of Boolean Circuits into Vampir"
61
   (@bitc              pax:section)
62
   (@bitc-constructors pax:section)
63
   (@bitc-api          pax:section)
64
   (@bitc-trans        pax:section))