summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2023-11-20Consistently use the word "task" to refer to functions that a WorkAlexey Radul
2023-11-20Use size_t instead of int for sizes and trip counts.Alexey Radul
2023-11-20Merge pull request #1340 from axch/work-stealing-3Alexey Radul
2023-11-17Add lexeme IDs during parsing rather than computing them from source spans la...Dougal
2023-11-17Better comments and variable names.Alexey Radul
2023-11-17Merge pull request #1339 from axch/work-stealing-2Alexey Radul
2023-11-17Test on a larger program that also exercises the loop execution code path.Alexey Radul
2023-11-17Draft a complete work-stealing API for Dex code-generation to work against,Alexey Radul
2023-11-17Draft a runtime function for executing Dex loops with a tree-pattern for stea...Alexey Radul
2023-11-16Add line numbers to live view.Dougal
2023-11-16Fix some unimplemented casesDougal
2023-11-16Default to Nat/Int when inferring literalsDougal
2023-11-15Improve live view performanceDougal
2023-11-15Rewrite the live view system to be explicitly incremental by dealing in diffs.Dougal
2023-11-14Merge pull request #1336 from vilchy/fix-complex-sqrtAlexey Radul
2023-11-09Add some missing linearity annotations.Dougal
2023-11-09Fix autodiff using explicit linearity annotations and handle projections effi...Dougal
2023-11-09Put peephole optimizations in one place and use them from Builder.Dougal
2023-11-09Rename `emitExpr` to `emit`Dougal
2023-11-08Fill in some missing cases in cheap reductionDougal
2023-11-08Fix a couple of bugsDougal
2023-11-08Embrace the `Stuck` vs `Con` distinction everywhere.Dougal
2023-10-23Add a `StuckTabApp` case to `Stuck`Dougal
2023-10-22Factor out the way Simplify handles ACase.Dougal
2023-10-19Make `Block` just a case of `Expr` instead of a separate type.Dougal
2023-10-17Move `Var` and `ProjectElt` into a separate data type, `Stuck`.Dougal
2023-09-25Defang type inference.Dougal
2023-09-15Fix sqrt for complex numbers when x.im == 0Artur Wilniewczyc
2023-08-16Merge SolverM and InfererM as part of an effort to simplify Inference.Dougal
2023-08-01Merge pull request #1334 from google-research/primitive-name-map-eaxch
2023-07-31A rationale for why NameMapE is a reasonable data structure as typed.Alexey Radul
2023-07-31Eliminate the separate implementation of NameMap, as it's just NameMapE appli...Alexey Radul
2023-07-31Reimplement NameMapE in terms of RawNameMap directly.Alexey Radul
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-14Better names for combinators that manipulate the state of OCCM actions.Alexey Radul
2023-07-14Teach occurrence analysis to hoist using the free variables it already comput...Alexey Radul
2023-07-13Add the BFGS example to our performance benchmarks.Alexey Radul
2023-07-13Extend the BFGS example to test the larger logistic regression loss.Alexey Radul
2023-07-11Update SCC annotations so that compiler profiling reports costs by pass sensi...Alexey Radul
2023-07-07Merge pull request #1316 from axch/vectorize-user-index-setsaxch
2023-07-07Merge pull request #1322 from google-research/type-checking-refactorDougal Maclaurin
2023-07-06Update type checker in anticipation of decls-in-types.Dougal
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-07-05Generalize the vectorizer to arbitrary user-defined index setsAlexey Radul
2023-07-05Make new stack size arithmetic match the old one exactly.David Duvenaud
2023-07-05Replace floating point sizing formula in stack with integer operations.David Duvenaud
2023-06-30Tweak loop order and indexing syntax to get the vectorizer to succeed on the ...Alexey Radul
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2024-10-22 20:46:29 +0000