hakaru-dev hakaru issues

hakaru-dev / hakaru

A probabilistic programming language

BSD 3-Clause "New" or "Revised" License

311 stars 30 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Teach KB about properties that hold of every element of an array

#59 ccshan opened 7 years ago
11
Error on a deep solve-under-assuming call

#58 JacquesCarette closed 7 years ago
2
Regression in KB

#57 yuriy0 closed 7 years ago
0
Failing assertion in Loop due to change in KB

#56 yuriy0 closed 7 years ago
1
Track down real source of Maple library bug and report

#55 JacquesCarette closed 7 years ago
1
`maple` directory needs to be cleaned up

#54 yuriy0 closed 7 years ago
1
Bug in `categorical` for the C backend

#53 sabauma closed 7 years ago
7
Domain.mpl doesn't work without opaquemodules=true

#52 yuriy0 closed 7 years ago
2
Failing NewSLO test (rmProg1)

#51 yuriy0 closed 7 years ago
2
Failing Plate tests

#50 yuriy0 closed 7 years ago
2
Find a way to reproduce error Ken gets

#49 JacquesCarette closed 7 years ago
7
Understand where singularities in disint test cases come from, and how to deal with them

#48 JacquesCarette closed 7 years ago
3
Understand when int_assuming needs called

#47 JacquesCarette closed 7 years ago
1
summary timing out

#46 cscherrer closed 7 years ago
18
plate of berns doesn't parse

#45 ccshan closed 7 years ago
8
Newsgroup data TODO items

#44 cscherrer closed 7 years ago
5
simplification bug (negative Weight)

#43 JacquesCarette closed 7 years ago
1
Various fixes for C codegen and alpha equivalence

#42 sabauma closed 7 years ago
0
Scoping issue in the generated C code

#41 sabauma closed 7 years ago
7
Hashable instances for AST types

#40 sabauma closed 6 years ago
4
Alpha equivalence of terms

#39 sabauma closed 7 years ago
1
Improve performance of the Hakaru Prelude

#38 sabauma closed 7 years ago
4
Function calls cannot take literal pair argument with negative numbers

#37 ccshan closed 8 years ago
1
Function-call arguments reversed

#36 ccshan closed 8 years ago
0
Maple "123*x" parses as Hakaru "x/1"

#35 ccshan closed 8 years ago
0
Symbolic disintegration produces unevaluated Int (but could evaluate)

#34 JacquesCarette closed 7 years ago
2
typo fix

#33 hrldcpr closed 8 years ago
1
L.H.Pretty.Concrete loses parens around array

#32 ccshan closed 8 years ago
1
avoid calling buggy `convert/piecewise`

#31 JacquesCarette closed 8 years ago
2
Disintegrate is emitting bindings out of order

#30 zaxtax closed 7 years ago
6
bern -> categorical

#29 JacquesCarette closed 7 years ago
13
Improve pretty printing of if statements

#28 zaxtax opened 8 years ago
9
Improve pretty printing (Concrete.hs)

#27 wrengr closed 8 years ago
5
Parser problem

#26 JacquesCarette closed 8 years ago
12
Optimizing powers/roots

#25 wrengr closed 8 years ago
0
Error caused by `simplify` attempting to interpret Maple initialization-file output

#24 carl-j-love opened 8 years ago
4
rescaled Beta

#23 JacquesCarette opened 8 years ago
1
Non-implemented simplification

#22 JacquesCarette closed 7 years ago
2
Program slow to simplify

#21 zaxtax closed 7 years ago
5
Telling Maple size :: Array -> Nat.

#20 JacquesCarette closed 8 years ago
4
improve Sing :: Symbol -> *

#19 wrengr closed 8 years ago
1
Depend on 'indentation-parsec' instead of 'indentation'

#18 lambdageek closed 8 years ago
3
Plate with array passed in as free variable does not simplify

#17 zaxtax closed 8 years ago
0
Expect doesn't go under case

#16 wrengr closed 8 years ago
2
VarEq bug in normalize

#15 wrengr closed 8 years ago
2
hygiene bug in expect

#14 wrengr closed 8 years ago
5
Program with match needs type annotation

#13 zaxtax closed 8 years ago
1
Hygiene bug in disintegration

#12 wrengr closed 7 years ago
4
"cabal test" blocks on ssh access to karst.uits.iu.edu

#11 alxempirical closed 8 years ago
2
Fix `substs`

#10 wrengr opened 8 years ago
1

Previous Next