index
:
packy/dex
main
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
Age
Commit message (
Expand
)
Author
2023-09-15
Fix sqrt for complex numbers when x.im == 0
Artur Wilniewczyc
2023-07-18
Add some more parser combinators and a split function.
David Duvenaud
2023-07-18
Replace DynBuffer with stack throughout prelude, and delete DynBuffer.
David Duvenaud
2023-07-06
Better control pointer alignments.
Alexey Radul
2023-07-05
Test vectorizing through `tile` and its index set.
Alexey Radul
2023-07-05
Generalize vectorized addition to notice that uniform + contiguous is contigu...
Alexey Radul
2023-06-23
Remove type/effect annotations from `Block`.
Dougal
2023-06-23
Following up on PR 1296, implement both APIs for search_sorted.
Alexey Radul
2023-06-22
Add vectorization under a loop, and another example even closer to the matmul...
Alexey Radul
2023-06-20
Test and implement vectorization of MExtend, by vectorizing the BaseMonoid co...
Alexey Radul
2023-06-15
Small tweak to the parse/group highlighting.
Dougal
2023-06-15
Teach vectorizer to deal with the reader effect.
Alexey Radul
2023-06-14
Fix typo in SourceInfoSpec
Dougal
2023-06-13
Initial support for tooltips: parse tree visualizations.
Dan Zheng
2023-06-09
Cache type and effect parameters to HOFs.
Dougal
2023-06-07
Add a vectorization rule for table indexing.
Alexey Radul
2023-06-05
Cache types in atoms and expressions.
Dougal
2023-05-16
Actually code the custom linearization for matmul
Alexey Radul
2023-05-15
Constrain the CHECK pattern more to prevent it from triggering on incidental ...
Alexey Radul
2023-05-15
Implement and test case-of-case optimization in the inliner.
Alexey Radul
2023-05-13
Implement and test case-of-known-constructor optimization in the inliner.
Alexey Radul
2023-04-24
Reorganize primitive ops.
Dougal
2023-04-14
Tweak the error message to say "positional arguments", since that's what it's...
Alexey Radul
2023-04-14
Minor cleanup after record removal patch. We now only use braces for
Alexey Radul
2023-04-12
Remove records.
Dougal
2023-04-12
Coalesce dependent pair contexts in Imp representation.
Dougal
2023-04-11
Revert tiled matmul implementation because it triggers a segfault when runnin...
Alexey Radul
2023-04-08
Start implementing dependent pairs that pack and unpack themselves automatica...
Dougal
2023-04-07
Add blocks to UExpr IR.
Dougal
2023-04-05
An explicit test that we have a syntax for writing lambdas that take implicit...
Alexey Radul
2023-04-04
Run dictionary synthesis on field types and data constructors. Fixes #1268.
Dougal
2023-04-04
Use dot-methods in implementation of Stack
Dougal
2023-04-04
Add "dot methods" (type-namespaced functions) to structs
Dougal
2023-04-01
Project (slice) references using the referent's field names
Dougal
2023-03-31
Use the same name for the type constructor and the data constructor of a struct
Dougal
2023-03-31
Distinguish ADTs and structs internally.
Dougal
2023-03-30
Allow tuples to be projected using `x.0`, `x.1`, etc.
Dougal
2023-03-30
Allow implicit args in type constructors.
Dougal
2023-03-29
Improve "ambiguous type" errors by tracking the purpose of each inference var...
Dougal
2023-03-29
QuickCheck found where my `fixUlp` wasn't rounding to nearest even correctly.
Alexey Radul
2023-03-28
Fix a regression in type inference.
Dougal
2023-03-28
Fix remaining tests except for one bug where transposition generates an expre...
Alexey Radul
2023-03-28
Update instance methods tests to new syntax
Dougal
2023-03-28
Fix a bad merge
Dougal
2023-03-28
Merge branch 'main' into nary-functions-again
Dougal
2023-03-27
Fix some minor test failures
Dougal
2023-03-25
Update OccAnalysisSpec to the new syntax.
Alexey Radul
2023-03-24
Quine tests in tests/ all passing!
Dougal
2023-03-24
More tests and libraries ported to new syntax
Dougal
2023-03-24
Update module tests to the syntax, and improve the error message for fixing a...
Alexey Radul
[next]