This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ (cd ~/p/runtimelab/src/libraries/System.Net.Http/tests/FunctionalTests/ && dotnet build System.Net.Http.Functional.Tests.csproj /p:TestNativeAot=true /p:TargetArchitecture=wasm /p:TargetOS=wasi -c Release -f net9.0-wasi) && WASMTIME_BACKTRACE_DETAILS=1 wasmtime run -S http /home/dicej/p/runtimelab/artifacts/bin/System.Net.Http.Functional.Tests/Release/net9.0-wasi/publish/System.Net.Http.Functional.Tests.wasm | |
Determining projects to restore... | |
Restored /home/dicej/p/runtimelab/src/tools/illink/src/linker/ref/Mono.Linker.csproj (in 110 ms). | |
Restored /home/dicej/p/runtimelab/src/coreclr/tools/aot/ILCompiler.DependencyAnalysisFramework/ILCompiler.DependencyAnalysisFramework.csproj (in 114 ms). | |
Restored /home/dicej/p/runtimelab/src/libraries/System.DirectoryServices.Protocols/ref/System.DirectoryServices.Protocols.csproj (in 110 ms). | |
Restored /home/dicej/p/runtimelab/src/libraries/Common/tests/StreamConformanceTests/StreamConformanceTests.csproj (in 3 ms). | |
Restored /home/dicej/p/runtimelab/src/tool |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
$ WASMTIME_BACKTRACE_DETAILS=1 wasmtime run -S http /home/dicej/p/runtimelab/artifacts/bin/System.Net.Http.Functional.Tests/Release/net9.0-wasi/publish/System.Net.Http.Functional.Tests.wasm | |
Using threadless Xunit runner | |
Unhandled exception. System.IO.FileNotFoundException: Cannot load assembly 'System.Net.Http.Functional, Version=0.0.0.0'. No metadata found for this assembly. | |
Error: failed to run main module `/home/dicej/p/runtimelab/artifacts/bin/System.Net.Http.Functional.Tests/Release/net9.0-wasi/publish/System.Net.Http.Functional.Tests.wasm` | |
Caused by: | |
0: failed to invoke `run` function | |
1: error while executing at wasm backtrace: | |
0: 0x2389e53 - abort |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Determining projects to restore... | |
Tool 'coverlet.console' (version '6.0.0') was restored. Available commands: coverlet | |
Tool 'dotnet-reportgenerator-globaltool' (version '5.3.0') was restored. Available commands: reportgenerator | |
Tool 'microsoft.dotnet.xharness.cli' (version '9.0.0-prerelease.24266.1') was restored. Available commands: xharness | |
Tool 'microsoft.visualstudio.slngen.tool' (version '11.1.0') was restored. Available commands: slngen | |
Restore was successful. | |
Restored /home/dicej/.nuget/packages/microsoft.dotnet.arcade.sdk/9.0.0-beta.24266.1/tools/Tools.proj (in 99 ms). | |
Determining projects to restore... | |
Restored /home/dicej/p/runtimelab/src/native/managed/compile-native.proj (in 101 ms). |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Classes | |
* Keith Devlin - Introduction to Mathematical Thinking - https://www.coursera.org/learn/mathematical-thinking | |
* Michael Genesereth - Introduction to Logic - https://www.coursera.org/learn/logic-introduction | |
* Robert Harper - Homotopy Type Theory - http://www.cs.cmu.edu/~rwh/courses/hott/ | |
Books and Articles | |
* Benjamin C. Pierce - Types and Programming Languages - https://www.cis.upenn.edu/~bcpierce/tapl/ | |
* x775 - Introduction to Datalog - https://x775.net/2019/03/18/Introduction-to-Datalog.html | |
* Bartosz Milewski - Category Theory For Programmers - https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ | |
* Benjamin C. Pierce et al. - Software Foundations - https://softwarefoundations.cis.upenn.edu/ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
use futures::{ | |
future::{Future, IntoFuture}, | |
sync::oneshot, | |
}; | |
use std::{ | |
collections::VecDeque, | |
sync::{Arc, Mutex}, | |
}; | |
struct Inner<T> { |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/bin/sh | |
# remove all current rules | |
iptables -F | |
iptables -X | |
iptables -t nat -F | |
iptables -t nat -X | |
# drop all incoming traffic by default | |
iptables -P INPUT DROP |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
diff --git a/src/system/windows/signal.cpp b/src/system/windows/signal.cpp | |
index 23d57b9..0114474 100644 | |
--- a/src/system/windows/signal.cpp | |
+++ b/src/system/windows/signal.cpp | |
@@ -90,6 +90,24 @@ struct MINIDUMP_EXCEPTION_INFORMATION { | |
LPEXCEPTION_POINTERS exception; | |
BOOL exceptionInCurrentAddressSpace; | |
}; | |
+ | |
+struct SYMBOL_INFO { |
NewerOlder