summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
* Differentiate ReplicateTom Smeding2024-10-22
* TestsTom Smeding2024-10-21
* WIP testing neuralTom Smeding2024-10-18
* We can differentiate idTom Smeding2024-10-15
* More towards test suiteTom Smeding2024-10-14
* Towards a test suiteTom Smeding2024-10-07
* Reverse-by-forward, and checking neural (it's wrong)Tom Smeding2024-10-01
* Dual-numbers forward ADTom Smeding2024-09-28
* The size of the empty shape is 1, not 0Tom Smeding2024-09-26
* Test neuralTom Smeding2024-09-25
* Add some missing casesTom Smeding2024-09-22
* Interpreter typechecks, at the cost of compositionality of RepAcTom Smeding2024-09-22
* StuffTom Smeding2024-09-22
* Some hackingTom Smeding2024-09-22
* A little interpreter accum progressTom Smeding2024-09-16
* WIP Accum stuffTom Smeding2024-09-15
* WIP better zero/plus, fixing Accum (...)Tom Smeding2024-09-13
* Towards neuralTom Smeding2024-09-12
* Interpreter, some operationsTom Smeding2024-09-12
* Finish Accum implementationTom Smeding2024-09-11
* More WIP interpreterTom Smeding2024-09-11
* WIP interpreterTom Smeding2024-09-06
* Named source languageTom Smeding2024-09-06
* WIP better frontendTom Smeding2024-09-05
* A simple embedded frontendTom Smeding2024-09-05
* Simple Build1 seems to workTom Smeding2024-09-05
* Generic accumulatorsTom Smeding2024-09-05
* WIPTom Smeding2024-09-04
* Some workTom Smeding2024-09-03
* Inching towards drev of buildTom Smeding2024-09-03
* autoWeak: Handle closed source environmentsTom Smeding2024-09-03
* accumPromoteTom Smeding2024-09-02
* WSwap needs no env singletonTom Smeding2024-09-02
* Code cleanup, and OverloadedLabels for LSegTom Smeding2024-09-02
* Autoweak!Tom Smeding2024-09-02
* WIP autoWeakTom Smeding2024-09-02
* WIP Build1Tom Smeding2024-08-30
* StyleTom Smeding2024-08-30
* Implement weakenExpr using substTom Smeding2024-08-30
* Migrate to accumulators (mostly removing EVM code)Tom Smeding2024-08-30
* rules: Attempt at merge/accum parameterised transformationevmTom Smeding2024-08-29
* Generalise freezeRet a little bitTom Smeding2024-08-29
* Type up some of the rules in LaTeXTom Smeding2024-08-29
* Add missing importTom Smeding2024-02-15
* Ramblings in CompileTom Smeding2024-01-27
* Move some definitions from AST to DataTom Smeding2024-01-27
* Less default caseTom Smeding2024-01-27
* Linear-time tape reconstructionTom Smeding2024-01-26
* Embrace the PartialTypeSignaturesTom Smeding2024-01-25
* Finish rewriteTom Smeding2024-01-25
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-04-01 15:03:18 +0200