Make infer_discrete work with scan - #991

Open

fehiepsi wants to merge 11 commits into

infer-discrete-scan

Commits on Apr 3, 2021

first try to make infer_discrete work for scan
fehiepsi
committed
d838426
fix substituting errors
fehiepsi
committed
c9311db

Commits on Apr 9, 2021

Merge remote-tracking branch 'upstream/master' into infer-discrete-scan
fehiepsi
committed
394fd8b

Commits on May 27, 2021

add todo infer_discrete for annotation example
fehiepsi
committed
72e1523

Commits on May 31, 2021

add infer discrete to annotation
fehiepsi
committed
c38c2c8
Merge branch 'infer-annotation' into infer-discrete-scan
fehiepsi
committed
c786fb5
print history in annotation example
fehiepsi
committed
12b1ee6

Commits on Aug 9, 2021

merge master
fehiepsi
committed
94c7d7d
fix merge conflict
fehiepsi
committed
c6aedf9
enable the failing test
fehiepsi
committed
149119b

Commits on Dec 9, 2021

Merge branch 'master' into infer-discrete-scan
fehiepsi
committed
1426f99