Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / neuppl/rsdd issues and pull requests

#100 - Reenables a QC test that does not rely on specialized manager

Pull Request - State: closed - Opened by mattxwang over 1 year ago

#99 - Reduce reliance on runtime `SDD` panics

Pull Request - State: closed - Opened by mattxwang over 1 year ago

#97 - Add `wasm` as a CI target

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#95 - Refactor `ser_sdd` to ues pattern matching

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#94 - Allow creation of arbitrary semantic hash mappings, include hash in WASM

Pull Request - State: closed - Opened by mattxwang almost 2 years ago - 2 comments
Labels: blocked

#93 - Add `marginal_map_experiment` CLI tool

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#92 - Rename `pmall-neu` -> `neuppl`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#90 - Fixes all `unreachable` `panic!`s in codebase, misc style refactoring

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#89 - Add WASM wrapper for BDD with order

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#88 - Add `--right-bias` flag for random VTree generation

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#87 - Adds missing `package` fields in `Cargo.toml`, fixes license "typo"

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#86 - Check `BinarySdd`/`SddOr` cache for negated hash

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#85 - Semantic hash-focused codebase cleanup

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#84 - Run `cargo fmt`, disable failing test (for now)

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#83 - Fix duplicate `SddOr`/`BinarySDD` node allocations in compute table

Pull Request - State: closed - Opened by mattxwang almost 2 years ago - 1 comment

#82 - Add valid VTree quickcheck, apply to `VTree::from_dtree()`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#81 - Run `cargo fmt`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#79 - Cache semantic hashes on `sdd_eq`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago - 1 comment

#78 - Add apply cache hit % and min-fill `DTree` heuristic

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#77 - Resolve many open `TODO`s

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#76 - Fix `DTree`-related off-by-one error for `SemanticCanonicalizer`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#75 - Add `serde-wasm-bindgen`, allow VTree type as input parameter

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#74 - Fix `clippy`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#73 - Dep bumps (`clap`, `num`)

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#72 - Add `.blif` CNFs from LGSynth89 benchmark, CLI vtree args

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#71 - Experimental: WASM support

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#70 - Simple `dump_models` utility

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#69 - Implement `VTree::left_linear`, use in semantic hash benchmark

Pull Request - State: closed - Opened by mattxwang almost 2 years ago - 1 comment

#68 - WIP EU semiring and branch-and-bound MEU

Pull Request - State: closed - Opened by minsungc almost 2 years ago

#67 - Add semantic hash benchmark; fix minor bugs

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#66 - Consider caching CI

Issue - State: open - Opened by mattxwang almost 2 years ago

#65 - draft: `Iai` on CI

Pull Request - State: open - Opened by mattxwang almost 2 years ago

#64 - nix support in a subdirectory + PartialEq for Probability

Pull Request - State: closed - Opened by stites almost 2 years ago

#63 - Run `cargo fmt`, fix `cargo doc`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#62 - Fix rustdoc

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#61 - Run `cargo fmt`, fix `cargo clippy`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#60 - Fix `clippy` on `test.rs`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#59 - Simplify `create_prob_map`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#58 - Run `cargo fmt` and resolve `cargo clippy`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#57 - Fix `clippy`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#55 - Fix GH Pages deploy base

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#54 - cargo fmt --all

Pull Request - State: closed - Opened by stites almost 2 years ago

#53 - Yodel additions

Pull Request - State: closed - Opened by stites almost 2 years ago

#52 - Graphviz

Pull Request - State: closed - Opened by SHoltzen almost 2 years ago

#51 - Update probabilistic (un)equivalence quickcheck test to run on majority

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#50 - Update GitHub Actions to use `actions/checkout@v3`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#49 - Serialize `SddPtr` to JSON

Pull Request - State: closed - Opened by mattxwang almost 2 years ago - 1 comment

#47 - Fix issues from `cargo fmt`, `cargo clippy`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#46 - First draft: prob equiv check

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#45 - Fixes README badge

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#44 - Runs `cargo fmt`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#43 - Fixes all warnings flagged by `cargo clippy`, add `clippy` to CI

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#42 - Td rework

Pull Request - State: closed - Opened by SHoltzen almost 2 years ago

#41 - Makes `cargo build --all` emit no warnings, rename CI

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#40 - Update workflows (consolidation + add Windows)

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#39 - Resolves most cases of `dead_code`, `unused_variables`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#38 - Fix all clippy errors + remove some disabled lint rules

Pull Request - State: closed - Opened by mattxwang almost 2 years ago - 1 comment

#37 - Implements `Arbitrary` for `VTree`, more `isCanonical` tests

Pull Request - State: closed - Opened by mattxwang almost 2 years ago - 1 comment

#36 - nit: fixes incorrect annotation on `SDDPtr::high`

Pull Request - State: closed - Opened by mattxwang almost 2 years ago

#34 - Add `requirements.txt` for `rsdd-benchmark.py`

Pull Request - State: closed - Opened by mattxwang about 2 years ago

#33 - Reduce warnings with `cargo fix && cargo fmt --all`

Pull Request - State: closed - Opened by mattxwang about 2 years ago

#32 - Ptr rework

Pull Request - State: closed - Opened by SHoltzen about 2 years ago

#31 - Make hypergraphs public

Pull Request - State: closed - Opened by stites over 2 years ago

#30 - hypergraphs with some cut heuristics in a test

Pull Request - State: closed - Opened by stites over 2 years ago

#29 - playground: trivial Julia C FFI

Pull Request - State: closed - Opened by mattxwang over 2 years ago - 1 comment

#28 - implement probablistic equivalence checking

Pull Request - State: closed - Opened by mattxwang over 2 years ago - 1 comment

#27 - ci: new `rustfmt` workflow, run CI on mac and ubuntu

Pull Request - State: closed - Opened by mattxwang over 2 years ago - 1 comment

#25 - fix old references (`SHoltzen` -> `pmall-neu`)

Pull Request - State: closed - Opened by mattxwang over 2 years ago

#24 - chore: clean up lint errors and files

Pull Request - State: closed - Opened by mattxwang over 2 years ago - 1 comment

#23 - rename: map->bind, fmap->map

Pull Request - State: closed - Opened by stites over 2 years ago

#22 - better messaging in probability

Pull Request - State: closed - Opened by stites over 2 years ago

#21 - add test from collapsed-gibbs and define map

Pull Request - State: closed - Opened by stites over 2 years ago

#20 - unwrap-or-else in print_bdd_lbl

Pull Request - State: closed - Opened by stites over 2 years ago

#19 - Graphviz for BDDs

Pull Request - State: closed - Opened by stites over 2 years ago - 1 comment

#18 - Add SDD `.isTrimmed()`, `.isCompressed()`, and `.isCanonical()` predicates

Pull Request - State: closed - Opened by mattxwang over 2 years ago - 1 comment

#17 - branching heuristic

Pull Request - State: closed - Opened by SHoltzen over 2 years ago

#16 - Marginal map

Pull Request - State: closed - Opened by SHoltzen over 2 years ago

#15 - BddWmc now derives clone

Pull Request - State: closed - Opened by JohnGouwar over 2 years ago

#14 - Prototyping "modified" canoncalize logic

Pull Request - State: closed - Opened by mattxwang over 2 years ago - 1 comment

#13 - syntax highlighting in `README.md`

Pull Request - State: closed - Opened by mattxwang over 2 years ago

#12 - Sampling

Pull Request - State: closed - Opened by SHoltzen over 2 years ago

#11 - Adds constructors for BddPlans

Pull Request - State: closed - Opened by JohnGouwar over 2 years ago

#10 - Picosat

Pull Request - State: closed - Opened by SHoltzen over 2 years ago

#9 - multithreaded one-shots, JSON output

Pull Request - State: closed - Opened by mattxwang over 2 years ago - 3 comments

#8 - Compiling to wasm

Pull Request - State: closed - Opened by JohnGouwar over 2 years ago

#7 - adds one-shot benchmark for `compile_bdd` on select CNFs

Pull Request - State: closed - Opened by mattxwang almost 3 years ago

#6 - Bddplan

Pull Request - State: closed - Opened by SHoltzen almost 3 years ago

#5 - draft - adding more benchmarks

Pull Request - State: closed - Opened by mattxwang almost 3 years ago - 4 comments

#4 - Remove broken symbolic link

Pull Request - State: closed - Opened by rodrigodesalvobraz about 3 years ago

#3 - Added caching for bdd wmc.

Pull Request - State: closed - Opened by JohnGouwar about 3 years ago

#2 - Progress So Far

Pull Request - State: closed - Opened by JohnGouwar about 3 years ago

#1 - Add import/export

Issue - State: open - Opened by SHoltzen over 3 years ago
Labels: enhancement