alexanderkyte

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

%%
%% Mod_vitamin: keeping your presence list healthy
%%
%% Note on use: This module is not persistent. Across restarts of the whole
%% cluster, you'll have to re-add the necessary jids. For that reason, the runtime
%% configuration is discouraged when compared to hard-coding the jids in the configuration
%% file. Any serious change to the jids made at runtime should also be made in the config file.
%%
%%
%% Authors: Dylan Ayrey and Alexander Kyte

alexanderkyte

Keybase proof

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:

alexanderkyte

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

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

open System
open System.Collections.Generic

type Bar() =
    let doSomething (foo : Foo) =
        let inner() =
            foo.List.Count
        inner()

and Foo() =

alexanderkyte

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

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

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

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