summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
* pretty: Print x value for (!)Tom Smeding2025-03-07
|
* idana: Track array shapesTom Smeding2025-03-07
|
* pprintExprTom Smeding2025-03-07
|
* Compile: Implement EWith (TODO EAccum)Tom Smeding2025-03-05
| | | | That's going to be a mess
* Compile: Better names for struct fieldsTom Smeding2025-03-05
|
* Add regression test for HEAD^Tom Smeding2025-03-04
|
* Fix big oops bug in simplifyTom Smeding2025-03-04
| | | | | The dangers of writing a simplifier for an effectful language. I thought this was easy, but apparently it's all too simple to trip up...
* Add some simplify flags infrastructure for debuggingTom Smeding2025-03-04
|
* Language: Specify type param order on let_Tom Smeding2025-03-04
|
* Compile: Fix EErrorTom Smeding2025-03-04
|
* Fix ppParen in pretty of EWithTom Smeding2025-03-04
|
* Compile: maximum1i and minimum1iTom Smeding2025-03-04
|
* Compile: Fix right-precedence of (*)Tom Smeding2025-03-04
|
* Compile: replicate1iTom Smeding2025-03-03
|
* WIP replicate1iTom Smeding2025-03-03
|
* test: Little cleanupTom Smeding2025-03-03
|
* Run test primals with Compile (not all succeed yet)Tom Smeding2025-03-03
|
* Compile: sum1inner, unit, idx0Tom Smeding2025-03-03
|
* Compile: Support EShape and EBuildTom Smeding2025-03-02
|
* Compile.Exec: Show number of loaded kernels in debug printsTom Smeding2025-03-02
|
* Compile: index into arraysTom Smeding2025-03-02
|
* compile: Compile constant array literalsTom Smeding2025-03-02
|
* compile: WIP reference-counted arraysTom Smeding2025-03-02
|
* Compile: More precise monads in genStructsTom Smeding2025-03-01
|
* simplify: Halfway beta-reduce product projections in effectful contextTom Smeding2025-03-01
|
* test: Pull term_mulmatvec out into top-levelTom Smeding2025-03-01
|
* Fix some pretty-printingTom Smeding2025-03-01
|
* test: Simplify and make it a bit fasterTom Smeding2025-02-28
|
* test: Use tastyTom Smeding2025-02-28
|
* Compile: some cleanupTom Smeding2025-02-28
|
* Remove stupid old nonworking cuda stubTom Smeding2025-02-28
|
* Compile to C and load using dlopenTom Smeding2025-02-28
|
* Add .ccls-cache to .gitignoreTom Smeding2025-02-25
|
* Comment unhandled cases instead of getting 1e6 warningsTom Smeding2025-02-25
|
* UnMonoid: Properly recurseTom Smeding2025-02-25
|
* Pretty: Allow colouring exts (currently not)Tom Smeding2025-02-25
|
* Compile: Emit structs in proper orderTom Smeding2025-02-25
|
* Purge Example.FormatTom Smeding2025-01-28
|
* Pretty-printer that supports extension fieldsTom Smeding2025-01-28
|
* Complete identity analysisTom Smeding2025-01-27
|
* Add ext field to remaining AST constructorsTom Smeding2025-01-27
|
* WIP identity analysisTom Smeding2025-01-20
|
* Improve Compile a little (still only scalars)Tom Smeding2024-12-12
|
* Somewhat working CompileTom Smeding2024-12-12
|
* Add sparse testTom Smeding2024-12-12
|
* Start WIP compile-to-CTom Smeding2024-12-06
|
* Rename Compile -> CompileCuTom Smeding2024-12-06
|
* UnMonoidTom Smeding2024-12-06
|
* Simplify: Reduce plus of literalsTom Smeding2024-12-06
|
* Simplify: Some forgotten 'acted'Tom Smeding2024-12-06
|
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-03-30 11:15:21 +0200