Code

basic distmatrix support#81

Code

Open

guyvdbroeck wants to merge 43 commits intomainTractables/Dice.jl:mainfrom matrixTractables/Dice.jl:matrixCopy head branch name to clipboard

+21

Commits

Commits on Oct 27, 2022

• basic distmatrix support

  guyvdbroeck

  committed
  f9d9f85

  Copy full SHA for f9d9f85

Commits on Apr 21, 2023

• fix compile cache updates

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  caef7f9

  Copy full SHA for caef7f9

• remove unnecessary compile method

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  73c99f2

  Copy full SHA for 73c99f2

• fix CG parent over-counting to increase cudd derefs

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  3140363

  Copy full SHA for 3140363

• CompatHelper: bump compat for CUDD to 0.3, (keep existing compat)

  

  CompatHelper Julia

  authored and

  PoorvaGarg

  committed
  9cb1bb7

  Copy full SHA for 9cb1bb7

• Add DistChar

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  5c90902

  Copy full SHA for 5c90902

• Add DistString

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  eb6e52f

  Copy full SHA for eb6e52f

• Add Caesar Cipher example

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  8e6472a

  Copy full SHA for 8e6472a

• use Test package for char/string tests

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  0626908

  Copy full SHA for 0626908

• change isless implementation and test

  

  williamxcao

  authored and

  PoorvaGarg

  committed
  6ba6b69

  Copy full SHA for 6ba6b69

• support different bit assignments corresponding to the same value

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  e451a6d

  Copy full SHA for e451a6d

• add probabilistic tuple ite

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  db6b69b

  Copy full SHA for db6b69b

• state machine example

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  a2cfe89

  Copy full SHA for a2cfe89

• test tuple ite

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  ab9ecf3

  Copy full SHA for ab9ecf3

• add vector and enum

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  0fb804b

  Copy full SHA for 0fb804b

• vector: use prob_getindex instead of Base.getindex

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  a78fca2

  Copy full SHA for a78fca2

• consistent comparison operators

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  744103b

  Copy full SHA for 744103b

• use >= in vector

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  541bd15

  Copy full SHA for 541bd15

• fix bdd node counting

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  7c636c7

  Copy full SHA for 7c636c7

• grammar/parser wip

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  b3edf27

  Copy full SHA for b3edf27

• DistVector: add prob_contains

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  d30c78b

  Copy full SHA for d30c78b

• Allow inference on Vector{i<:Dist}

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  78800c9

  Copy full SHA for 78800c9

• Add examples of non-deterministic programs

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  33d091a

  Copy full SHA for 33d091a

• nodet tests

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  369b34d

  Copy full SHA for 369b34d

• Add DistVector sorting

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  7581a78

  Copy full SHA for 7581a78

• Fix DistVector tests

  

  rtjoa

  authored and

  PoorvaGarg

  committed
  b78dc46

  Copy full SHA for b78dc46

• error check defaults

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  3c6e62c

  Copy full SHA for 3c6e62c

• fix issues switching between dynamo and no-dynamo evaluation

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  927c3ff

  Copy full SHA for 927c3ff

• support expectation and variance of Booleans

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  98abd92

  Copy full SHA for 98abd92

• simplify uniform_arith

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  b14bfd3

  Copy full SHA for b14bfd3

• simplify uniform

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  91f9a5f

  Copy full SHA for 91f9a5f

• clean up discrete and fix argument order of convert

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  53369ad

  Copy full SHA for 53369ad

• simplified DistUInt

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  93e8590

  Copy full SHA for 93e8590

• simplify mod

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  98b5340

  Copy full SHA for 98b5340

• fix reduced bitwdith conversions

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  a7dbe91

  Copy full SHA for a7dbe91

• simplify expectation and variance

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  6a2e96c

  Copy full SHA for 6a2e96c

• simplify DistInt

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  9af8c98

  Copy full SHA for 9af8c98

• simplified DistInt multiplication

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  32e2ae7

  Copy full SHA for 32e2ae7

• simplify DistInt division

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  ce8b617

  Copy full SHA for ce8b617

• simplified DistInt mod

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  a0dab50

  Copy full SHA for a0dab50

• basic distmatrix support

  

  guyvdbroeck

  authored and

  PoorvaGarg

  committed
  c116474

  Copy full SHA for c116474

• cleanup

  PoorvaGarg

  committed
  cbf5cdb

  Copy full SHA for cbf5cdb

• Merge branch 'main' into matrix

  PoorvaGarg

  authored
  005ab79

  Copy full SHA for 005ab79