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
acl.hors
%BEGING
Main_30 -> Bind_21 F_2_1348 F_2_1352 F_2_1365 F_2_1366 .
Bottom0 -> Bottom0 .
Bind_21 ma_20 f_19 s_18 k_bind_17 -> ma_20 s_18 (F_2_1367 f_19 k_bind_17 ) .
F_1350 s_144_1327 k_add_73_1329 b_1333 -> b_1333 (l0 (k_add_73_1329 True ) ) (br (F_1351 s_144_1327 k_add_73_1329 True ) (F_1351 s_144_1327 k_add_73_1329 False ) ) .
F_1351 s_144_1327 k_add_73_1329 b_1335 -> l1 (s_144_1327 (k_add_73_1329 b_1335 ) ) .
F_1354 x_124_1315 x_125_1316 b_1337 -> b_1337 (l0 (Bind_21 F_2_1355 F_2_1359 (F_2_1362 x_124_1315 ) x_125_1316 ) ) (l1 (Fail_63 unit ) ) .
F_1357 s_144_1324 k_remove_156_1326 b_1339 -> b_1339 (l0 (k_remove_156_1326 False ) ) (br (F_1358 s_144_1324 k_remove_156_1326 True ) (F_1358 s_144_1324 k_remove_156_1326 False ) ) .
F_1358 s_144_1324 k_remove_156_1326 b_1341 -> l1 (s_144_1324 (k_remove_156_1326 b_1341 ) ) .
F_1364 x_124_1315 x_125_1316 b_1343 -> b_1343 (F_1354 x_124_1315 x_125_1316 True ) (br (F_1354 x_124_1315 x_125_1316 True ) (F_1354 x_124_1315 x_125_1316 False ) ) .
F_1370 x__1308_1331 b_1346 -> b_1346 (x__1308_1331 True ) (br (x__1308_1331 True ) (x__1308_1331 False ) ) .
F_2_1348 s_144_1327 k_modify_145_1328 -> k_modify_145_1328 (F_2_1349 s_144_1327 ) .
F_2_1349 s_144_1327 k_add_73_1329 -> br (F_1350 s_144_1327 k_add_73_1329 True ) (F_1350 s_144_1327 k_add_73_1329 False ) .
F_2_1352 x_124_1315 x_125_1316 -> x_124_1315 (F_2_1353 x_124_1315 x_125_1316 ) .
F_2_1353 x_124_1315 x_125_1316 x_141_1317 -> F_1364 x_124_1315 x_125_1316 x_141_1317 .
F_2_1355 s_144_1324 k_modify_145_1325 -> k_modify_145_1325 (F_2_1356 s_144_1324 ) .
F_2_1356 s_144_1324 k_remove_156_1326 -> br (F_1357 s_144_1324 k_remove_156_1326 True ) (F_1357 s_144_1324 k_remove_156_1326 False ) .
F_2_1359 x_108_1320 x_109_1321 -> x_109_1321 (F_2_1360 x_108_1320 ) .
F_2_1360 x_108_1320 x__1298_1322 -> x_108_1320 (F_2_1361 x__1298_1322 ) .
F_2_1361 x__1298_1322 x__1299_1323 -> x__1298_1322 .
F_2_1362 x_124_1315 x__1295_1318 -> x_124_1315 (F_2_1363 x__1295_1318 ) .
F_2_1363 x__1295_1318 x__1296_1319 -> x__1295_1318 .
F_2_1365 k_main_arg2_81_1314 -> k_main_arg2_81_1314 .
F_2_1366 main1_87_1313 -> unit .
F_2_1367 f_19 k_bind_17 r_ma1_95_1330 -> f_19 (F_2_1368 r_ma1_95_1330 ) k_bind_17 .
F_2_1368 r_ma1_95_1330 x__1308_1331 -> r_ma1_95_1330 (F_2_1369 x__1308_1331 ) .
F_2_1369 x__1308_1331 x__1309_1332 -> F_1370 x__1308_1331 x__1309_1332 .
Fail_63 k_65 -> event_fail k_65 .
True x y -> x .
False x y -> y .
%ENDG
%BEGINA
q0 br -> q0 q0 .
q0 l0 -> q0 .
q0 l1 -> q0 .
q0 unit -> .
%ENDA