swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Tip revision: f94b06de7edcb61d3c49f19417e53dc7dc21d552 authored by Anish Tondwalkar on 22 June 2021, 08:13:54 UTC
updated README
updated README
Tip revision: f94b06d
sum.hors
%BEGING
Main_16 -> Sum F_3_1280 F_3_1281 F_3_1282 .
Bottom0 -> Bottom0 .
F_1283 b_1257 -> b_1257 (l0 (Sum F_3_1284 F_3_1285 F_3_1286 ) ) (l1 (Fail_52 unit ) ) .
F_1287 b_1261 -> b_1261 (l0 unit ) (l1 (Fail_55 unit ) ) .
F_1290 k_sum x_110_1255 x_104_1256 b_1264 -> b_1264 (k_sum True ) (F_1296 k_sum x_110_1255 x_104_1256 x_110_1255 ) .
F_1291 k_sum b_1268 -> b_1268 (k_sum False ) (br (k_sum True ) (k_sum False ) ) .
F_1292 k_sum x_110_1255 x_104_1256 b_1270 -> b_1270 (F_1291 k_sum True ) (F_1294 k_sum x_110_1255 x_104_1256 ) .
F_1293 k_sum x_110_1255 b_1276 -> b_1276 (F_1291 k_sum x_110_1255 ) (F_1291 k_sum False ) .
F_1294 k_sum x_110_1255 b_1278 -> b_1278 (F_1293 k_sum x_110_1255 False ) (F_1293 k_sum x_110_1255 True ) .
F_1295 k_sum x_110_1255 x_104_1256 b_1272 -> b_1272 (F_1292 k_sum x_110_1255 x_104_1256 x_104_1256 ) (F_1292 k_sum x_110_1255 x_104_1256 False ) .
F_1296 k_sum x_110_1255 x_104_1256 b_1274 -> b_1274 (F_1295 k_sum x_110_1255 x_104_1256 False ) (F_1295 k_sum x_110_1255 x_104_1256 True ) .
F_1297 k_sum x_110_1255 x_104_1256 b_1266 -> b_1266 (F_1290 k_sum x_110_1255 x_104_1256 x_110_1255 ) (F_1290 k_sum x_110_1255 x_104_1256 False ) .
F_3_1280 x_63_1253 k_test2_64_1254 -> k_test2_64_1254 True .
F_3_1281 x_65_1251 k_test2_66_1252 -> k_test2_66_1252 True .
F_3_1282 x_67_1245 -> F_1283 x_67_1245 .
F_3_1284 x_81_1249 k_test1_82_1250 -> br (k_test1_82_1250 True ) (k_test1_82_1250 False ) .
F_3_1285 x_86_1247 k_test1_87_1248 -> br (k_test1_87_1248 True ) (k_test1_87_1248 False ) .
F_3_1286 x_97_1246 -> br (F_1287 True ) (F_1287 False ) .
F_3_1288 g k_sum x_110_1255 -> g True (F_3_1289 k_sum x_110_1255 ) .
F_3_1289 k_sum x_110_1255 x_104_1256 -> F_1297 k_sum x_110_1255 x_104_1256 x_104_1256 .
Fail_52 k_54 -> event_fail k_54 .
Fail_55 k_57 -> event_fail k_57 .
Sum f g k_sum -> f True (F_3_1288 g k_sum ) .
True x y -> x .
False x y -> y .
%ENDG
%BEGINA
q0 br -> q0 q0 .
q0 l0 -> q0 .
q0 l1 -> q0 .
q0 unit -> .
%ENDA