dungpa

// A representation from http://stackoverflow.com/questions/5840292/automata-in-ocaml

type FiniteStateMachine<'State, 'Input> = {
  Initial    : 'State;
  Final      : 'State -> bool;
  Transition : 'Input -> 'State -> 'State;
}

type IntegerKind =
  | Odd

dungpa

Create a 64-bit version of PerfView for bigger memory space

copy PerfView.exe PerfView64.exe
src\tools\corflags /32bitPref- PerfView64.exe

Reference microsoft/perfview#175 (comment)

Debug StackOverflow exceptions

dungpa

open Sc_util
open OUnit
open Mlfi_check

let test_count = 100

module UtilTests = struct
  let gen_function ~(gen_input: 'a gen) ~(map_output: 'a -> 'b): ('a * ('a -> 'b)) gen =
    let f a = return (a, (fun (_: 'a) -> map_output a)) in
    gen_input >>= f

dungpa

module SourceLink.Program

open System
open System.IO
open SourceLink
open SourceLink.SymbolStore
open System.Reflection

//let pdbSourceLink = @"..\..\..\packages\SourceLink.Fake\tools\SourceLink.pdb"
//let dllSourceLink = @"..\..\..\packages\SourceLink.Fake\tools\SourceLink.dll"

dungpa

let rec generateDeclExpr size =
    if size <= 2 then
        generateIdentExpr size
    else
        let genSubDeclExpr = generateDeclExpr (size/2)
        let genSubDeclExprList = Gen.listOf genSubDeclExpr
        let genSubIdentExpr = generateIdentExpr (size/2)
        let genSubSynType = generateSynType (size/2)
        let genSubSynTypeList = Gen.listOf genSubSynType
        let genSubSynPat = generateSynPat (size/2)

dungpa

Companion code for "F# and linear programming: an introduction to Z3 optimization APIs"

dungpa

let mkBoolLe coeffs args k = context.MkPBLe(coeffs, args, k)
let assertHard (b: BoolExpr) = solver.Assert(b)

// Each server has fulfilled capability constraints
for j in 1..n do
    let yj = ys.[j-1]
    let capabilityJ = capabilities.[j-1]
    let coeffs = 
        [| 
            yield! requirements

dungpa

// Place each VM on exactly one server
for xi in xs do        
    assertHard (add xi =. mkInt 1)

// A used server always has at least a VM on it
for j in 1..n do
    let yj = ys.[j-1]
    xs |> Array.iter (fun xi -> 
            let xij = xi.[j-1]
            assertHard (yj >=. xij))

dungpa

namespace FSharpVSPowerTools.ProjectSystem

open System
open System.IO
open System.Diagnostics
open EnvDTE
open VSLangProj
open FSharp.CompilerBinding
open System.Reflection
open Microsoft.FSharp.Reflection

dungpa

type Direction = 
    | Up
    | Down
    | Left
    | Right

with override this.ToString() =
         match this with
         | Up -> "Up"
         | Down -> "Down"