haloumi 0.5.15

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
20
21
22
23
24
25
26
27
28
29
30
31
32

(prime-number 21888242871839275222246405745257275088548364400416034343698204186575808495617)
(begin-module test_group)
(input in_0)
(output out_0)
(assert (= (- in_0) adv_1_1))
(assert (= (* in_0 adv_1_1) out_0))
(end-module)
(begin-module test_group1)
(input in_0)
(output out_0)
(assert (= (* in_0 adv_1_3) out_0))
(end-module)
(begin-module inner_group)
(input in_0)
(output out_0)
(assert (= (* in_0 adv_1_4) out_0))
(end-module)
(begin-module outer_group)
(input in_0)
(output out_0)
(call [adv_2_4] inner_group [in_0])
(assert (= (- adv_2_4) adv_1_5))
(assert (= (* adv_2_4 adv_1_5) out_0))
(end-module)
(begin-module Main)
(input in_0)
(output out_0)
(call [adv_2_1] test_group [in_0])
(call [adv_2_2] test_group [adv_2_1])
(call [adv_2_3] test_group1 [adv_2_2])
(call [out_0] outer_group [adv_2_3])
(end-module)