projects
/
urcu.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
blame
|
history
|
raw
|
HEAD
Move DEBUG_FULL_MB to properly named CONFIG_URCU_AVOID_SIGNALS
[urcu.git]
/
formal-model
/
urcu-controldataflow-intel-no-ipi
/
urcu_free_single_flip.spin.input.trail
1
-2:3:-2
2
-4:-4:-4
3
1:0:3997
4
2:3:3917
5
3:3:3920
6
4:3:3920
7
5:3:3923
8
6:3:3931
9
7:3:3931
10
8:3:3934
11
9:3:3940
12
10:3:3944
13
11:3:3944
14
12:3:3947
15
13:3:3957
16
14:3:3965
17
15:3:3965
18
16:3:3968
19
17:3:3974
20
18:3:3978
21
19:3:3978
22
20:3:3981
23
21:3:3987
24
22:3:3991
25
23:3:3992
26
24:0:3997
27
25:3:3994
28
26:0:3997
29
27:2:2757
30
28:0:3997
31
29:2:2763
32
30:0:3997
33
31:2:2764
34
32:0:3997
35
33:2:2766
36
34:0:3997
37
35:2:2767
38
36:0:3997
39
37:2:2768
40
38:0:3997
41
39:2:2769
42
40:0:3997
43
41:2:2770
44
42:0:3997
45
43:2:2771
46
44:0:3997
47
45:2:2772
48
46:2:2773
49
47:2:2777
50
48:2:2778
51
49:2:2786
52
50:2:2787
53
51:2:2791
54
52:2:2792
55
53:2:2800
56
54:2:2805
57
55:2:2809
58
56:2:2810
59
57:2:2818
60
58:2:2819
61
59:2:2823
62
60:2:2824
63
61:2:2818
64
62:2:2819
65
63:2:2823
66
64:2:2824
67
65:2:2832
68
66:2:2837
69
67:2:2844
70
68:2:2845
71
69:2:2852
72
70:2:2857
73
71:2:2864
74
72:2:2865
75
73:2:2864
76
74:2:2865
77
75:2:2872
78
76:2:2882
79
77:0:3997
80
78:2:2771
81
79:0:3997
82
80:2:2886
83
81:2:2890
84
82:2:2891
85
83:2:2895
86
84:2:2899
87
85:2:2900
88
86:2:2904
89
87:2:2912
90
88:2:2913
91
89:2:2917
92
90:2:2921
93
91:2:2922
94
92:2:2917
95
93:2:2918
96
94:2:2926
97
95:0:3997
98
96:2:2771
99
97:0:3997
100
98:2:2934
101
99:2:2935
102
100:2:2936
103
101:0:3997
104
102:2:2771
105
103:0:3997
106
104:2:2941
107
105:0:3997
108
106:2:3554
109
107:2:3555
110
108:2:3559
111
109:2:3563
112
110:2:3564
113
111:2:3568
114
112:2:3573
115
113:2:3581
116
114:2:3585
117
115:2:3586
118
116:2:3581
119
117:2:3585
120
118:2:3586
121
119:2:3590
122
120:2:3597
123
121:2:3604
124
122:2:3605
125
123:2:3612
126
124:2:3617
127
125:2:3624
128
126:2:3625
129
127:2:3624
130
128:2:3625
131
129:2:3632
132
130:2:3636
133
131:0:3997
134
132:2:2943
135
133:2:3535
136
134:0:3997
137
135:2:2771
138
136:0:3997
139
137:2:2944
140
138:0:3997
141
139:2:2771
142
140:0:3997
143
141:2:2947
144
142:2:2948
145
143:2:2952
146
144:2:2953
147
145:2:2961
148
146:2:2962
149
147:2:2966
150
148:2:2967
151
149:2:2975
152
150:2:2980
153
151:2:2984
154
152:2:2985
155
153:2:2993
156
154:2:2994
157
155:2:2998
158
156:2:2999
159
157:2:2993
160
158:2:2994
161
159:2:2998
162
160:2:2999
163
161:2:3007
164
162:2:3012
165
163:2:3019
166
164:2:3020
167
165:2:3027
168
166:2:3032
169
167:2:3039
170
168:2:3040
171
169:2:3039
172
170:2:3040
173
171:2:3047
174
172:2:3056
175
173:0:3997
176
174:2:2771
177
175:0:3997
178
176:2:3060
179
177:2:3069
180
178:2:3070
181
179:2:3074
182
180:2:3075
183
181:2:3079
184
182:2:3080
185
183:2:3088
186
184:2:3093
187
185:2:3097
188
186:2:3098
189
187:2:3106
190
188:2:3107
191
189:2:3111
192
190:2:3112
193
191:2:3106
194
192:2:3107
195
193:2:3111
196
194:2:3112
197
195:2:3120
198
196:2:3127
199
197:2:3128
200
198:2:3132
201
199:2:3133
202
200:2:3140
203
201:2:3145
204
202:2:3152
205
203:2:3153
206
204:2:3152
207
205:2:3153
208
206:2:3160
209
207:2:3172
210
208:2:3173
211
209:0:3997
212
210:2:2771
213
211:0:3997
214
212:2:3523
215
213:0:3997
216
214:1:2
217
215:0:3997
218
216:1:8
219
217:0:3997
220
218:1:9
221
219:0:3997
222
220:1:10
223
221:0:3997
224
222:1:11
225
223:0:3997
226
224:1:12
227
225:1:13
228
226:1:17
229
227:1:18
230
228:1:26
231
229:1:27
232
230:1:31
233
231:1:32
234
232:1:40
235
233:1:45
236
234:1:49
237
235:1:50
238
236:1:58
239
237:1:59
240
238:1:63
241
239:1:64
242
240:1:58
243
241:1:59
244
242:1:63
245
243:1:64
246
244:1:72
247
245:1:77
248
246:1:84
249
247:1:85
250
248:1:92
251
249:1:97
252
250:1:104
253
251:1:105
254
252:1:104
255
253:1:105
256
254:1:112
257
255:0:3997
258
256:1:11
259
257:0:3997
260
258:1:123
261
259:1:124
262
260:0:3997
263
261:1:11
264
262:0:3997
265
263:1:130
266
264:1:131
267
265:1:135
268
266:1:136
269
267:1:144
270
268:1:145
271
269:1:149
272
270:1:150
273
271:1:158
274
272:1:163
275
273:1:167
276
274:1:168
277
275:1:176
278
276:1:177
279
277:1:181
280
278:1:182
281
279:1:176
282
280:1:177
283
281:1:181
284
282:1:182
285
283:1:190
286
284:1:195
287
285:1:202
288
286:1:203
289
287:1:210
290
288:1:215
291
289:1:222
292
290:1:223
293
291:1:222
294
292:1:223
295
293:1:230
296
294:0:3997
297
295:1:11
298
296:0:3997
299
297:2:3824
300
298:2:3832
301
299:2:3836
302
300:2:3837
303
301:2:3841
304
302:2:3849
305
303:2:3850
306
304:2:3854
307
305:2:3858
308
306:2:3859
309
307:2:3854
310
308:2:3858
311
309:2:3859
312
310:2:3863
313
311:2:3870
314
312:2:3877
315
313:2:3878
316
314:2:3885
317
315:2:3890
318
316:2:3897
319
317:2:3898
320
318:2:3897
321
319:2:3898
322
320:2:3905
323
321:2:3909
324
322:0:3997
325
323:2:3525
326
324:2:3535
327
325:0:3997
328
326:2:2771
329
327:0:3997
330
328:2:3526
331
329:2:3527
332
330:0:3997
333
331:2:2771
334
332:0:3997
335
333:2:3531
336
334:0:3997
337
335:2:3539
338
336:0:3997
339
337:2:2764
340
338:0:3997
341
339:2:2766
342
340:0:3997
343
341:2:2767
344
342:0:3997
345
343:2:2768
346
344:0:3997
347
345:2:2769
348
346:0:3997
349
347:2:2770
350
348:0:3997
351
349:2:2771
352
350:0:3997
353
351:2:2772
354
352:2:2773
355
353:2:2777
356
354:2:2778
357
355:2:2786
358
356:2:2787
359
357:2:2791
360
358:2:2792
361
359:2:2800
362
360:2:2805
363
361:2:2809
364
362:2:2810
365
363:2:2818
366
364:2:2819
367
365:2:2820
368
366:2:2818
369
367:2:2819
370
368:2:2823
371
369:2:2824
372
370:2:2832
373
371:2:2837
374
372:2:2844
375
373:2:2845
376
374:2:2852
377
375:2:2857
378
376:2:2864
379
377:2:2865
380
378:2:2864
381
379:2:2865
382
380:2:2872
383
381:2:2882
384
382:0:3997
385
383:2:2771
386
384:0:3997
387
385:2:2886
388
386:2:2890
389
387:2:2891
390
388:2:2895
391
389:2:2899
392
390:2:2900
393
391:2:2904
394
392:2:2912
395
393:2:2913
396
394:2:2917
397
395:2:2918
398
396:2:2917
399
397:2:2921
400
398:2:2922
401
399:2:2926
402
400:0:3997
403
401:2:2771
404
402:0:3997
405
403:2:2934
406
404:2:2935
407
405:2:2936
408
406:0:3997
409
407:2:2771
410
408:0:3997
411
409:2:2941
412
410:0:3997
413
411:1:241
414
412:1:242
415
413:1:246
416
414:1:247
417
415:1:255
418
416:1:256
419
417:1:260
420
418:1:261
421
419:1:269
422
420:1:274
423
421:1:278
424
422:1:279
425
423:1:287
426
424:1:288
427
425:1:292
428
426:1:293
429
427:1:287
430
428:1:288
431
429:1:292
432
430:1:293
433
431:1:301
434
432:1:306
435
433:1:313
436
434:1:314
437
435:1:321
438
436:1:326
439
437:1:333
440
438:1:334
441
439:1:333
442
440:1:334
443
441:1:341
444
442:1:350
445
443:0:3997
446
444:1:11
447
445:0:3997
448
446:1:468
449
447:1:472
450
448:1:473
451
449:1:477
452
450:1:478
453
451:1:486
454
452:1:494
455
453:1:495
456
454:1:499
457
455:1:503
458
456:1:504
459
457:1:499
460
458:1:503
461
459:1:504
462
460:1:508
463
461:1:515
464
462:1:522
465
463:1:523
466
464:1:530
467
465:1:535
468
466:1:542
469
467:1:543
470
468:1:542
471
469:1:543
472
470:1:550
473
471:0:3997
474
472:1:11
475
473:0:3997
476
474:1:560
477
475:1:561
478
476:1:565
479
477:1:566
480
478:1:574
481
479:1:575
482
480:1:579
483
481:1:580
484
482:1:588
485
483:1:593
486
484:1:597
487
485:1:598
488
486:1:606
489
487:1:607
490
488:1:611
491
489:1:612
492
490:1:606
493
491:1:607
494
492:1:611
495
493:1:612
496
494:1:620
497
495:1:625
498
496:1:632
499
497:1:633
500
498:1:640
501
499:1:645
502
500:1:652
503
501:1:653
504
502:1:652
505
503:1:653
506
504:1:660
507
505:0:3997
508
506:1:11
509
507:0:3997
510
508:1:671
511
509:1:674
512
510:1:675
513
511:0:3997
514
512:1:11
515
513:0:3997
516
514:1:678
517
515:1:679
518
516:1:683
519
517:1:684
520
518:1:692
521
519:1:693
522
520:1:697
523
521:1:698
524
522:1:706
525
523:1:711
526
524:1:715
527
525:1:716
528
526:1:724
529
527:1:725
530
528:1:729
531
529:1:730
532
530:1:724
533
531:1:725
534
532:1:729
535
533:1:730
536
534:1:738
537
535:1:743
538
536:1:750
539
537:1:751
540
538:1:758
541
539:1:763
542
540:1:770
543
541:1:771
544
542:1:770
545
543:1:771
546
544:1:778
547
545:0:3997
548
546:1:11
549
547:0:3997
550
548:1:902
551
549:1:903
552
550:1:907
553
551:1:908
554
552:1:916
555
553:1:917
556
554:1:921
557
555:1:922
558
556:1:930
559
557:1:935
560
558:1:939
561
559:1:940
562
560:1:948
563
561:1:949
564
562:1:953
565
563:1:954
566
564:1:948
567
565:1:949
568
566:1:953
569
567:1:954
570
568:1:962
571
569:1:967
572
570:1:974
573
571:1:975
574
572:1:982
575
573:1:987
576
574:1:994
577
575:1:995
578
576:1:994
579
577:1:995
580
578:1:1002
581
579:1:1011
582
580:1:1015
583
581:0:3997
584
582:1:11
585
583:0:3997
586
584:1:1016
587
585:1:1017
588
586:1:1021
589
587:1:1022
590
588:1:1030
591
589:1:1031
592
590:1:1032
593
591:1:1044
594
592:1:1049
595
593:1:1053
596
594:1:1054
597
595:1:1062
598
596:1:1063
599
597:1:1067
600
598:1:1068
601
599:1:1062
602
600:1:1063
603
601:1:1067
604
602:1:1068
605
603:1:1076
606
604:1:1081
607
605:1:1088
608
606:1:1089
609
607:1:1096
610
608:1:1101
611
609:1:1108
612
610:1:1109
613
611:1:1108
614
612:1:1109
615
613:1:1116
616
614:0:3997
617
615:1:11
618
616:0:3997
619
617:2:3554
620
618:2:3555
621
619:2:3559
622
620:2:3563
623
621:2:3564
624
622:2:3568
625
623:2:3573
626
624:2:3581
627
625:2:3585
628
626:2:3586
629
627:2:3581
630
628:2:3585
631
629:2:3586
632
630:2:3590
633
631:2:3597
634
632:2:3604
635
633:2:3605
636
634:2:3612
637
635:2:3617
638
636:2:3624
639
637:2:3625
640
638:2:3624
641
639:2:3625
642
640:2:3632
643
641:2:3636
644
642:0:3997
645
643:2:2943
646
644:2:3535
647
645:0:3997
648
646:2:2771
649
647:0:3997
650
648:2:2944
651
649:0:3997
652
650:2:2771
653
651:0:3997
654
652:2:2947
655
653:2:2948
656
654:2:2952
657
655:2:2953
658
656:2:2961
659
657:2:2962
660
658:2:2966
661
659:2:2967
662
660:2:2975
663
661:2:2980
664
662:2:2984
665
663:2:2985
666
664:2:2993
667
665:2:2994
668
666:2:2998
669
667:2:2999
670
668:2:2993
671
669:2:2994
672
670:2:2998
673
671:2:2999
674
672:2:3007
675
673:2:3012
676
674:2:3019
677
675:2:3020
678
676:2:3027
679
677:2:3032
680
678:2:3039
681
679:2:3040
682
680:2:3039
683
681:2:3040
684
682:2:3047
685
683:2:3056
686
684:0:3997
687
685:2:2771
688
686:0:3997
689
687:2:3060
690
688:2:3061
691
689:2:3062
692
690:2:3074
693
691:2:3075
694
692:2:3079
695
693:2:3080
696
694:2:3088
697
695:2:3093
698
696:2:3097
699
697:2:3098
700
698:2:3106
701
699:2:3107
702
700:2:3111
703
701:2:3112
704
702:2:3106
705
703:2:3107
706
704:2:3111
707
705:2:3112
708
706:2:3120
709
707:2:3125
710
708:2:3132
711
709:2:3133
712
710:2:3140
713
711:2:3145
714
712:2:3152
715
713:2:3153
716
714:2:3152
717
715:2:3153
718
716:2:3160
719
717:2:3172
720
718:2:3173
721
719:0:3997
722
720:2:2771
723
721:0:3997
724
722:2:3523
725
723:0:3997
726
724:2:3827
727
725:2:3828
728
726:2:3832
729
727:2:3836
730
728:2:3837
731
729:2:3841
732
730:2:3849
733
731:2:3850
734
732:2:3854
735
733:2:3858
736
734:2:3859
737
735:2:3854
738
736:2:3858
739
737:2:3859
740
738:2:3863
741
739:2:3870
742
740:2:3877
743
741:2:3878
744
742:2:3885
745
743:2:3890
746
744:2:3897
747
745:2:3898
748
746:2:3897
749
747:2:3898
750
748:2:3905
751
749:2:3909
752
750:0:3997
753
751:2:3525
754
752:2:3535
755
753:0:3997
756
754:2:2771
757
755:0:3997
758
756:2:3526
759
757:2:3527
760
758:0:3997
761
759:2:2771
762
760:0:3997
763
761:2:3531
764
762:0:3997
765
763:2:3539
766
764:0:3997
767
765:2:2764
768
766:0:3997
769
767:2:2766
770
768:0:3997
771
769:2:2767
772
770:0:3997
773
771:2:2768
774
772:0:3997
775
773:2:2769
776
774:0:3997
777
775:2:2770
778
776:0:3997
779
777:2:2771
780
778:0:3997
781
779:2:2772
782
780:2:2773
783
781:2:2777
784
782:2:2778
785
783:2:2786
786
784:2:2787
787
785:2:2791
788
786:2:2792
789
787:2:2800
790
788:2:2805
791
789:2:2809
792
790:2:2810
793
791:2:2818
794
792:2:2819
795
793:2:2823
796
794:2:2824
797
795:2:2818
798
796:2:2819
799
797:2:2820
800
798:2:2832
801
799:2:2837
802
800:2:2844
803
801:2:2845
804
802:2:2852
805
803:2:2857
806
804:2:2864
807
805:2:2865
808
806:2:2864
809
807:2:2865
810
808:2:2872
811
809:2:2882
812
810:0:3997
813
811:2:2771
814
812:0:3997
815
813:1:1127
816
814:0:3997
817
815:1:2663
818
816:1:2670
819
817:1:2671
820
818:1:2678
821
819:1:2683
822
820:1:2690
823
821:1:2691
824
822:1:2690
825
823:1:2691
826
824:1:2698
827
825:1:2702
828
826:0:3997
829
827:2:2886
830
828:2:2890
831
829:2:2891
832
830:2:2895
833
831:2:2899
834
832:2:2900
835
833:2:2904
836
834:2:2912
837
835:2:2913
838
836:2:2917
839
837:2:2921
840
838:2:2922
841
839:2:2917
842
840:2:2918
843
841:2:2926
844
842:0:3997
845
843:2:2771
846
844:0:3997
847
845:2:2934
848
846:2:2935
849
847:2:2936
850
848:0:3997
851
849:2:2771
852
850:0:3997
853
851:2:2941
854
852:0:3997
855
853:2:3554
856
854:2:3555
857
855:2:3559
858
856:2:3563
859
857:2:3564
860
858:2:3568
861
859:2:3573
862
860:2:3581
863
861:2:3585
864
862:2:3586
865
863:2:3581
866
864:2:3585
867
865:2:3586
868
866:2:3590
869
867:2:3597
870
868:2:3604
871
869:2:3605
872
870:2:3612
873
871:2:3617
874
872:2:3624
875
873:2:3625
876
874:2:3624
877
875:2:3625
878
876:2:3632
879
877:2:3636
880
878:0:3997
881
879:2:2943
882
880:2:3535
883
881:0:3997
884
882:2:2771
885
883:0:3997
886
884:2:2944
887
885:0:3997
888
886:2:2771
889
887:0:3997
890
888:2:2947
891
889:2:2948
892
890:2:2952
893
891:2:2953
894
892:2:2961
895
893:2:2962
896
894:2:2966
897
895:2:2967
898
896:2:2975
899
897:2:2980
900
898:2:2984
901
899:2:2985
902
900:2:2993
903
901:2:2994
904
902:2:2998
905
903:2:2999
906
904:2:2993
907
905:2:2994
908
906:2:2998
909
907:2:2999
910
908:2:3007
911
909:2:3012
912
910:2:3019
913
911:2:3020
914
912:2:3027
915
913:2:3032
916
914:2:3039
917
915:2:3040
918
916:2:3039
919
917:2:3040
920
918:2:3047
921
919:2:3056
922
920:0:3997
923
921:2:2771
924
922:0:3997
925
923:2:3060
926
924:2:3061
927
925:2:3062
928
926:2:3074
929
927:2:3075
930
928:2:3079
931
929:2:3080
932
930:2:3088
933
931:2:3093
934
932:2:3097
935
933:2:3098
936
934:2:3106
937
935:2:3107
938
936:2:3111
939
937:2:3112
940
938:2:3106
941
939:2:3107
942
940:2:3111
943
941:2:3112
944
942:2:3120
945
943:2:3125
946
944:2:3132
947
945:2:3133
948
946:2:3140
949
947:2:3145
950
948:2:3152
951
949:2:3153
952
950:2:3152
953
951:2:3153
954
952:2:3160
955
953:2:3170
956
954:0:3997
957
955:2:2771
958
956:0:3997
959
957:2:3176
960
958:0:3997
961
959:2:3645
962
960:2:3646
963
961:2:3650
964
962:2:3654
965
963:2:3655
966
964:2:3659
967
965:2:3667
968
966:2:3668
969
967:2:3672
970
968:2:3676
971
969:2:3677
972
970:2:3672
973
971:2:3676
974
972:2:3677
975
973:2:3681
976
974:2:3688
977
975:2:3695
978
976:2:3696
979
977:2:3703
980
978:2:3708
981
979:2:3715
982
980:2:3716
983
981:2:3715
984
982:2:3716
985
983:2:3723
986
984:2:3727
987
985:0:3997
988
986:2:3178
989
987:2:3179
990
988:0:3997
991
989:2:2771
992
990:0:3997
993
991:2:3060
994
992:2:3061
995
993:2:3065
996
994:2:3066
997
995:2:3074
998
996:2:3075
999
997:2:3079
1000
998:2:3080
1001
999:2:3088
1002
1000:2:3093
1003
1001:2:3097
1004
1002:2:3098
1005
1003:2:3106
1006
1004:2:3107
1007
1005:2:3111
1008
1006:2:3112
1009
1007:2:3106
1010
1008:2:3107
1011
1009:2:3111
1012
1010:2:3112
1013
1011:2:3120
1014
1012:2:3125
1015
1013:2:3132
1016
1014:2:3133
1017
1015:2:3140
1018
1016:2:3145
1019
1017:2:3152
1020
1018:2:3153
1021
1019:2:3152
1022
1020:2:3153
1023
1021:2:3160
1024
1022:2:3170
1025
1023:0:3997
1026
1024:2:2771
1027
1025:0:3997
1028
1026:2:3176
1029
1027:0:3997
1030
1028:2:3645
1031
1029:2:3646
1032
1030:2:3650
1033
1031:2:3654
1034
1032:2:3655
1035
1033:2:3659
1036
1034:2:3667
1037
1035:2:3668
1038
1036:2:3672
1039
1037:2:3676
1040
1038:2:3677
1041
1039:2:3672
1042
1040:2:3676
1043
1041:2:3677
1044
1042:2:3681
1045
1043:2:3688
1046
1044:2:3695
1047
1045:2:3696
1048
1046:2:3703
1049
1047:2:3708
1050
1048:2:3715
1051
1049:2:3716
1052
1050:2:3715
1053
1051:2:3716
1054
1052:2:3723
1055
1053:2:3727
1056
1054:0:3997
1057
1055:1:1129
1058
1056:1:1130
1059
1057:0:3995
1060
1058:1:11
1061
1059:0:4001
1062
1060:1:1715
This page took
0.104667 seconds
and
4
git commands to generate.