Search results

The discrete probability distribution in the digitRecognition benchmark does not sum to one

Status: Open.

#68 In SHoltzen/dice;

· dbasgoeze opened on Oct 25, 2024

Incorrect result: adding two numbers from discrete() where the sum is more than the int size specified in the discrete()

Status: Open.

#67 In SHoltzen/dice;

· lisaoakley opened on Mar 13, 2024

Question about 5.2.3 in the paper

Status: Open.

#66 In SHoltzen/dice;

· Ptkyr opened on Feb 1, 2024

dune exec dice fails - Error: Unbound type constructor Yojson.json

Status: Open.

#64 In SHoltzen/dice;

· rishubn opened on Dec 7, 2022

zeros in probability in the master build

Status: Open.

#60 In SHoltzen/dice;

· dotkrnl opened on Jun 10, 2022

Only 0 probabilities for some examples

Status: Open.

#47 In SHoltzen/dice;

· hakank opened on May 27, 2021

Error message location reporting

Status: Open.

#45 In SHoltzen/dice;

· qsctr opened on Apr 2, 2021

Lists

Status: Open.

#39 In SHoltzen/dice;

· qsctr opened on Feb 20, 2021

Error message improvement for syntax error

Status: Open.

#35 In SHoltzen/dice;

· ellieyhcheng opened on Jan 7, 2021

No error message for missing function

Status: Open.

#29 In SHoltzen/dice;

· guyvdbroeck opened on Sep 24, 2020

Error message improvement, not operator

Status: Open.

#28 In SHoltzen/dice;

· sjunges opened on Jul 21, 2020

Error message improvement, report operator

Status: Open.

#27 In SHoltzen/dice;

· sjunges opened on Jul 21, 2020