Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_logic_expand_test / logic_expand_test_logic_expand_test_input_values @ 0c9457a0

History | View | Annotate | Download (4.3 KB)

1
1
2
1
3
0
4
0
5
1
6
1
7
0
8
1
9
0
10
1
11
0
12
0
13
0
14
1
15
0
16
0
17
0
18
1
19
0
20
0
21
1
22
0
23
1
24
0
25
1
26
1
27
0
28
1
29
1
30
1
31
1
32
0
33
1
34
0
35
1
36
1
37
1
38
1
39
1
40
0
41
0
42
0
43
1
44
1
45
1
46
1
47
0
48
0
49
1
50
1
51
0
52
0
53
1
54
1
55
1
56
1
57
1
58
0
59
0
60
1
61
0
62
0
63
1
64
0
65
0
66
0
67
0
68
0
69
1
70
0
71
1
72
0
73
1
74
0
75
1
76
1
77
0
78
0
79
1
80
0
81
0
82
0
83
1
84
0
85
0
86
0
87
0
88
1
89
0
90
1
91
1
92
0
93
0
94
1
95
0
96
0
97
1
98
0
99
1
100
0
101
0
102
1
103
1
104
0
105
0
106
0
107
1
108
1
109
0
110
1
111
0
112
1
113
1
114
0
115
0
116
0
117
0
118
1
119
0
120
1
121
1
122
1
123
1
124
1
125
1
126
0
127
1
128
0
129
0
130
1
131
1
132
1
133
0
134
1
135
0
136
1
137
0
138
1
139
1
140
0
141
1
142
1
143
1
144
1
145
0
146
0
147
1
148
0
149
0
150
1
151
1
152
1
153
0
154
1
155
1
156
1
157
0
158
0
159
1
160
0
161
0
162
1
163
1
164
1
165
0
166
1
167
0
168
0
169
0
170
0
171
0
172
0
173
1
174
1
175
1
176
0
177
1
178
1
179
0
180
1
181
0
182
1
183
0
184
0
185
0
186
0
187
1
188
0
189
0
190
1
191
0
192
0
193
1
194
1
195
0
196
1
197
0
198
1
199
1
200
0
201
1
202
0
203
1
204
0
205
1
206
1
207
0
208
1
209
1
210
0
211
0
212
1
213
1
214
1
215
1
216
1
217
1
218
0
219
1
220
0
221
0
222
0
223
1
224
0
225
0
226
1
227
0
228
0
229
0
230
0
231
0
232
1
233
1
234
0
235
0
236
1
237
1
238
0
239
0
240
0
241
1
242
1
243
0
244
1
245
1
246
1
247
0
248
0
249
0
250
1
251
1
252
0
253
1
254
1
255
1
256
0
257
1
258
0
259
0
260
0
261
1
262
0
263
0
264
1
265
1
266
1
267
1
268
1
269
1
270
1
271
0
272
0
273
1
274
0
275
0
276
1
277
1
278
0
279
1
280
0
281
1
282
1
283
0
284
1
285
1
286
1
287
0
288
1
289
0
290
1
291
1
292
1
293
0
294
0
295
1
296
1
297
0
298
1
299
1
300
1
301
0
302
1
303
0
304
0
305
1
306
0
307
0
308
1
309
1
310
0
311
1
312
1
313
0
314
1
315
1
316
0
317
1
318
1
319
0
320
0
321
0
322
0
323
0
324
0
325
0
326
1
327
1
328
1
329
0
330
0
331
1
332
1
333
1
334
1
335
1
336
1
337
1
338
1
339
0
340
1
341
1
342
0
343
1
344
0
345
1
346
1
347
0
348
1
349
1
350
1
351
1
352
0
353
0
354
1
355
0
356
0
357
0
358
0
359
0
360
1
361
0
362
0
363
0
364
1
365
0
366
1
367
0
368
1
369
1
370
0
371
1
372
1
373
0
374
0
375
1
376
1
377
0
378
0
379
0
380
1
381
1
382
0
383
1
384
0
385
0
386
1
387
1
388
0
389
1
390
1
391
0
392
0
393
1
394
0
395
1
396
1
397
1
398
1
399
1
400
0
401
1
402
0
403
1
404
1
405
1
406
0
407
0
408
0
409
0
410
0
411
0
412
0
413
0
414
0
415
0
416
1
417
1
418
1
419
0
420
0
421
1
422
0
423
1
424
1
425
0
426
1
427
0
428
0
429
1
430
0
431
0
432
1
433
0
434
1
435
0
436
1
437
0
438
1
439
1
440
1
441
1
442
0
443
1
444
1
445
1
446
0
447
0
448
0
449
1
450
1
451
1
452
1
453
0
454
1
455
1
456
1
457
0
458
1
459
1
460
0
461
1
462
0
463
1
464
1
465
0
466
0
467
1
468
0
469
1
470
1
471
1
472
0
473
0
474
1
475
0
476
1
477
0
478
1
479
0
480
1
481
0
482
0
483
0
484
0
485
0
486
1
487
0
488
0
489
0
490
1
491
0
492
0
493
1
494
0
495
0
496
1
497
0
498
0
499
1
500
1
501
0
502
1
503
0
504
0
505
1
506
1
507
1
508
0
509
0
510
1
511
0
512
0
513
1
514
0
515
0
516
0
517
1
518
0
519
1
520
0
521
1
522
1
523
1
524
0
525
0
526
1
527
1
528
0
529
0
530
1
531
0
532
1
533
0
534
1
535
1
536
0
537
1
538
0
539
0
540
1
541
0
542
1
543
0
544
1
545
0
546
0
547
1
548
1
549
1
550
0
551
1
552
0
553
0
554
0
555
1
556
1
557
0
558
1
559
0
560
0
561
1
562
1
563
0
564
1
565
0
566
0
567
0
568
0
569
0
570
0
571
1
572
0
573
1
574
0
575
0
576
1
577
0
578
0
579
0
580
1
581
1
582
1
583
0
584
1
585
1
586
0
587
0
588
0
589
1
590
0
591
0
592
1
593
0
594
0
595
1
596
1
597
1
598
0
599
1
600
0
601
1
602
0
603
0
604
0
605
1
606
0
607
1
608
1
609
1
610
1
611
1
612
1
613
0
614
0
615
0
616
0
617
0
618
1
619
1
620
0
621
1
622
1
623
0
624
0
625
1
626
0
627
0
628
1
629
0
630
0
631
0
632
0
633
0
634
1
635
1
636
1
637
0
638
0
639
0
640
1
641
0
642
0
643
0
644
1
645
0
646
0
647
1
648
0
649
0
650
1
651
1
652
0
653
0
654
1
655
1
656
0
657
0
658
0
659
0
660
0
661
1
662
1
663
1
664
0
665
0
666
0
667
1
668
1
669
0
670
0
671
1
672
0
673
0
674
1
675
0
676
0
677
0
678
0
679
0
680
0
681
1
682
1
683
0
684
0
685
0
686
1
687
0
688
1
689
1
690
1
691
0
692
0
693
1
694
0
695
1
696
1
697
1
698
1
699
1
700
0
701
0
702
0
703
0
704
1
705
1
706
0
707
1
708
0
709
0
710
1
711
1
712
0
713
0
714
1
715
0
716
1
717
0
718
0
719
1
720
1
721
0
722
1
723
0
724
0
725
0
726
1
727
1
728
1
729
0
730
1
731
0
732
0
733
1
734
0
735
0
736
1
737
1
738
0
739
0
740
1
741
1
742
1
743
1
744
1
745
0
746
0
747
0
748
1
749
0
750
1
751
1
752
0
753
1
754
0
755
1
756
1
757
1
758
1
759
0
760
1
761
1
762
0
763
0
764
0
765
1
766
0
767
0
768
0
769
1
770
0
771
0
772
0
773
1
774
1
775
1
776
0
777
1
778
1
779
0
780
0
781
0
782
1
783
0
784
1
785
0
786
0
787
1
788
1
789
0
790
0
791
1
792
0
793
0
794
0
795
0
796
0
797
1
798
1
799
1
800
1
801
0
802
1
803
0
804
0
805
0
806
1
807
0
808
1
809
0
810
0
811
1
812
1
813
1
814
0
815
1
816
0
817
0
818
0
819
0
820
1
821
0
822
1
823
0
824
0
825
1
826
0
827
1
828
1
829
1
830
0
831
1
832
1
833
0
834
1
835
1
836
1
837
1
838
0
839
0
840
1
841
0
842
0
843
0
844
0
845
0
846
0
847
0
848
0
849
0
850
1
851
1
852
1
853
0
854
0
855
0
856
0
857
0
858
0
859
0
860
0
861
1
862
0
863
1
864
1
865
0
866
1
867
0
868
1
869
1
870
0
871
0
872
1
873
0
874
1
875
0
876
1
877
0
878
0
879
0
880
0
881
1
882
0
883
1
884
1
885
0
886
0
887
1
888
1
889
0
890
0
891
1
892
1
893
1
894
0
895
0
896
0
897
0
898
0
899
1
900
0
901
0
902
1
903
0
904
0
905
1
906
1
907
0
908
1
909
0
910
1
911
1
912
1
913
1
914
1
915
0
916
0
917
1
918
1
919
0
920
0
921
1
922
1
923
0
924
1
925
0
926
0
927
1
928
1
929
0
930
1
931
1
932
1
933
0
934
1
935
0
936
1
937
0
938
0
939
1
940
1
941
1
942
1
943
0
944
0
945
0
946
0
947
1
948
0
949
0
950
0
951
0
952
0
953
0
954
0
955
1
956
0
957
1
958
0
959
1
960
1
961
1
962
1
963
1
964
1
965
0
966
1
967
0
968
0
969
1
970
0
971
0
972
0
973
0
974
0
975
0
976
0
977
1
978
0
979
1
980
0
981
0
982
1
983
0
984
1
985
0
986
1
987
0
988
1
989
0
990
0
991
1
992
1
993
0
994
1
995
0
996
0
997
0
998
1
999
1
1000
0
1001
1
1002
0
1003
1
1004
0
1005
1
1006
0
1007
1
1008
1
1009
0
1010
0
1011
1
1012
1
1013
1
1014
1
1015
1
1016
0
1017
0
1018
0
1019
0
1020
1
1021
1
1022
0
1023
1
1024
1
1025
0
1026
1
1027
1
1028
1
1029
1
1030
1
1031
0
1032
0
1033
0
1034
0
1035
0
1036
0
1037
1
1038
1
1039
1
1040
1
1041
0
1042
0
1043
0
1044
1
1045
0
1046
1
1047
1
1048
1
1049
1
1050
1
1051
1
1052
1
1053
1
1054
0
1055
1
1056
1
1057
1
1058
0
1059
1
1060
1
1061
1
1062
0
1063
1
1064
1
1065
0
1066
0
1067
0
1068
0
1069
1
1070
1
1071
1
1072
1
1073
1
1074
1
1075
1
1076
1
1077
0
1078
0
1079
1
1080
0
1081
0
1082
0
1083
1
1084
0
1085
0
1086
1
1087
1
1088
1
1089
0
1090
0
1091
1
1092
0
1093
0
1094
0
1095
0
1096
0
1097
1
1098
0
1099
0
1100
0
1101
0
1102
0
1103
0
1104
0
1105
1
1106
1
1107
1
1108
0
1109
1
1110
0
1111
1
1112
0
1113
1
1114
1
1115
1
1116
0
1117
0
1118
1
1119
1
1120
0
1121
1
1122
0
1123
0
1124
0
1125
0
1126
1
1127
1
1128
0
1129
1
1130
1
1131
0
1132
0
1133
0
1134
0
1135
0
1136
0
1137
0
1138
1
1139
1
1140
1
1141
1
1142
0
1143
1
1144
1
1145
1
1146
1
1147
0
1148
1
1149
0
1150
1
1151
0
1152
1
1153
0
1154
1
1155
0
1156
0
1157
1
1158
0
1159
1
1160
0
1161
1
1162
1
1163
1
1164
0
1165
1
1166
1
1167
1
1168
0
1169
0
1170
1
1171
0
1172
0
1173
1
1174
0
1175
0
1176
1
1177
1
1178
1
1179
1
1180
1
1181
0
1182
1
1183
0
1184
1
1185
1
1186
0
1187
0
1188
0
1189
0
1190
0
1191
1
1192
0
1193
0
1194
1
1195
1
1196
0
1197
0
1198
1
1199
0
1200
0
1201
1
1202
1
1203
1
1204
0
1205
0
1206
0
1207
0
1208
1
1209
0
1210
1
1211
0
1212
0
1213
1
1214
1
1215
0
1216
1
1217
1
1218
1
1219
1
1220
1
1221
0
1222
1
1223
1
1224
0
1225
1
1226
1
1227
0
1228
1
1229
1
1230
1
1231
1
1232
1
1233
1
1234
1
1235
1
1236
1
1237
0
1238
0
1239
1
1240
0
1241
0
1242
0
1243
0
1244
1
1245
0
1246
0
1247
1
1248
1
1249
1
1250
1
1251
1
1252
0
1253
0
1254
1
1255
1
1256
1
1257
1
1258
0
1259
1
1260
0
1261
0
1262
0
1263
0
1264
0
1265
1
1266
1
1267
0
1268
1
1269
0
1270
1
1271
1
1272
0
1273
1
1274
1
1275
0
1276
1
1277
1
1278
0
1279
0
1280
0
1281
0
1282
1
1283
1
1284
1
1285
1
1286
0
1287
0
1288
0
1289
0
1290
1
1291
1
1292
0
1293
1
1294
1
1295
1
1296
0
1297
1
1298
0
1299
0
1300
1
1301
1
1302
0
1303
0
1304
1
1305
0
1306
0
1307
0
1308
1
1309
0
1310
1
1311
0
1312
0
1313
0
1314
0
1315
0
1316
0
1317
1
1318
1
1319
1
1320
0
1321
1
1322
0
1323
1
1324
0
1325
0
1326
0
1327
1
1328
1
1329
1
1330
0
1331
1
1332
0
1333
0
1334
0
1335
0
1336
0
1337
1
1338
1
1339
1
1340
0
1341
1
1342
0
1343
1
1344
0
1345
0
1346
0
1347
0
1348
1
1349
1
1350
1
1351
0
1352
1
1353
0
1354
0
1355
0
1356
1
1357
0
1358
1
1359
0
1360
0
1361
0
1362
0
1363
0
1364
0
1365
1
1366
1
1367
0
1368
1
1369
1
1370
1
1371
1
1372
1
1373
0
1374
1
1375
0
1376
1
1377
1
1378
1
1379
1
1380
1
1381
1
1382
0
1383
1
1384
1
1385
1
1386
1
1387
0
1388
0
1389
1
1390
0
1391
1
1392
1
1393
1
1394
1
1395
0
1396
1
1397
1
1398
0
1399
0
1400
0
1401
1
1402
1
1403
0
1404
1
1405
1
1406
0
1407
1
1408
1
1409
0
1410
0
1411
1
1412
1
1413
1
1414
0
1415
0
1416
0
1417
1
1418
1
1419
1
1420
1
1421
1
1422
1
1423
1
1424
1
1425
1
1426
0
1427
1
1428
0
1429
0
1430
0
1431
1
1432
1
1433
1
1434
0
1435
1
1436
1
1437
1
1438
0
1439
0
1440
0
1441
1
1442
1
1443
0
1444
1
1445
1
1446
0
1447
0
1448
0
1449
1
1450
1
1451
1
1452
0
1453
0
1454
1
1455
0
1456
1
1457
0
1458
1
1459
1
1460
1
1461
0
1462
1
1463
0
1464
0
1465
1
1466
0
1467
0
1468
0
1469
1
1470
0
1471
1
1472
0
1473
0
1474
1
1475
1
1476
1
1477
1
1478
1
1479
1
1480
0
1481
0
1482
1
1483
0
1484
1
1485
1
1486
1
1487
0
1488
1
1489
0
1490
0
1491
1
1492
0
1493
1
1494
1
1495
1
1496
0
1497
0
1498
1
1499
1
1500
1
1501
0
1502
1
1503
0
1504
0
1505
0
1506
0
1507
1
1508
1
1509
0
1510
1
1511
0
1512
0
1513
1
1514
1
1515
1
1516
1
1517
0
1518
0
1519
1
1520
0
1521
1
1522
1
1523
1
1524
0
1525
1
1526
1
1527
0
1528
1
1529
0
1530
0
1531
1
1532
1
1533
0
1534
1
1535
0
1536
1
1537
0
1538
0
1539
0
1540
1
1541
0
1542
0
1543
0
1544
1
1545
1
1546
1
1547
1
1548
1
1549
0
1550
0
1551
0
1552
0
1553
0
1554
0
1555
1
1556
1
1557
1
1558
0
1559
1
1560
1
1561
0
1562
0
1563
0
1564
1
1565
0
1566
0
1567
1
1568
1
1569
0
1570
1
1571
1
1572
0
1573
0
1574
1
1575
1
1576
1
1577
0
1578
1
1579
1
1580
1
1581
1
1582
1
1583
1
1584
1
1585
0
1586
1
1587
1
1588
0
1589
0
1590
0
1591
0
1592
0
1593
1
1594
1
1595
0
1596
0
1597
1
1598
1
1599
1
1600
0
1601
0
1602
1
1603
1
1604
1
1605
1
1606
0
1607
1
1608
1
1609
0
1610
0
1611
0
1612
0
1613
0
1614
0
1615
0
1616
0
1617
1
1618
0
1619
0
1620
0
1621
1
1622
1
1623
1
1624
0
1625
1
1626
1
1627
1
1628
1
1629
1
1630
0
1631
1
1632
0
1633
0
1634
1
1635
0
1636
1
1637
0
1638
0
1639
1
1640
1
1641
0
1642
0
1643
1
1644
1
1645
1
1646
0
1647
0
1648
1
1649
0
1650
0
1651
1
1652
1
1653
1
1654
0
1655
0
1656
0
1657
1
1658
0
1659
0
1660
1
1661
1
1662
1
1663
1
1664
1
1665
0
1666
1
1667
1
1668
1
1669
0
1670
0
1671
0
1672
1
1673
0
1674
1
1675
0
1676
0
1677
1
1678
1
1679
0
1680
0
1681
1
1682
0
1683
1
1684
0
1685
0
1686
1
1687
1
1688
1
1689
0
1690
1
1691
1
1692
0
1693
0
1694
0
1695
1
1696
1
1697
1
1698
0
1699
0
1700
1
1701
0
1702
1
1703
0
1704
1
1705
1
1706
1
1707
0
1708
1
1709
0
1710
0
1711
1
1712
1
1713
0
1714
1
1715
0
1716
0
1717
0
1718
0
1719
1
1720
1
1721
0
1722
1
1723
0
1724
1
1725
0
1726
1
1727
1
1728
0
1729
1
1730
0
1731
1
1732
1
1733
1
1734
1
1735
0
1736
1
1737
1
1738
0
1739
1
1740
0
1741
1
1742
0
1743
0
1744
0
1745
0
1746
1
1747
0
1748
0
1749
1
1750
1
1751
0
1752
0
1753
1
1754
1
1755
1
1756
0
1757
0
1758
1
1759
0
1760
1
1761
0
1762
1
1763
0
1764
0
1765
0
1766
0
1767
1
1768
0
1769
0
1770
0
1771
1
1772
1
1773
1
1774
0
1775
0
1776
1
1777
1
1778
1
1779
1
1780
0
1781
1
1782
0
1783
0
1784
0
1785
1
1786
0
1787
1
1788
0
1789
1
1790
1
1791
1
1792
0
1793
1
1794
0
1795
0
1796
1
1797
1
1798
0
1799
0
1800
1
1801
0
1802
0
1803
1
1804
1
1805
0
1806
1
1807
0
1808
0
1809
0
1810
0
1811
1
1812
0
1813
0
1814
1
1815
0
1816
0
1817
1
1818
0
1819
0
1820
0
1821
0
1822
0
1823
0
1824
1
1825
0
1826
1
1827
1
1828
1
1829
1
1830
1
1831
1
1832
0
1833
0
1834
1
1835
0
1836
0
1837
1
1838
0
1839
0
1840
0
1841
0
1842
0
1843
1
1844
0
1845
1
1846
1
1847
0
1848
0
1849
1
1850
1
1851
1
1852
0
1853
0
1854
1
1855
1
1856
0
1857
0
1858
1
1859
0
1860
0
1861
0
1862
0
1863
0
1864
1
1865
0
1866
0
1867
1
1868
0
1869
0
1870
1
1871
0
1872
0
1873
1
1874
1
1875
0
1876
1
1877
1
1878
0
1879
0
1880
1
1881
1
1882
1
1883
1
1884
1
1885
0
1886
1
1887
1
1888
0
1889
1
1890
1
1891
1
1892
1
1893
1
1894
0
1895
1
1896
0
1897
1
1898
1
1899
1
1900
0
1901
1
1902
1
1903
1
1904
1
1905
0
1906
1
1907
0
1908
0
1909
0
1910
1
1911
0
1912
1
1913
1
1914
1
1915
1
1916
0
1917
1
1918
1
1919
0
1920
1
1921
1
1922
0
1923
0
1924
0
1925
1
1926
1
1927
0
1928
0
1929
1
1930
1
1931
1
1932
0
1933
0
1934
1
1935
0
1936
1
1937
1
1938
1
1939
0
1940
1
1941
0
1942
0
1943
0
1944
1
1945
0
1946
1
1947
1
1948
0
1949
1
1950
0
1951
1
1952
0
1953
1
1954
1
1955
0
1956
0
1957
0
1958
0
1959
1
1960
0
1961
1
1962
0
1963
0
1964
1
1965
0
1966
1
1967
0
1968
1
1969
1
1970
0
1971
1
1972
1
1973
0
1974
0
1975
1
1976
1
1977
1
1978
1
1979
0
1980
1
1981
0
1982
1
1983
1
1984
1
1985
1
1986
1
1987
1
1988
0
1989
1
1990
0
1991
0
1992
1
1993
0
1994
1
1995
0
1996
0
1997
0
1998
0
1999
0
2000
0
2001
0
2002
1
2003
1
2004
0
2005
0
2006
1
2007
1
2008
0
2009
0
2010
0
2011
0
2012
0
2013
0
2014
0
2015
1
2016
0
2017
0
2018
0
2019
1
2020
0
2021
1
2022
0
2023
1
2024
0
2025
1
2026
0
2027
1
2028
1
2029
0
2030
0
2031
1
2032
0
2033
0
2034
1
2035
0
2036
0
2037
0
2038
1
2039
1
2040
0
2041
0
2042
0
2043
0
2044
1
2045
1
2046
0
2047
1
2048
0
2049
1
2050
1
2051
1
2052
0
2053
1
2054
0
2055
0
2056
1
2057
1
2058
0
2059
1
2060
0
2061
0
2062
0
2063
1
2064
0
2065
0
2066
0
2067
1
2068
1
2069
0
2070
1
2071
1
2072
1
2073
1
2074
1
2075
1
2076
0
2077
1
2078
0
2079
1
2080
1
2081
0
2082
0
2083
0
2084
0
2085
1
2086
0
2087
0
2088
1
2089
1
2090
1
2091
0
2092
0
2093
0
2094
1
2095
1
2096
1
2097
0
2098
0
2099
0
2100
0
2101
0
2102
0
2103
1
2104
1
2105
0
2106
0
2107
0
2108
0
2109
1
2110
0
2111
1
2112
1
2113
0
2114
0
2115
1
2116
1
2117
0
2118
0
2119
0
2120
1
2121
1
2122
1
2123
1
2124
1
2125
0
2126
1
2127
1
2128
1
2129
1
2130
0
2131
0
2132
1
2133
0
2134
1
2135
0
2136
0
2137
1
2138
1
2139
1
2140
0
2141
0
2142
1
2143
0
2144
0
2145
1
2146
0
2147
1
2148
1
2149
1
2150
0
2151
0
2152
1
2153
0
2154
1
2155
1
2156
1
2157
0
2158
0
2159
1
2160
0
2161
1
2162
1
2163
0
2164
1
2165
0
2166
1
2167
1
2168
0
2169
1
2170
0
2171
0
2172
0
2173
1
2174
1
2175
1
2176
0
2177
1
2178
0
2179
1
2180
0
2181
0
2182
0
2183
0
2184
0
2185
0
2186
0
2187
1
2188
0
2189
1
2190
1
2191
1
2192
0
2193
1
2194
0
2195
0
2196
1
2197
1
2198
1
2199
0
2200
0