Commit e026aaa0 authored by Benoit Barbot's avatar Benoit Barbot

fix ci

parent 05444b71
Pipeline #1047 canceled with stages
in 15 minutes and 59 seconds
......@@ -2,7 +2,7 @@ image: registry.git.lacl.fr/barbot/cosmos:latest
before_script:
- eval `opam config env`
- export PATH=/usr/local/Cellar/flex/2.5.39/bin:/usr/local/Cellar/bison/3.0.4/bin:$PATH
- export PATH=/usr/local/Cellar/flex/2.5.39/bin:/usr/local/Cellar/bison/3.2.2/bin:$PATH
stages:
- build
......
[291](4.22340643909647e-31,1.918704119852e-30,8.98155726885258e-32,4.93985941318035e-31,0,2.10266697089775e-30,2.08146727232476e-31,7.4063733177705e-31,3.01631509033433e-30,4.81582760428396e-31,1.71204556013982e-30,7.16044954406672e-30,1.47269766303595e-30,5.93271590440336e-30,2.58565537702162e-29,5.72586729954311e-30,2.486513309135e-29,1.10061015854756e-28,4.88981107411123e-28,2.1743692205068e-27,1.1445042166457e-28,5.08227292245054e-28,3.13338591435296e-29,1.3849784685953e-28,1.29969466178647e-29,5.69790911000429e-29,9.05963486527165e-30,3.95382159374239e-29,8.32993747940598e-30,3.63526583371691e-29,1.59171272053147e-28,6.97520042777454e-28,3.05647001984225e-27,1.73308945787581e-28,7.60412843273374e-28,3.33638865640378e-27,2.50866583893552e-28,1.10553529617651e-27,4.87253967300888e-27,6.13545677293364e-28,2.7195343663988e-27,1.20566554523219e-26,2.25861765752866e-27,1.00405596002224e-26,4.4643655684802e-26,9.67200795814586e-27,4.30322644439046e-26,1.91494936530061e-25,8.52325700957906e-25,3.79437747728112e-24,1.98536417626412e-25,8.83077726687885e-25,5.34576079693419e-26,2.37047784885805e-25,2.14737432461749e-26,9.46256008622901e-26,1.46348627385138e-26,6.4172925749148e-26,1.338872740417e-26,5.86242519656014e-26,2.56576503913194e-25,1.12239260656423e-24,4.90736208030745e-24,2.81288279496224e-25,1.23247332445385e-24,5.39783278355487e-24,4.16918607450348e-25,1.83667378598401e-24,8.08998845317784e-24,1.05124876648007e-24,4.66250416292667e-24,2.0681324976961e-23,3.92859658201334e-24,1.74806477262288e-23,7.77966899255003e-23,1.68952263577618e-23,7.52450603545041e-23,3.35184917193893e-22,1.49343193992654e-21,6.65553392590234e-21,3.46298165276459e-22,1.54179528405397e-21,9.17453869699575e-23,4.07041107799959e-22,3.56283682779355e-23,1.56881971406835e-22,2.36301664416088e-23,1.03397089700145e-22,2.14443614857175e-23,9.36537406539084e-23,4.08759824626665e-22,1.78289213183147e-21,7.7710003944238e-21,4.5220140682685e-22,1.97662598615582e-21,8.63519170755338e-21,6.9067856907556e-22,3.04019437498105e-21,1.33796747288949e-20,1.80610046295714e-21,8.01487229055399e-21,3.55716396520455e-20,6.86582412582462e-21,3.05808865084871e-20,1.36238829613148e-19,2.96673578143212e-20,1.32274259412757e-19,5.89894437482368e-19,2.63134467289463e-18,1.17405278243906e-17,6.07081750340296e-19,2.7057701154469e-18,1.57893870952496e-19,7.00942409426878e-19,5.88714592976507e-20,2.58985281782523e-19,3.77015406133653e-20,1.64501286310952e-19,3.38456852317726e-20,1.47292906091042e-19,6.40454050741139e-19,2.78224149067805e-18,1.20745987138569e-17,7.17273218860998e-19,3.12525519225465e-18,1.36066294688655e-17,1.13907461014043e-18,5.00877577411021e-18,2.20195583522319e-17,3.11212244971708e-18,1.38194232320298e-17,6.13738995586989e-17,1.20624092840238e-17,5.3787166606756e-17,2.39898042707551e-16,5.23969375146402e-17,2.3390231455242e-16,1.04442048030792e-15,4.66477144950958e-15,2.0840174386213e-14,1.07023746357548e-15,4.77574317464726e-15,2.7260873327155e-16,1.21104358187421e-15,9.67783463682949e-17,4.25240922951179e-16,5.91911094928077e-17,2.57263181818223e-16,5.23466445610708e-17,2.26676712476002e-16,9.80361925900389e-16,4.23430627427016e-15,1.82618062682628e-14,1.11708405338291e-15,4.84562771399705e-15,2.09959636535196e-14,1.86798561160783e-15,8.20328175742128e-15,3.60139690040515e-14,5.38078307937214e-15,2.39110512555736e-14,1.06272556173735e-13,2.13162641052455e-14,9.51683324573221e-14,4.24998077150974e-13,9.31301148382592e-14,4.1629244313682e-13,1.86135094119456e-12,8.32493882939071e-12,3.72441913258938e-11,1.89843827461224e-12,8.48248008752164e-12,4.72405205161168e-13,2.10029915115911e-12,1.58058122949596e-13,6.93454394825871e-13,9.0866740419618e-14,3.92748799746883e-13,7.86346097624589e-14,3.38008517252686e-13,1.45014651300149e-12,6.20843622264723e-12,2.65180527000463e-11,1.69518811655856e-12,7.30567708036246e-12,3.14327286339359e-11,3.04135092617249e-12,1.33338165569954e-11,5.84349834622842e-11,9.3394744991196e-12,4.15375054295724e-11,1.84772344956905e-10,3.79112299627422e-11,1.69485803414862e-10,7.57915746171985e-10,1.66671891898569e-10,7.46094870609787e-10,3.34083567298695e-09,1.49639753436543e-08,6.70457169275848e-08,3.39025499166974e-09,1.51694297994576e-08,8.22079908621888e-10,3.6582512124282e-09,2.55983781337055e-10,1.12088982499246e-09,1.34993874682672e-10,5.78599477797635e-10,1.12973742988623e-10,4.79908307584716e-10,2.03202325564392e-09,8.57243025595218e-09,3.60132047075093e-08,2.47448037782838e-09,1.05566949154201e-08,4.49147284527515e-08,4.9058410110367e-09,2.14611179542123e-08,9.38354304008733e-08,1.62823604493021e-08,7.24848858457967e-08,3.22749574449091e-07,6.78942784922047e-08,3.03966436726056e-07,1.36128184043576e-06,3.00489009004158e-07,1.34716529630795e-06,6.04156016442645e-06,2.71028126223845e-05,0.000121623562736336,6.09820148595096e-06,2.73267510787018e-05,1.43738734241973e-06,6.40285296374265e-06,4.10056039665266e-07,1.79087956515779e-06,1.90512832549768e-07,8.0531514422015e-07,1.5056749877191e-07,6.26004965208126e-07,2.58571956217074e-06,1.05975394429484e-05,4.30275207949956e-05,3.39087692027123e-06,1.42140731297339e-05,5.92769487264283e-05,7.8166344616985e-06,3.40945601389225e-05,0.000148607780221956,2.85276649074371e-05,0.000127131414142569,0.000566674550378033,0.000122492015649446,0.000549239632097481,0.00246348848895265,0.000545959215195688,0.00245156161315378,0.0110120105279071,0.0494803597032022,0.222404278676262,0.0110528221536334,0.0496052294932088,0.00252643214834287,0.0112660425212509,0.000647240169309072,0.00281662566261214,0.000245720123061651,0.00101137006081868,0.000172688035288673,0.000683037924818774,0.00265096803272583,0.010029158906308,0.0365868526539422,0.0041274491846115,0.0166703202170941,0.0664643270105298,0.0122461466848945,0.053190754172564,0.230775505571398,0.0502479100394041,0.224147907592576,1,0.22269348492205,1,1,0.26064403938602,1,0.126211248619759,0.395072395861289,1,1)
(50,0)=289
(49,0)=288
(48,0)=287
(49,1)=286
(48,1)=285
(48,2)=284
(46,3)=280
(45,3)=279
(47,2)=278
(46,2)=277
(45,2)=276
(47,1)=275
(46,1)=274
(45,1)=273
(47,0)=272
(46,0)=271
(45,0)=270
(44,0)=269
(43,0)=268
(44,1)=267
(43,1)=266
(44,2)=265
(43,2)=264
(44,3)=263
(43,3)=262
(43,4)=260
(44,5)=259
(43,5)=258
(42,5)=257
(41,5)=256
(42,4)=254
(41,4)=253
(40,5)=255
(40,4)=252
(42,3)=251
(41,3)=250
(40,3)=249
(42,2)=248
(41,2)=247
(40,2)=246
(42,1)=245
(41,1)=244
(40,1)=243
(42,0)=242
(41,0)=241
(40,0)=240
(39,0)=239
(38,0)=238
(39,1)=237
(38,1)=236
(39,2)=235
(38,2)=234
(39,3)=233
(38,3)=232
(39,4)=231
(38,4)=230
(39,5)=229
(38,5)=228
(37,5)=227
(36,5)=226
(35,5)=225
......@@ -80,213 +47,246 @@
(34,5)=199
(33,5)=198
(32,5)=197
(32,1)=185
(31,1)=184
(30,1)=183
(32,0)=182
(31,0)=181
(30,0)=180
(29,0)=179
(28,0)=178
(29,1)=177
(28,1)=176
(27,1)=155
(26,1)=154
(25,1)=153
(27,0)=152
(26,0)=151
(25,0)=150
(24,0)=149
(23,0)=148
(24,1)=147
(23,1)=146
(22,1)=125
(31,5)=196
(30,5)=195
(32,4)=194
(2,5)=17
(31,4)=193
(1,5)=16
(30,4)=192
(32,3)=191
(31,3)=190
(1,4)=13
(30,3)=189
(32,2)=188
(31,2)=187
(1,3)=10
(30,2)=186
(0,3)=9
(29,2)=175
(28,2)=174
(0,4)=12
(29,3)=173
(28,3)=172
(0,5)=15
(29,4)=171
(28,4)=170
(29,5)=169
(28,5)=168
(27,5)=167
(26,5)=166
(25,5)=165
(27,4)=164
(26,4)=163
(25,4)=162
(27,3)=161
(26,3)=160
(25,3)=159
(27,2)=158
(26,2)=157
(25,2)=156
(24,2)=145
(24,3)=143
(23,3)=142
(24,4)=141
(23,4)=140
(24,5)=139
(23,5)=138
(22,5)=137
(21,5)=136
(20,5)=135
(22,4)=134
(21,4)=133
(20,4)=132
(22,3)=131
(21,3)=130
(20,3)=129
(22,2)=128
(21,2)=127
(20,2)=126
(21,1)=124
(20,1)=123
(22,0)=122
(21,0)=121
(20,0)=120
(19,0)=119
(18,0)=118
(19,1)=117
(18,1)=116
(19,2)=115
(17,5)=107
(16,5)=106
(15,5)=105
(17,4)=104
(16,4)=103
(15,4)=102
(32,2)=188
(17,3)=101
(16,3)=100
(15,3)=99
(17,2)=98
(16,2)=97
(15,2)=96
(17,0)=92
(31,2)=187
(16,0)=91
(30,2)=186
(15,0)=90
(29,2)=175
(50,0)=289
(14,0)=89
(28,2)=174
(13,0)=88
(28,3)=172
(14,1)=87
(49,1)=286
(13,1)=86
(28,5)=168
(14,2)=85
(13,2)=84
(14,3)=83
(13,3)=82
(14,4)=81
(32,0)=182
(13,4)=80
(13,0)=88
(14,5)=79
(13,5)=78
(12,5)=77
(11,5)=76
(10,5)=75
(31,0)=181
(12,4)=74
(30,0)=180
(11,4)=73
(0,1)=2
(29,0)=179
(46,4)=283
(10,4)=72
(27,5)=167
(12,3)=71
(26,5)=166
(47,3)=281
(11,3)=70
(25,5)=165
(10,3)=69
(27,4)=164
(48,2)=284
(12,2)=68
(26,4)=163
(11,2)=67
(25,4)=162
(48,1)=285
(10,2)=66
(27,3)=161
(12,1)=65
(26,3)=160
(49,0)=288
(11,1)=64
(25,3)=159
(48,0)=287
(10,1)=63
(27,2)=158
(32,1)=185
(13,5)=78
(12,0)=62
(26,2)=157
(31,1)=184
(12,5)=77
(11,0)=61
(25,2)=156
(1,2)=7
(30,1)=183
(11,5)=76
(10,0)=60
(24,2)=145
(0,2)=6
(29,1)=177
(10,5)=75
(9,0)=59
(23,2)=144
(8,0)=58
(24,3)=143
(47,0)=272
(9,1)=57
(23,3)=142
(46,0)=271
(8,1)=56
(24,4)=141
(47,1)=275
(9,2)=55
(24,5)=139
(46,1)=274
(8,2)=54
(47,2)=278
(9,3)=53
(23,5)=138
(46,2)=277
(8,3)=52
(28,0)=178
(9,4)=51
(27,0)=152
(46,3)=280
(8,4)=50
(8,0)=58
(28,1)=176
(45,5)=290
(9,5)=49
(8,5)=48
(40,5)=255
(2,4)=14
(7,5)=47
(7,4)=44
(39,4)=231
(1,3)=10
(25,0)=150
(44,3)=263
(6,4)=43
(22,5)=137
(7,3)=41
(21,5)=136
(24,0)=149
(43,3)=262
(5,4)=42
(44,2)=265
(6,3)=40
(20,5)=135
(38,3)=232
(0,2)=6
(43,2)=264
(5,3)=39
(1,5)=16
(21,4)=133
(44,1)=267
(6,2)=37
(0,5)=15
(20,4)=132
(43,1)=266
(5,2)=36
(5,5)=45
(38,5)=228
(0,4)=12
(20,3)=129
(44,0)=269
(6,1)=34
(43,0)=268
(5,1)=33
(32,3)=191
(17,1)=95
(19,2)=115
(26,1)=154
(45,4)=282
(7,5)=47
(6,0)=31
(25,1)=153
(44,4)=261
(6,5)=46
(5,0)=30
(24,1)=147
(43,4)=260
(5,5)=45
(4,0)=29
(31,3)=190
(16,1)=94
(18,2)=114
(3,0)=28
(19,3)=113
(46,4)=283
(42,0)=242
(4,1)=27
(18,3)=112
(41,0)=241
(3,1)=26
(19,4)=111
(42,1)=245
(4,2)=25
(18,4)=110
(45,5)=290
(41,1)=244
(3,2)=24
(18,5)=108
(42,2)=248
(4,3)=23
(41,2)=247
(3,3)=22
(20,2)=126
(47,3)=281
(5,0)=30
(5,4)=42
(38,4)=230
(0,3)=9
(23,0)=148
(42,3)=251
(4,4)=21
(22,0)=122
(41,3)=250
(3,4)=20
(3,0)=28
(23,1)=146
(42,4)=254
(4,5)=19
(22,4)=134
(7,2)=38
(2,5)=17
(23,4)=140
(8,2)=54
(3,5)=18
(17,5)=107
(2,3)=11
(28,4)=170
(13,2)=84
(30,5)=195
(15,3)=99
(43,5)=258
(0,1)=2
(30,3)=189
(16,1)=94
(26,0)=151
(45,3)=279
(7,4)=44
(15,1)=93
(32,4)=194
(17,2)=98
(45,4)=282
(2,0)=1
(21,2)=127
(6,0)=31
(39,5)=229
(1,4)=13
(6,5)=46
(22,3)=131
(45,2)=276
(7,3)=41
(15,0)=90
(18,5)=108
(40,2)=246
(2,3)=11
(17,1)=95
(40,1)=243
(2,2)=8
(21,0)=121
(40,3)=249
(2,4)=14
(19,3)=113
(45,0)=270
(7,1)=35
(21,3)=130
(6,1)=34
(29,5)=169
(14,3)=83
(16,4)=103
(1,2)=7
(22,2)=128
(7,0)=32
(30,4)=192
(15,2)=96
(17,3)=101
(18,3)=112
(40,0)=240
(2,1)=5
(17,4)=104
(2,2)=8
(16,0)=91
(19,5)=109
(39,0)=239
(1,1)=3
(27,1)=155
(8,5)=48
(7,0)=32
(23,2)=144
(0,0)=4
(29,3)=173
(14,1)=87
(31,4)=193
(16,2)=97
(44,4)=261
(18,2)=114
(1,0)=0
(29,4)=171
(14,2)=85
(31,5)=196
(16,3)=100
(44,5)=259
(1,1)=3
(19,5)=109
(4,3)=23
(19,4)=111
(45,1)=273
(7,2)=38
(18,4)=110
(22,1)=125
(41,4)=253
(3,5)=18
(2,0)=1
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment