haloumi 0.5.13

Entrypoint crate for the Haloumi framework.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

(prime-number 21888242871839275222246405745257275088548364400416034343698204186575808495617)
(begin-module test_group)
(input in_0)
(output out_0)
(assert (= (* 1 (+ (* 21888242871839275222246405745257275088548364400416034343698204186575808495616 adv_0_1) (- adv_1_1))) 0))
(assert (= (* 1 (+ (* adv_0_1 adv_1_1) (- out_0))) 0))
(assert (= in_0 adv_0_1))
(end-module)
(begin-module Main)
(input in_0)
(output out_0)
(call [cout_0_0] test_group [adv_0_0])
(assert (= adv_2_1 cout_0_0))
(call [cout_1_0] test_group [adv_2_1])
(assert (= adv_2_2 cout_1_0))
(assert (= adv_0_0 in_0))
(assert (= adv_2_2 adv_2_3))
(assert (= adv_2_3 out_0))
(end-module)