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
...
*
WIP EOneHot
Tom Smeding
2024-11-04
*
simplifyFix
Tom Smeding
2024-10-29
*
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 build
Tom Smeding
2024-10-27
*
Better inline syntax for Language
Tom Smeding
2024-10-27
*
Can differentiate 'neural' now
Tom Smeding
2024-10-26
*
Also test primal results
Tom Smeding
2024-10-26
*
Fix EIdx derivative
Tom Smeding
2024-10-26
*
Show accumulator as dummy string, not error
Tom Smeding
2024-10-26
*
Fix IIxNil warning
Tom Smeding
2024-10-26
*
Make interpreter debug printing conditional
Tom Smeding
2024-10-26
*
Fix {} usage in pretty-printing of ELet
Tom Smeding
2024-10-26
*
Debugging
Tom Smeding
2024-10-26
*
Make test suite a little friendlier to debugging
Tom Smeding
2024-10-22
*
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
*
WIP testing neural
Tom Smeding
2024-10-18
*
We can differentiate id
Tom Smeding
2024-10-15
*
More towards test suite
Tom Smeding
2024-10-14
*
Towards a test suite
Tom Smeding
2024-10-07
*
Reverse-by-forward, and checking neural (it's wrong)
Tom Smeding
2024-10-01
*
Dual-numbers forward AD
Tom Smeding
2024-09-28
*
The size of the empty shape is 1, not 0
Tom Smeding
2024-09-26
*
Test neural
Tom Smeding
2024-09-25
*
Add some missing cases
Tom Smeding
2024-09-22
*
Interpreter typechecks, at the cost of compositionality of RepAc
Tom Smeding
2024-09-22
*
Stuff
Tom Smeding
2024-09-22
*
Some hacking
Tom Smeding
2024-09-22
*
A little interpreter accum progress
Tom Smeding
2024-09-16
*
WIP Accum stuff
Tom Smeding
2024-09-15
*
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
*
Finish Accum implementation
Tom Smeding
2024-09-11
*
More WIP interpreter
Tom Smeding
2024-09-11
*
WIP interpreter
Tom Smeding
2024-09-06
*
Named source language
Tom Smeding
2024-09-06
*
WIP better frontend
Tom Smeding
2024-09-05
*
A simple embedded frontend
Tom Smeding
2024-09-05
*
Simple Build1 seems to work
Tom Smeding
2024-09-05
*
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
*
autoWeak: Handle closed source environments
Tom Smeding
2024-09-03
*
accumPromote
Tom Smeding
2024-09-02
*
WSwap needs no env singleton
Tom Smeding
2024-09-02
[prev]
[next]