basic distmatrix support - #81

Open

guyvdbroeck wants to merge 43 commits into

mainfrom

Commits on Oct 27, 2022

basic distmatrix support
guyvdbroeck
committed

Commits on Apr 21, 2023

fix compile cache updates

rtjoa
authored and
PoorvaGarg
committed
remove unnecessary compile method

rtjoa
authored and
PoorvaGarg
committed
fix CG parent over-counting to increase cudd derefs

rtjoa
authored and
PoorvaGarg
committed
CompatHelper: bump compat for CUDD to 0.3, (keep existing compat)

CompatHelper Julia
authored and
PoorvaGarg
committed
Add DistChar

rtjoa
authored and
PoorvaGarg
committed
Add DistString

rtjoa
authored and
PoorvaGarg
committed
Add Caesar Cipher example

rtjoa
authored and
PoorvaGarg
committed
use Test package for char/string tests

rtjoa
authored and
PoorvaGarg
committed
change isless implementation and test

williamxcao
authored and
PoorvaGarg
committed
support different bit assignments corresponding to the same value

rtjoa
authored and
PoorvaGarg
committed
add probabilistic tuple ite

rtjoa
authored and
PoorvaGarg
committed
state machine example

rtjoa
authored and
PoorvaGarg
committed
test tuple ite

rtjoa
authored and
PoorvaGarg
committed
add vector and enum

rtjoa
authored and
PoorvaGarg
committed
vector: use prob_getindex instead of Base.getindex

rtjoa
authored and
PoorvaGarg
committed
consistent comparison operators

rtjoa
authored and
PoorvaGarg
committed
use >= in vector

rtjoa
authored and
PoorvaGarg
committed
fix bdd node counting

rtjoa
authored and
PoorvaGarg
committed
grammar/parser wip

rtjoa
authored and
PoorvaGarg
committed
DistVector: add prob_contains

rtjoa
authored and
PoorvaGarg
committed
Allow inference on Vector{i<:Dist}

rtjoa
authored and
PoorvaGarg
committed
Add examples of non-deterministic programs

rtjoa
authored and
PoorvaGarg
committed
nodet tests

rtjoa
authored and
PoorvaGarg
committed
Add DistVector sorting

rtjoa
authored and
PoorvaGarg
committed
Fix DistVector tests

rtjoa
authored and
PoorvaGarg
committed
error check defaults

guyvdbroeck
authored and
PoorvaGarg
committed
fix issues switching between dynamo and no-dynamo evaluation

guyvdbroeck
authored and
PoorvaGarg
committed
support `expectation` and `variance` of Booleans

guyvdbroeck
authored and
PoorvaGarg
committed
simplify `uniform_arith`

guyvdbroeck
authored and
PoorvaGarg
committed
simplify `uniform`

guyvdbroeck
authored and
PoorvaGarg
committed
clean up `discrete` and fix argument order of `convert`

guyvdbroeck
authored and
PoorvaGarg
committed
simplified `DistUInt`

guyvdbroeck
authored and
PoorvaGarg
committed
simplify mod

guyvdbroeck
authored and
PoorvaGarg
committed
fix reduced bitwdith conversions

guyvdbroeck
authored and
PoorvaGarg
committed
simplify expectation and variance

guyvdbroeck
authored and
PoorvaGarg
committed
simplify `DistInt`

guyvdbroeck
authored and
PoorvaGarg
committed
simplified DistInt multiplication

guyvdbroeck
authored and
PoorvaGarg
committed
simplify DistInt division

guyvdbroeck
authored and
PoorvaGarg
committed
simplified DistInt mod

guyvdbroeck
authored and
PoorvaGarg
committed
basic distmatrix support

guyvdbroeck
authored and
PoorvaGarg
committed
cleanup
PoorvaGarg
committed
Merge branch 'main' into matrix
PoorvaGarg
authored