index
:
chad-fast
evm
hashable-gadt
master
test-catch-exc
[no description]
git daemon user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
CHAD.hs
Commit message (
Expand
)
Author
Age
*
Add ext field to remaining AST constructors
Tom Smeding
2025-01-27
*
WIP UnMonoid (to be used for compiling to C)
Tom Smeding
2024-12-06
*
Fix indentation
Tom Smeding
2024-12-06
*
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
*
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
*
Make EBuild derivative aware of zero cotangent arrays
Tom Smeding
2024-11-11
*
Test GMM; it fails
Tom Smeding
2024-11-10
*
Complete GMM implementation
Tom Smeding
2024-11-10
*
Some more primitive operators
Tom Smeding
2024-11-09
*
WIP maximum/minimum
Tom Smeding
2024-11-08
*
Custom derivatives
Tom Smeding
2024-11-08
*
Remove build1
Tom Smeding
2024-11-07
*
Benchmark
Tom Smeding
2024-11-07
*
Generate EOneHot in D[EIdx]
Tom Smeding
2024-11-05
*
WIP EOneHot
Tom Smeding
2024-11-04
*
Store only on tape what's used in the dual
Tom Smeding
2024-10-29
*
WIP preserve only subset of D0 bindings in dual (...)
Tom Smeding
2024-10-27
*
Fix EIdx derivative
Tom Smeding
2024-10-26
*
Debugging
Tom Smeding
2024-10-26
*
Fix interpreter bug
Tom Smeding
2024-10-22
*
Less warnings
Tom Smeding
2024-10-22
*
Differentiate Replicate
Tom Smeding
2024-10-22
*
Tests
Tom Smeding
2024-10-21
*
Towards a test suite
Tom Smeding
2024-10-07
*
Reverse-by-forward, and checking neural (it's wrong)
Tom Smeding
2024-10-01
*
Test neural
Tom Smeding
2024-09-25
*
WIP better zero/plus, fixing Accum (...)
Tom Smeding
2024-09-13
*
Towards neural
Tom Smeding
2024-09-12
*
Interpreter, some operations
Tom Smeding
2024-09-12
*
Generic accumulators
Tom Smeding
2024-09-05
*
WIP
Tom Smeding
2024-09-04
*
Some work
Tom Smeding
2024-09-03
*
Inching towards drev of build
Tom Smeding
2024-09-03
*
accumPromote
Tom Smeding
2024-09-02
*
Code cleanup, and OverloadedLabels for LSeg
Tom Smeding
2024-09-02
*
Autoweak!
Tom Smeding
2024-09-02
*
WIP autoWeak
Tom Smeding
2024-09-02
*
WIP Build1
Tom Smeding
2024-08-30
*
Migrate to accumulators (mostly removing EVM code)
Tom Smeding
2024-08-30
*
Generalise freezeRet a little bit
Tom Smeding
2024-08-29
*
Less default case
Tom Smeding
2024-01-27
*
Linear-time tape reconstruction
Tom Smeding
2024-01-26
*
Embrace the PartialTypeSignatures
Tom Smeding
2024-01-25
*
Finish rewrite
Tom Smeding
2024-01-25
*
Getting further
Tom Smeding
2024-01-25
*
More stuff
Tom Smeding
2024-01-25
[next]