Сравнение dafny-4.2.0 с dafny-4.3.0

/usr/portage/dev-lang/dafny/dafny-4.3.0.ebuild 2023-10-09 14:52:29.452368349 +0300
19 19
boogie.provers.smtlib@2.16.8
20 20
boogie.vcexpr@2.16.8
21 21
boogie.vcgeneration@2.16.8
22
castle.core@4.4.0
22 23
commandlineparser@2.8.0
23 24
commandlineparser@2.9.1
24 25
coverlet.collector@3.2.0
25 26
diffplex@1.7.0
27
humanizer.core@2.2.0
26 28
jetbrains.annotations@2021.1.0
27 29
mediatr@8.1.0
28 30
microsoft.bcl.asyncinterfaces@1.1.1
31
microsoft.bcl.asyncinterfaces@5.0.0
29 32
microsoft.bcl.asyncinterfaces@6.0.0
33
microsoft.build.framework@17.0.0
34
microsoft.build.locator@1.4.1
35
microsoft.build.tasks.core@17.0.0
36
microsoft.build.utilities.core@17.0.0
37
microsoft.build@17.0.0
30 38
microsoft.codeanalysis.analyzers@3.0.0
39
microsoft.codeanalysis.analyzers@3.3.2
31 40
microsoft.codeanalysis.common@3.7.0
41
microsoft.codeanalysis.common@4.0.1
42
microsoft.codeanalysis.csharp.workspaces@4.0.1
32 43
microsoft.codeanalysis.csharp@3.7.0
44
microsoft.codeanalysis.csharp@4.0.1
45
microsoft.codeanalysis.visualbasic.workspaces@4.0.1
46
microsoft.codeanalysis.visualbasic@4.0.1
47
microsoft.codeanalysis.workspaces.common@4.0.1
48
microsoft.codeanalysis.workspaces.msbuild@4.0.1
49
microsoft.codeanalysis@4.0.1
50
microsoft.codecoverage@16.11.0
33 51
microsoft.codecoverage@16.9.4
52
microsoft.codecoverage@17.1.0
34 53
microsoft.csharp@4.0.1
35 54
microsoft.dotnet.platformabstractions@2.0.4
36 55
microsoft.extensions.configuration.abstractions@2.0.0
37 56
microsoft.extensions.configuration.abstractions@5.0.0
38 57
microsoft.extensions.configuration.binder@2.0.0
58
microsoft.extensions.configuration.binder@5.0.0
39 59
microsoft.extensions.configuration.commandline@5.0.0
40 60
microsoft.extensions.configuration.fileextensions@5.0.0
41 61
microsoft.extensions.configuration.json@5.0.0
......
49 69
microsoft.extensions.fileproviders.abstractions@5.0.0
50 70
microsoft.extensions.fileproviders.physical@5.0.0
51 71
microsoft.extensions.filesystemglobbing@5.0.0
72
microsoft.extensions.logging.abstractions@2.0.0
52 73
microsoft.extensions.logging.abstractions@5.0.0
74
microsoft.extensions.logging.configuration@5.0.0
75
microsoft.extensions.logging.console@5.0.0
76
microsoft.extensions.logging@2.0.0
53 77
microsoft.extensions.logging@5.0.0
54 78
microsoft.extensions.options.configurationextensions@2.0.0
79
microsoft.extensions.options.configurationextensions@5.0.0
55 80
microsoft.extensions.options@2.0.0
56 81
microsoft.extensions.options@5.0.0
57 82
microsoft.extensions.primitives@2.0.0
58 83
microsoft.extensions.primitives@5.0.0
84
microsoft.net.stringtools@1.0.0
85
microsoft.net.test.sdk@16.11.0
59 86
microsoft.net.test.sdk@16.9.4
87
microsoft.net.test.sdk@17.1.0
60 88
microsoft.netcore.platforms@1.0.1
61 89
microsoft.netcore.platforms@1.1.0
62 90
microsoft.netcore.platforms@2.1.2
63 91
microsoft.netcore.platforms@3.0.0
92
microsoft.netcore.platforms@3.1.0
64 93
microsoft.netcore.targets@1.0.1
65 94
microsoft.netcore.targets@1.1.0
66 95
microsoft.netframework.referenceassemblies.net452@1.0.2
......
69 98
microsoft.testplatform.objectmodel@16.11.0
70 99
microsoft.testplatform.objectmodel@16.9.4
71 100
microsoft.testplatform.objectmodel@17.0.0
101
microsoft.testplatform.objectmodel@17.1.0
72 102
microsoft.testplatform.testhost@16.11.0
73 103
microsoft.testplatform.testhost@16.9.4
104
microsoft.testplatform.testhost@17.1.0
74 105
microsoft.visualstudio.threading.analyzers@16.7.56
75 106
microsoft.visualstudio.threading@16.7.56
76 107
microsoft.visualstudio.validation@15.5.31
77 108
microsoft.win32.primitives@4.3.0
109
microsoft.win32.registry@4.3.0
78 110
microsoft.win32.registry@4.6.0
111
microsoft.win32.systemevents@4.7.0
79 112
microsoft.win32.systemevents@6.0.0
113
moq@4.16.1
80 114
nerdbank.streams@2.6.81
81 115
netstandard.library@1.6.1
82 116
netstandard.library@2.0.3
117
newtonsoft.json@11.0.2
83 118
newtonsoft.json@13.0.1
84 119
newtonsoft.json@9.0.1
85 120
nuget.frameworks@5.0.0
121
nuget.frameworks@5.11.0
86 122
omnisharp.extensions.jsonrpc.generators@0.19.5
123
omnisharp.extensions.jsonrpc.testing@0.19.5
87 124
omnisharp.extensions.jsonrpc@0.19.5
125
omnisharp.extensions.languageclient@0.19.5
126
omnisharp.extensions.languageprotocol.testing@0.19.5
88 127
omnisharp.extensions.languageprotocol@0.19.5
89 128
omnisharp.extensions.languageserver.shared@0.19.5
90 129
omnisharp.extensions.languageserver@0.19.5
......
135 174
serilog.settings.configuration@3.1.0
136 175
serilog.sinks.debug@2.0.0
137 176
serilog.sinks.file@5.0.0
177
serilog.sinks.inmemory@0.11.0
138 178
serilog@2.10.0
179
serilog@2.12.0
139 180
system.appcontext@4.1.0
140 181
system.appcontext@4.3.0
141 182
system.buffers@4.3.0
142 183
system.buffers@4.4.0
184
system.codedom@4.4.0
143 185
system.collections.concurrent@4.3.0
186
system.collections.immutable@1.5.0
144 187
system.collections.immutable@1.7.0
145 188
system.collections.immutable@1.7.1
189
system.collections.immutable@5.0.0
146 190
system.collections.nongeneric@4.0.1
191
system.collections.nongeneric@4.3.0
147 192
system.collections.specialized@4.0.1
193
system.collections.specialized@4.3.0
148 194
system.collections@4.0.11
149 195
system.collections@4.3.0
150 196
system.commandline@2.0.0-beta4.22272.1
197
system.componentmodel.primitives@4.3.0
198
system.componentmodel.typeconverter@4.3.0
199
system.componentmodel@4.3.0
200
system.composition.attributedmodel@1.0.31
201
system.composition.convention@1.0.31
202
system.composition.hosting@1.0.31
203
system.composition.runtime@1.0.31
204
system.composition.typedparts@1.0.31
205
system.composition@1.0.31
206
system.configuration.configurationmanager@4.7.0
151 207
system.configuration.configurationmanager@6.0.0
152 208
system.console@4.3.0
153 209
system.diagnostics.debug@4.0.11
......
155 211
system.diagnostics.diagnosticsource@4.3.0
156 212
system.diagnostics.tools@4.0.1
157 213
system.diagnostics.tools@4.3.0
214
system.diagnostics.tracesource@4.3.0
158 215
system.diagnostics.tracing@4.3.0
216
system.drawing.common@4.7.0
159 217
system.drawing.common@6.0.0
160 218
system.dynamic.runtime@4.0.11
219
system.dynamic.runtime@4.3.0
161 220
system.globalization.calendars@4.3.0
162 221
system.globalization.extensions@4.0.1
163 222
system.globalization.extensions@4.3.0
......
170 229
system.io.filesystem@4.0.1
171 230
system.io.filesystem@4.3.0
172 231
system.io.pipelines@4.7.3
232
system.io.pipelines@5.0.1
173 233
system.io@4.1.0
174 234
system.io@4.3.0
175 235
system.linq.async@6.0.1
......
198 258
system.reflection.extensions@4.0.1
199 259
system.reflection.extensions@4.3.0
200 260
system.reflection.metadata@1.6.0
261
system.reflection.metadata@5.0.0
201 262
system.reflection.primitives@4.0.1
202 263
system.reflection.primitives@4.3.0
203 264
system.reflection.typeextensions@4.1.0
204 265
system.reflection.typeextensions@4.3.0
205 266
system.reflection@4.1.0
206 267
system.reflection@4.3.0
268
system.resources.extensions@4.6.0
207 269
system.resources.resourcemanager@4.0.1
208 270
system.resources.resourcemanager@4.3.0
209 271
system.runtime.caching@6.0.0
......
211 273
system.runtime.compilerservices.unsafe@4.5.2
212 274
system.runtime.compilerservices.unsafe@4.7.0
213 275
system.runtime.compilerservices.unsafe@4.7.1
276
system.runtime.compilerservices.unsafe@5.0.0
214 277
system.runtime.extensions@4.1.0
215 278
system.runtime.extensions@4.3.0
216 279
system.runtime.handles@4.0.1
......
224 287
system.runtime@4.1.0
225 288
system.runtime@4.3.0
226 289
system.security.accesscontrol@4.6.0
290
system.security.accesscontrol@4.7.0
227 291
system.security.accesscontrol@6.0.0
228 292
system.security.claims@4.3.0
229 293
system.security.cryptography.algorithms@4.3.0
230 294
system.security.cryptography.cng@4.3.0
295
system.security.cryptography.cng@4.7.0
231 296
system.security.cryptography.csp@4.3.0
232 297
system.security.cryptography.encoding@4.3.0
233 298
system.security.cryptography.openssl@4.3.0
299
system.security.cryptography.pkcs@4.7.0
234 300
system.security.cryptography.primitives@4.3.0
301
system.security.cryptography.protecteddata@4.7.0
235 302
system.security.cryptography.protecteddata@6.0.0
236 303
system.security.cryptography.x509certificates@4.3.0
304
system.security.cryptography.xml@4.7.0
305
system.security.permissions@4.7.0
237 306
system.security.permissions@6.0.0
238 307
system.security.principal.windows@4.3.0
239 308
system.security.principal.windows@4.6.0
309
system.security.principal.windows@4.7.0
240 310
system.security.principal@4.3.0
311
system.text.encoding.codepages@4.0.1
241 312
system.text.encoding.codepages@4.5.1
242 313
system.text.encoding.extensions@4.0.11
243 314
system.text.encoding.extensions@4.3.0
244 315
system.text.encoding@4.0.11
245 316
system.text.encoding@4.3.0
317
system.text.json@4.7.0
318
system.text.json@5.0.2
246 319
system.text.regularexpressions@4.1.0
247 320
system.text.regularexpressions@4.3.0
248 321
system.threading.channels@4.7.1
322
system.threading.tasks.dataflow@4.9.0
249 323
system.threading.tasks.extensions@4.0.0
250 324
system.threading.tasks.extensions@4.3.0
251 325
system.threading.tasks.extensions@4.5.3
326
system.threading.tasks.extensions@4.5.4
252 327
system.threading.tasks@4.0.11
253 328
system.threading.tasks@4.3.0
254 329
system.threading.threadpool@4.3.0
255 330
system.threading.timer@4.3.0
256 331
system.threading@4.0.11
257 332
system.threading@4.3.0
333
system.windows.extensions@4.7.0
258 334
system.windows.extensions@6.0.0
259 335
system.xml.readerwriter@4.0.11
260 336
system.xml.readerwriter@4.3.0
261 337
system.xml.xdocument@4.0.11
262 338
system.xml.xdocument@4.3.0
339
system.xml.xmldocument@4.3.0
263 340
tomlyn@0.16.2
264 341
validation@2.4.18
265 342
xunit.abstractions@2.0.2
266 343
xunit.abstractions@2.0.3
344
xunit.analyzers@0.10.0
267 345
xunit.analyzers@1.0.0
346
xunit.assert@2.4.1
268 347
xunit.assert@2.4.2
348
xunit.assertmessages@2.4.0
349
xunit.core@2.4.1
269 350
xunit.core@2.4.2
270 351
xunit.extensibility.core@2.4.0
352
xunit.extensibility.core@2.4.1
271 353
xunit.extensibility.core@2.4.2
272 354
xunit.extensibility.execution@2.4.0
355
xunit.extensibility.execution@2.4.1
273 356
xunit.extensibility.execution@2.4.2
274 357
xunit.runner.visualstudio@2.4.3
358
xunit.runner.visualstudio@2.5.1
275 359
xunit.skippablefact@1.4.8
360
xunit@2.4.1
276 361
xunit@2.4.2
277 362
"
278 363

  
......
440 525
		-i "${lit_config}" || die "failed to update ${lit_config}"
441 526
	sed "/^dafnyExecutable/s|=.*|= '${dotnet_exec}/Dafny.dll '|" \
442 527
		-i "${lit_config}" || die "failed to update ${lit_config}"
443
	sed "/^testDafnyExecutable/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-compiler '|" \
528
	sed "/^testDafnyExecutableCompiler/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-compiler '|" \
529
		-i "${lit_config}" || die "failed to update ${lit_config}"
530
	sed "/^testDafnyExecutableResolver/s|=.*|= '${dotnet_exec}/TestDafny.dll for-each-resolver '|" \
444 531
		-i "${lit_config}" || die "failed to update ${lit_config}"
445 532
	sed "/^defaultServerExecutable/s|=.*|= '${dotnet_exec}/DafnyServer.dll'|" \
446 533
		-i "${lit_config}" || die "failed to update ${lit_config}"
......
452 539
}
453 540

  
454 541
src_compile () {
542
	# In 4.3.0 the DafnyRuntime JAR has mismatched version, by mistake?
543

  
455 544
	einfo "Building dependency-less DafnyRuntime JAR."
456 545
	local dafny_runtime_java="${S}/Source/DafnyRuntime/DafnyRuntimeJava/"
457 546
	mkdir -p "${dafny_runtime_java}/build/libs/" || die
458 547
	pushd "${dafny_runtime_java}/build" || die
459 548
	ejavac -d ./ "${dafny_runtime_java}/src/main/java/dafny"/*.java
460
	edo jar cvf "DafnyRuntime-${PV}.jar" dafny/*
461
	cp "DafnyRuntime-${PV}.jar" "${dafny_runtime_java}/build/libs/" || die
549
	edo jar cvf "DafnyRuntime-4.2.0.jar" dafny/*
550
	cp "DafnyRuntime-4.2.0.jar" "${dafny_runtime_java}/build/libs/" || die
462 551
	popd || die
463 552

  
464 553
	# Build main dotnet package.
......
472 561

  
473 562
	einfo "Installing bignumber.js package required for tests using NodeJS."
474 563
	local -a npm_opts
475
	local npm_opts=(
564
	npm_opts=(
476 565
		--audit false
477 566
		--color false
478 567
		--foreground-scripts
Спасибо!