Skip to content

Releases: IBM/probzelus

ProbZelus 1.0

21 Jan 08:53
@gbdrt gbdrt
1.0
f7602a0
This commit was created on github.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
ProbZelus 1.0 Latest
Latest
  • Reorganize libraries into Opam packages
  • Add a probzeluc wrapper that link zeluc with the probzelus and zelus-owl library
  • Update documentation
Assets 2
Loading

PLDI 20

20 Apr 15:37
@mandel mandel
pldi20
a1c7457
Compare
Choose a tag to compare
PLDI 20

Release associate to the PLDI 2020 paper entitled Reactive Probabilistic Programming by Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin.

Loading