index
:
chad-fast
evm
hashable-gadt
master
test-catch-exc
test-compile-chad
[no description]
git daemon user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
Some non-working code lol
hashable-gadt
Tom Smeding
2025-02-27
*
Add .ccls-cache to .gitignore
Tom Smeding
2025-02-25
*
Comment unhandled cases instead of getting 1e6 warnings
Tom Smeding
2025-02-25
*
UnMonoid: Properly recurse
Tom Smeding
2025-02-25
*
Pretty: Allow colouring exts (currently not)
Tom Smeding
2025-02-25
*
Compile: Emit structs in proper order
Tom Smeding
2025-02-25
*
Purge Example.Format
Tom Smeding
2025-01-28
*
Pretty-printer that supports extension fields
Tom Smeding
2025-01-28
*
Complete identity analysis
Tom Smeding
2025-01-27
*
Add ext field to remaining AST constructors
Tom Smeding
2025-01-27
*
WIP identity analysis
Tom Smeding
2025-01-20
*
Improve Compile a little (still only scalars)
Tom Smeding
2024-12-12
*
Somewhat working Compile
Tom Smeding
2024-12-12
*
Add sparse test
Tom Smeding
2024-12-12
*
Start WIP compile-to-C
Tom Smeding
2024-12-06
*
Rename Compile -> CompileCu
Tom Smeding
2024-12-06
*
UnMonoid
Tom Smeding
2024-12-06
*
Simplify: Reduce plus of literals
Tom Smeding
2024-12-06
*
Simplify: Some forgotten 'acted'
Tom Smeding
2024-12-06
*
WIP UnMonoid (to be used for compiling to C)
Tom Smeding
2024-12-06
*
Fix indentation
Tom Smeding
2024-12-06
*
Working argument accum mode (...)
Tom Smeding
2024-11-26
*
WIP accum top-level args
Tom Smeding
2024-11-26
*
Prepare for introducing top-level args in accum mod
Tom Smeding
2024-11-23
*
Use accum storage for Case too
Tom Smeding
2024-11-23
*
Benchmark with accum-mode bound variables
Tom Smeding
2024-11-23
*
drevScoped returns a data type, not CPS
Tom Smeding
2024-11-23
*
Factor let storage-dependent scoping logic into separate function
Tom Smeding
2024-11-22
*
Configuration for CHAD
Tom Smeding
2024-11-14
*
Benchmark GMM
Tom Smeding
2024-11-14
*
Remove warnings
Tom Smeding
2024-11-13
*
Make EBuild derivative aware of zero cotangent arrays
Tom Smeding
2024-11-11
*
Test gmm
Tom Smeding
2024-11-10
*
Fix forward derivative of 'exp'
Tom Smeding
2024-11-10
*
Test GMM; it fails
Tom Smeding
2024-11-10
*
Fix bug in simplifier (effects are hard)
Tom Smeding
2024-11-10
*
Complete GMM implementation
Tom Smeding
2024-11-10
*
Most of GMM
Tom Smeding
2024-11-09
*
Cleanup, more Language operations
Tom Smeding
2024-11-09
*
Add Custom to Language
Tom Smeding
2024-11-09
*
Some more primitive operators
Tom Smeding
2024-11-09
*
Maximum/minimum
Tom Smeding
2024-11-09
*
WIP maximum/minimum
Tom Smeding
2024-11-08
*
Custom derivatives
Tom Smeding
2024-11-08
*
WIP custom derivatives
Tom Smeding
2024-11-08
*
Remove build1
Tom Smeding
2024-11-07
*
Benchmark
Tom Smeding
2024-11-07
*
Some simplification rules
Tom Smeding
2024-11-06
*
Generate EOneHot in D[EIdx]
Tom Smeding
2024-11-05
*
Support EOneHot
Tom Smeding
2024-11-05
[next]