Services » Browse Packages » dev-lang » dafny »

Diff dafny-4.2.0 with a 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

  		
  















        
				

    





	












About Project
History
Screenshots
Logos and themes
Video
Reviews
Introduction
Contact Us
Donations



	
Development
News
Calculate Linux



Products
Calculate Directory Server
Calculate Linux Desktop
Calculate Linux Scratch
Support
Downloads
License



Documentation
Installing Calculate
Working with Calculate
Working with Portage
Calculate Utilities
Server Configuration
Workstation Setup
Calculate Network Configuration
Hardware Setup
Manuals
Guides



Services
Newest Packages
GLSA
Browse Packages
USE Flags
All Licenses



	
OpenID Server
Pastebin



Community
Blogs
Forums
Wiki
BugTracker



	
Calculate User Map
LinuxQuestions
Facebook
Google+
Telegram
Twitter








If you find a mistake, please highlight it and press Ctrl+Enter.





Thank you!