Skip to content

Activity

Deleted branch

SHoltzendeleted bamarsha/ffi • 
on Oct 23, 2024

FFI for SDD and d-DNNF (#188)

Pull request merge
SHoltzenpushed 1 commit to main • 9247bb6…ec30172 • 
on Oct 23, 2024

Format

bamarshapushed 1 commit to bamarsha/ffi • 19720c2…19ca603 • 
on Oct 23, 2024

Merge branch 'main' into bamarsha/ffi

bamarshapushed 3 commits to bamarsha/ffi • 9a10340…19720c2 • 
on Oct 23, 2024

Deleted branch

SHoltzendeleted bamarsha/complex • 
on Oct 15, 2024

FFI for WMC with complex numbers (#191)

Pull request merge
SHoltzenpushed 1 commit to main • 2ccf991…9247bb6 • 
on Oct 15, 2024

Remove dupe bdd_num_recursive_calls

bamarshapushed 3 commits to bamarsha/complex • 0ec4ecf…cbc2b96 • 
on Oct 13, 2024

add num_recursive_calls to FFI (#189)

Pull request merge
SHoltzenpushed 1 commit to main • 01a7723…2ccf991 • 
on Sep 26, 2024

FFI for complex-valued WMC

bamarshacreated bamarsha/complex • 0ec4ecf • 
on Jul 18, 2024

pub not needed for FFI

bamarshapushed 2 commits to bamarsha/ffi • 4e53e84…9a10340 • 
on May 25, 2024

Remove clippy allows

bamarshapushed 2 commits to bamarsha/ffi • c788312…4e53e84 • 
on May 11, 2024

Type alias for BddPtr

bamarshacreated bamarsha/ffi • c788312 • 
on May 10, 2024

wmc in the FFI (#184)

Pull request merge
minsungcpushed 1 commit to main • f5d5e17…01a7723 • 
on Dec 10, 2023

Fix clippy

mattxwangpushed 1 commit to main • ec57116…f5d5e17 • 
on Nov 22, 2023

Run cargo fmt

mattxwangpushed 1 commit to main • 3c66ac0…ec57116 • 
on Nov 22, 2023

qc for bdd canonicity

SHoltzenpushed 1 commit to main • 39aadfb…3c66ac0 • 
on Nov 18, 2023

Scaffolding out has_smoothed_weights

mattxwangcreated unsmoothed-debug-assert • edfe074 • 
on Oct 25, 2023

bump nix flake (#183)

Pull request merge
stitespushed 1 commit to main • 417e477…39aadfb • 
on Oct 24, 2023

Add check to see if scratch is valid/fix bug

mattxwangcreated fix-madkour-bug • de58801 • 
on Oct 23, 2023

Deleted branch

mattxwangdeleted fix-clippy • 
on Oct 23, 2023

Fix clippy (#181)

Pull request merge
mattxwangpushed 1 commit to main • 12a7a0e…417e477 • 
on Oct 23, 2023

Fix clippy

Force push
mattxwangforce pushed to fix-clippy • 0aa797f…8f2168e • 
on Oct 19, 2023

Fix clippy

mattxwangcreated fix-clippy • 0aa797f • 
on Oct 19, 2023

fix ffi so that bdd_or is correct (#180)

Pull request merge
SHoltzenpushed 1 commit to main • 1613459…12a7a0e • 
on Oct 19, 2023

fixing dice build error with rsgm

SHoltzencreated rsdd-dice • fcb5726 • 
on Oct 8, 2023

run linty lint

minsungcpushed 2 commits to bb-lb • 5c0c15b…70f8f9c • 
on Sep 21, 2023

algorithm

minsungcpushed 1 commit to bb-lb • 015198f…5c0c15b • 
on Sep 21, 2023

nothing so far

minsungccreated bb-lb • 015198f • 
on Sep 21, 2023

Deleted branch

mattxwangdeleted rational-semiring • 
on Sep 17, 2023

Add RationalSemiring with the rational crate (#162)

Pull request merge
mattxwangpushed 1 commit to main • c477465…1613459 • 
on Sep 17, 2023