I hereby claim:
- I am alexanderkyte on github.
- I am alexmkyte (https://keybase.io/alexmkyte) on keybase.
- I have a public key whose fingerprint is AF11 EE2E C9F9 B969 736F 5AFD FEB2 05D0 B855 3D64
To claim this, I am signing this object:
Alexander Kyte alexanderkyte
alexanderkyte
/ keybase.md
Created
March 13, 2014 00:58
alexanderkyte
/ gist:ab4602cd47663b776471
Last active
August 29, 2015 14:14
This file contains 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
| akyte@Alexanders-MacBook-Air ~/profile_tests $ diff output.mono output.report | |
| 28d27 | |
| < (wrapper managed-to-native) System.Threading.InternalThread:Thread_free_internal (System.Threading.InternalThread,intptr) | |
| 46d44 | |
| < (wrapper runtime-invoke) object:runtime_invoke_virtual_void__this__ (object,intptr,intptr,intptr) | |
| 114d111 | |
| < System.IO.FileStream:Finalize () | |
| 223d219 | |
| < System.Runtime.ConstrainedExecution.CriticalFinalizerObject:Finalize () |
alexanderkyte
/ gist:fabe7aa85f98403f2141
Created
February 26, 2015 22:12
This file contains 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
| System/Uri.cs(102,23): warning CS0414: The private field `System.Uri.isWin32' is assigned but its value is never used | |
| Compilation succeeded - 37 warning(s) | |
| Creating the per profile list ../../build/deps/basic_System.Core.dll.sources ... | |
| MCS [basic] System.Core.dll | |
| warning CS1685: The predefined type `System.Security.Permissions.HostProtectionAttribute' is defined multiple times. Using definition from `mscorlib.dll' | |
| ./../../class/lib/basic/mscorlib.dll (Location of the symbol related to previous warning) | |
| ./../../class/lib/basic/System.dll (Location of the symbol related to previous warning) | |
| System.IO.Pipes/PipeSecurity.cs(114,25): warning CS0108: `System.IO.Pipes.PipeSecurity.AccessControlSectionsModified' hides inherited member `System.Security.AccessControl.ObjectSecurity.AccessControlSectionsModified'. Use the new keyword if hiding was intended | |
| ./../../class/lib/basic/mscorlib.dll (Location of the symbol related to previous warning) | |
| ../../../external/referencesource/System.Core/System/Linq/Parallel/Util |
alexanderkyte
/ gist:0dd8b336844486f79e33
Created
April 12, 2015 18:10
This file contains 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
| open System | |
| open System.Collections.Generic | |
| type Bar() = | |
| let doSomething (foo : Foo) = | |
| let inner() = | |
| foo.List.Count | |
| inner() | |
| and Foo() = |
This file contains 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
| Xft*dpi: 96 | |
| Xft*antialias: true | |
| Xft*hinting: full | |
| URxvt*geometry: 85x16 | |
| URxvt*fading: 0 | |
| URxvt*tintColor: #ffffff | |
| URxvt*shading: 0 | |
| URxvt*inheritPixmap: False |
alexanderkyte
/ gist:4a3f6a4a15914595004f
Created
January 13, 2016 20:16
This file contains 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
| akyte@Alexanders-MacBook-Air ~/mono_static_dir/mcs/class (tests_with_excludes*) $ make PROFILE=mobile_static | |
| /Applications/Xcode.app/Contents/Developer/usr/bin/make all-local | |
| MCS [mobile_static] mscorlib.dll | |
| System/TimeZoneInfo.cs(108,34): warning CS0168: The variable `e' is declared but never used | |
| System.Diagnostics/StackTrace.cs(179,9): warning CS0168: The variable `printOffset' is declared but never used | |
| System.Diagnostics.Tracing/EventSource.cs(135,15): warning CS3006: Overloaded method `System.Diagnostics.Tracing.EventSource.Write<T>(string, ref System.Diagnostics.Tracing.EventSourceOptions, ref T)' differing only in ref or out, or in array rank, is not CLS-compliant | |
| System.Diagnostics.Tracing/EventSource.cs(131,15): (Location of the symbol related to previous warning) | |
| System.Security/PermissionSet.cs(230,13): warning CS0219: The variable `current' is assigned but its value is never used | |
| System.Security/PermissionSet.cs(231,14): warning CS0219: The variable `domain' is assigned but its value is never |
alexanderkyte
/ Z3 solving
Created
March 29, 2016 18:50
This file contains 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
| Function has list of basic block | |
| Basic block has list of function calls | |
| Some of these functions are annotated | |
| Do more in Z3 than this makes sound like | |
| - "Calls function annotation" Z3 symbol | |
| - "Statement follows" Z3 symbol | |
| - "Block follows" Z3 symbol |
alexanderkyte
/ gist:b9be770547dbac000d2f97248c40fefd
Created
June 3, 2016 17:23
Test failures due to missing wrappers
This file contains 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
| 2) Bug19313 (MonoTests.System.IO.Compression.DeflateStreamTest.Bug19313) | |
| System.ExecutionEngineException : Attempting to JIT compile method '(wrapper native-to-managed) System.IO.Compression.DeflateStreamNative:UnmanagedRead (intptr,int,intptr)' while running with --aot-only. See http://docs.xamarin.com/ios/about/limitations for more information. | |
| at (wrapper managed-to-native) System.Object:__icall_wrapper_mono_thread_interruption_checkpoint () | |
| at (wrapper managed-to-native) System.Object:__icall_wrapper_mono_delegate_to_ftnptr (object) | |
| at (wrapper managed-to-native) System.IO.Compression.DeflateStreamNative:CreateZStream (System.IO.Compression.CompressionMode,bool,System.IO.Compression.DeflateStreamNative/UnmanagedReadOrWrite,intptr) | |
| at System.IO.Compression.DeflateStreamNative.Create (System.IO.Stream compressedStream, System.IO.Compression.CompressionMode mode, System.Boolean gzip) <0x114ed5000 + 0x00120> in <filename unknown>:0 | |
| at System.IO.Compression.DeflateStream..ctor (System.IO.Stream c |
alexanderkyte
/ gist:18f43bed76d2203bad255012d071f8d8
Created
June 3, 2016 18:21
This file contains 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
| 1) TestMixListArraySerialize (MonoTests.System.Runtime.Serialization.Bug242Test.TestMixListArraySerialize) | |
| System.Reflection.TargetInvocationException : Exception has been thrown by the target of an invocation. | |
| ----> System.ExecutionEngineException : Attempting to JIT compile method '(wrapper runtime-invoke) <Module>:runtime_invoke_List`1/Enumerator<DataItemTest242>__this__ (object,intptr,intptr,intptr)' while running with --aot-only. See http://docs.xamarin.com/ios/about/limitations for more information. | |
| at System.Reflection.MonoMethod.Invoke (System.Object obj, System.Reflection.BindingFlags invokeAttr, System.Reflection.Binder binder, System.Object[] parameters, System.Globalization.CultureInfo culture) <0x108ffe6a0 + 0x00109> in <filename unknown>:0 | |
| at System.Reflection.MethodBase.Invoke (System.Object obj, System.Object[] parameters) <0x1090d6d00 + 0x0002a> in <filename unknown>:0 | |
| at System.Runtime.Serialization.XmlFormatWriterInterpreter.WriteCollection (System.Runtime.Serialization.Collecti |
alexanderkyte
/ gist:04cb76cc3a9dc651f59bcfa7361460b0
Created
June 10, 2016 20:15
This file contains 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
| 1) Current (MonoTests.System.ServiceModel.Web.WebOperationContextTest.Current) | |
| System.InvalidOperationException : MonoTouch does not support dynamic proxy code generation. Override this method or its caller to return specific client proxy instance | |
| at (wrapper managed-to-native) System.Reflection.MonoMethod:InternalInvoke (System.Reflection.MonoMethod,object,object[],System.Exception&) | |
| at System.Reflection.MonoMethod.Invoke (System.Object obj, System.Reflection.BindingFlags invokeAttr, System.Reflection.Binder binder, System.Object[] parameters, System.Globalization.CultureInfo culture) <0x10ac7ab60 + 0x00103> in <filename unknown>:0 | |
| at NUnit.Framework.Internal.Reflect.InvokeMethod (System.Reflection.MethodInfo method, System.Object fixture, System.Object[] args) <0x10c252590 + 0x00081> in <filename unknown>:0 | |
| at NUnit.Framework.Internal.Commands.TestMethodCommand.RunTestMethod (NUnit.Framework.Internal.TestExecutionContext context) <0x10c244ba0 + 0x000dc> in <filename unknown>:0 | |
| at NUnit.Framewo |
OlderNewer