Skip to content

Issues: SHoltzen/dice

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

18 Open 18 Closed
18 Open 18 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

The discrete probability distribution in the digitRecognition benchmark does not sum to one
#68 opened Oct 25, 2024 by dbasgoeze
Incorrect result: adding two numbers from discrete() where the sum is more than the int size specified in the discrete()
#67 opened Mar 13, 2024 by lisaoakley
Question about 5.2.3 in the paper
#66 opened Feb 1, 2024 by Ptkyr
dune exec dice fails - Error: Unbound type constructor Yojson.json
#64 opened Dec 7, 2022 by rishubn
zeros in probability in the master build
#60 opened Jun 10, 2022 by dotkrnl
1
Only 0 probabilities for some examples
#47 opened May 27, 2021 by hakank
5
Error message location reporting
#45 opened Apr 2, 2021 by qsctr
Lists
#39 opened Feb 20, 2021 by qsctr
4
Error message improvement for syntax error
#35 opened Jan 7, 2021 by ellieyhcheng
No error message for missing function
#29 opened Sep 24, 2020 by guyvdbroeck
Error message improvement, not operator
#28 opened Jul 21, 2020 by sjunges
Error message improvement, report operator
#27 opened Jul 21, 2020 by sjunges
Check whether mlcuddidl version is up-to-date
#23 opened Jun 22, 2020 by sjunges
Suppress zero-probability values in output table
#20 opened May 24, 2020 by guyvdbroeck
Add flag to choose numerical precision of WMC computation
#19 opened May 24, 2020 by guyvdbroeck
Final line comment lexing error
#17 opened May 6, 2020 by SHoltzen
Allow rational parameters
#12 opened Apr 23, 2020 by SHoltzen
Error on discrete with zero in first position
#10 opened Apr 23, 2020 by SHoltzen
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.