https://github.com/probmods/webppl
Revision 12020fd97e4881a741f4b1132b5dc5524a285ab1 authored by null-a on 21 July 2016, 18:04:56 UTC, committed by null-a on 21 July 2016, 18:04:56 UTC
Closes #575.
1 parent f0a0894
Tip revision: 12020fd97e4881a741f4b1132b5dc5524a285ab1 authored by null-a on 21 July 2016, 18:04:56 UTC
Don't inc. accepted count when no proposal made.
Don't inc. accepted count when no proposal made.
Tip revision: 12020fd
File | Mode | Size |
---|---|---|
docs | ||
examples | ||
scripts | ||
src | ||
tests | ||
.gitignore | -rw-r--r-- | 203 bytes |
.gjslintrc | -rw-r--r-- | 104 bytes |
.travis.yml | -rw-r--r-- | 424 bytes |
CONTRIBUTING.md | -rw-r--r-- | 982 bytes |
Gruntfile.js | -rw-r--r-- | 4.2 KB |
LICENSE.md | -rw-r--r-- | 1.2 KB |
README.md | -rw-r--r-- | 809 bytes |
package.json | -rw-r--r-- | 1.6 KB |
webppl | -rwxr-xr-x | 3.3 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...