Skip to content

Releases: Tractables/LogicCircuits.jl

v0.4.0

10 Jun 20:34
16839ea
Compare
Choose a tag to compare

LogicCircuits v0.4.0

Diff since v0.3.3

Merged pull requests:

v0.3.3

16 Feb 21:41
70291a7
Compare
Choose a tag to compare

LogicCircuits v0.3.3

Diff since v0.3.2

Closed issues:

  • issues running the Juice-Example notebook (#107)

Merged pull requests:

  • Union{Missing, T} instead of typemax for missing for gpu (#105) (@khosravipasha)
  • CompatHelper: bump compat for CSV to 0.10, (keep existing compat) (#106) (@github-actions[bot])
  • Create nonexisting literals when smooth_node does not find them (#108) (@RenatoGeh)

v0.3.2

25 Nov 21:44
Compare
Choose a tag to compare

LogicCircuits v0.3.2

Diff since v0.3.1

Merged pull requests:

  • Support for read and write of circuits to *.gz compressed files (#104) (@guyvdbroeck)

v0.3.1

21 Nov 19:14
Compare
Choose a tag to compare

LogicCircuits v0.3.1

Diff since v0.3.0

Closed issues:

  • Use the CUDA.jl occupancy API (#101)

Merged pull requests:

  • Add make_vars_contiguous and has_vars_contiguous to relabel variable indices (#102) (@guyvdbroeck)

v0.3.0

28 Sep 04:26
Compare
Choose a tag to compare

LogicCircuits v0.3.0

Diff since v0.2.4

Closed issues:

  • Use CombinedParsers.jl instead of our custom file loader (#40)
  • SDD files load as plain logic circuits (#70)

Merged pull requests:

  • CompatHelper: bump compat for CSV to 0.9, (keep existing compat) (#98) (@github-actions[bot])
  • overhaul of input-output functionality (#99) (@guyvdbroeck)

v0.2.4

07 Sep 06:14
cd4e8eb
Compare
Choose a tag to compare

LogicCircuits v0.2.4

Diff since v0.2.3

Closed issues:

  • SnoopCompile.jl (#34)
  • Literate.jl (#45)
  • non-smooth circuits: Bug in isstruct_decomposable, infer_vtree (#47)
  • Potential Issues with traversal infra, counters (#64)
  • Remove MLDatasets.jl dependency (#76)
  • Correctness of isstruct_decomposable and infer_vtree? (#82)
  • vtree(root) returns a circuit node instead of vtree node in some cases (#83)
  • Unexpected behaviour for disjunction (#88)
  • Dataframe issue with converting to Matrix{Bool} (#93)

Merged pull requests:

  • Integrate Literate.jl template with documentation (#74) (@guyvdbroeck)
  • Remove MLDatasets dependency (#77) (@khosravipasha)
  • CompatHelper: bump compat for "LoopVectorization" to "0.12" (#79) (@github-actions[bot])
  • Refactor data utils (#80) (@guyvdbroeck)
  • add sdd smoothing (#81) (@talf301)
  • Change circuit traversal API to use Dict instead of a counter field (#84) (@guyvdbroeck)
  • Infer vtree (#85) (@talf301)
  • CompatHelper: bump compat for "DataFrames" to "1.1" (#87) (@github-actions[bot])
  • Add BinaryDecisionDiagrams.jl to Juice (#90) (@RenatoGeh)
  • Upgrade to dataframes 1.x (#94) (@khosravipasha)
  • CompatHelper: add new compat entry for Tables at version 1, (keep existing compat) (#95) (@github-actions[bot])
  • Fix BDDs overwriting LoadSave.load_cnf (#96) (@RenatoGeh)
  • Allow empty lines in CNF files (#97) (@RenatoGeh)

v0.2.3

09 Mar 02:13
Compare
Choose a tag to compare

LogicCircuits v0.2.3

Diff since v0.2.2

Version 0.2.3

Closed issues:

  • save_as_dot Clean up (#7)
  • Literal index support other that 1:N (or also support for reindexing) (#20)
  • Retrieve all compiled variables in an SDD manager (#38)
  • add support for smoothing structured decomposable circuits (#43)
  • Move to DataFrames v0.22 (#57)

Merged pull requests:

  • CompatHelper: bump compat for "Reexport" to "1.0" (#61) (@github-actions[bot])
  • Optionally pass an IO instead of filename to vtree saving (#62) (@RenatoGeh)
  • add implied literals (#63) (@talf301)
  • CompatHelper: bump compat for "DataFrames" to "0.22" (#65) (@github-actions[bot])
  • CompatHelper: bump compat for "LoopVectorization" to "0.11" (#67) (@github-actions[bot])
  • Stop struct_learn when there are no more candidates for transformation (#68) (@RenatoGeh)
  • Structured smoothing (#69) (@talf301)
  • Running example in README (#72) (@guyvdbroeck)

v0.2.2

10 Dec 01:14
2d79901
Compare
Choose a tag to compare

LogicCircuits v0.2.2

Diff since v0.2.1

Closed issues:

  • Infer Vtree from StructLogicalΔ (#8)
  • Smoothing results in having more than 2 childs for AND nodes (#19)
  • Visualizing tools for the circuits (#23)
  • struct_learn reaches assertion error (#37)
  • Integrate Aqua Tests (#44)

Merged pull requests:

  • add make_missing_mcar and basic imputations (#50) (@khosravipasha)
  • CompatHelper: bump compat for "CSV" to "0.8" (#51) (@github-actions[bot])
  • CompatHelper: bump compat for "DataFrames" to "0.22" (#55) (@github-actions[bot])

v0.2.1

24 Oct 04:56
778db70
Compare
Choose a tag to compare

LogicCircuits v0.2.1

Diff since v0.2.0

Release v0.2.1

Merged pull requests:

v0.2.0

02 Oct 04:07
Compare
Choose a tag to compare

LogicCircuits v0.2.0

Diff since v0.1.1

Closed issues:

  • Folds vs upward/downward passes (#3)
  • Clean up and codecoverage (#4)
  • is_struct_decomposable, and inferring vtree from given circuit (#10)
  • Unify Data related objects (#11)
  • Correct way of evaluating logic circuit (#15)
  • Add Better Unit tests for evaluate (#17)
  • Implement is_deterministic (#22)
  • add respects_vtree (#27)
  • Support evaluate for one instance (#29)
  • Normalizing Probabilistic Flows in the Downward pass (#39)
  • Julia version requirement for project not satisfied (#41)

Merged pull requests: