issues
search
google-research
/
dex-lang
Research language for array processing in the Haskell/ML family
BSD 3-Clause "New" or "Revised" License
1.56k
stars
106
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Stop extending synthesis givens everywhere.
#1245
dougalm
closed
1 year ago
0
Create uninitialized values in Imp directly.
#1244
dougalm
closed
1 year ago
0
The great punctuation shift
#1243
dougalm
closed
1 year ago
5
OOP envy and type-based name spaces
#1242
dougalm
closed
1 year ago
6
Issue #1055
#1241
normanrink
closed
1 year ago
0
Let's stop currying and use explicit n-ary functions instead
#1240
dougalm
closed
1 year ago
7
Remove SumAsProd which is redundant with RepVal.
#1239
dougalm
closed
1 year ago
0
Generalize our generalization system to handle data arguments.
#1238
dougalm
closed
1 year ago
0
Fix for fix for #1140
#1237
dougalm
closed
1 year ago
0
Better error messages for instances with the wrong number of parameters.
#1236
dougalm
closed
1 year ago
0
Small followups to #1231
#1235
dougalm
closed
1 year ago
0
Add pop function for stack, and some tests.
#1234
duvenaud
closed
1 year ago
0
Remove "allowed effects" from the Env we carry everywhere.
#1232
dougalm
closed
1 year ago
1
Add a `Data` constraint and apply it where needed
#1231
axch
closed
1 year ago
1
Should functions have an `Add` instance?
#1230
axch
closed
1 year ago
2
`@noinline` interacts badly with auto-quantification
#1229
axch
closed
1 year ago
1
Fix some remaining unsafeCoerceIRE hacks
#1228
dougalm
closed
1 year ago
0
Use flat products instead of nested pairs in non-dependent telescopes.
#1227
dougalm
closed
1 year ago
1
Add a regression test for Issue 821, AD on record-typed functions.
#1226
axch
closed
1 year ago
0
Trim the last UnitTy off the end of captured telescopes
#1225
axch
closed
1 year ago
0
Transpose functions without inlining them.
#1223
dougalm
closed
1 year ago
0
Don't indent the bodies of runState and runWriter quite so much when dumping code.
#1222
axch
closed
1 year ago
0
Handle non-data types in the block of CatchException.
#1221
axch
closed
1 year ago
0
Can't throw an exception in a context of non-data type
#1220
axch
closed
1 year ago
4
Handle at least some non-data scrutinees in `case`.
#1219
axch
closed
1 year ago
0
Linearize standalone functions
#1218
dougalm
closed
1 year ago
0
Can't handle toplevel case with a functional value?
#1217
axch
closed
1 year ago
1
Compiler bug
#1216
pharringtonp19
closed
1 year ago
2
Work stealing runtime
#1215
axch
closed
1 year ago
0
Coalesce code transformations across all three compilation paths
#1214
axch
closed
1 year ago
0
Typos.
#1213
axch
closed
1 year ago
0
Unallocated memory read with nested dependent pairs
#1212
axch
closed
1 year ago
1
Do unsigned remainder on unsigned types
#1211
axch
opened
1 year ago
1
Rewrite general_integer_power with a `for` because Dex can't differentiate through `while`
#1210
axch
closed
1 year ago
0
Strip newtypes during simplification and enforce IR invariants more widely
#1209
dougalm
closed
1 year ago
0
Fix for #1196 : we were using an invalid `internal_cast` in `rand_int`.
#1208
dougalm
closed
1 year ago
0
Remove interpreter
#1207
dougalm
closed
1 year ago
1
Allow other effects in `with_stack`
#1206
dougalm
closed
1 year ago
0
Can't compose other effects with `with_stack`
#1205
duvenaud
closed
1 year ago
2
Make codegen/runtime printing the default
#1204
dougalm
closed
1 year ago
1
Hack jvp-matmul performance.
#1203
axch
closed
1 year ago
1
Add a built-in "print absolutely anything" function
#1202
dougalm
closed
1 year ago
1
Poke at compilation speed a little
#1201
axch
closed
1 year ago
0
Follow-up edits to #1197
#1200
dougalm
closed
1 year ago
0
Effectful stack with O(1) push
#1199
dougalm
closed
1 year ago
0
Add a HeapType type and HeapVal value for the heap parameter.
#1198
dougalm
closed
1 year ago
0
Allow SubstE to access Env
#1197
dougalm
closed
1 year ago
1
Compiler bug in `rand_int`
#1196
emilyfertig
closed
1 year ago
1
"Compiler bug, Unsupported newtype: Nat" when taking grad through `intpow`
#1195
emilyfertig
closed
1 year ago
1
Implement constant folding for casts to floating-point types.
#1194
axch
closed
1 year ago
1
Previous
Next