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