Code

Semantic BDD Pointers!#163

Code

Draft

mattxwang wants to merge 24 commits intomainneuppl/rsdd:mainfrom semantic-bdd-ptrneuppl/rsdd:semantic-bdd-ptrCopy head branch name to clipboard

+1,307-2

Commits

Commits on Jul 26, 2023

• Checkpoint: sketching out node structure

  Show description for 81aab21
  mattxwang

  committed
  81aab21

  Copy full SHA for 81aab21

• Minimum compiling example (with many todo!()s in the builder)

  mattxwang

  committed
  f514cff

  Copy full SHA for f514cff

• Sketching out more builder functionality

  Show description for b05c151
  mattxwang

  committed
  b05c151

  Copy full SHA for b05c151

Commits on Jul 27, 2023

• Merge branch 'main' into semantic-bdd-ptr

  mattxwang

  committed
  24e6e6d

  Copy full SHA for 24e6e6d

• Fully compiles + no more todo!()s

  mattxwang

  committed
  65bf38e

  Copy full SHA for 65bf38e

• Constructor, first passing test (!!), fix bug on semantic deref

  mattxwang

  committed
  d5984ba

  Copy full SHA for d5984ba

• Trivial quickcheck test - ROBDD & Semantic agree!

  mattxwang

  committed
  e4187dc

  Copy full SHA for e4187dc

Commits on Jul 28, 2023

• Mostly create wrapped structure, but issues around temporary values

  mattxwang

  committed
  755eb34

  Copy full SHA for 755eb34

• Undoes wrapper node; instead, packages builder as part of enum tuple,

  Show description for 1260300
  mattxwang

  committed
  1260300

  Copy full SHA for 1260300

Commits on Jul 31, 2023

• Potentially working merge?

  mattxwang

  committed
  1c3b781

  Copy full SHA for 1c3b781

• Add quickcheck test for arbitrary merges and WMC

  mattxwang

  committed
  b19c414

  Copy full SHA for b19c414

• Adds pointer re-rooting

  mattxwang

  committed
  d8c8fb3

  Copy full SHA for d8c8fb3

Commits on Aug 1, 2023

• Testing an experiment; but, there's a bug in merge (?)

  mattxwang

  committed
  30a0dcf

  Copy full SHA for 30a0dcf

• Trying (but failing) to fix this alloc

  mattxwang

  committed
  1ba71fe

  Copy full SHA for 1ba71fe

Commits on Aug 2, 2023

• Checkpoint: switch from BRT -> HashMap, remove some unsafes.

  Show description for 57e1ad7
  mattxwang

  committed
  57e1ad7

  Copy full SHA for 57e1ad7

• Working "fake pointer" version with semantic hash as the ref

  mattxwang

  committed
  2eaa773

  Copy full SHA for 2eaa773

• Remove various debugging items

  mattxwang

  committed
  fb11238

  Copy full SHA for fb11238

• Tidy up single-threaded data

  mattxwang

  committed
  33d2d30

  Copy full SHA for 33d2d30

• Prelim rayon example

  mattxwang

  committed
  412faff

  Copy full SHA for 412faff

Commits on Aug 3, 2023

• More fine-grained merge stats

  mattxwang

  committed
  321204e

  Copy full SHA for 321204e

• Merge branch 'main' into semantic-bdd-ptr

  mattxwang

  committed
  0cd4377

  Copy full SHA for 0cd4377

• Merge branch 'main' into semantic-bdd-ptr

  mattxwang

  committed
  f7c1838

  Copy full SHA for f7c1838

• Use minfill order

  mattxwang

  committed
  cff2d81

  Copy full SHA for cff2d81

• Add log

  mattxwang

  committed
  7b5141f

  Copy full SHA for 7b5141f