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
/
AST
Commit message (
Expand
)
Author
Age
*
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
*
Pretty-printer that supports extension fields
Tom Smeding
2025-01-28
*
Add ext field to remaining AST constructors
Tom Smeding
2025-01-27
*
UnMonoid
Tom Smeding
2024-12-06
*
WIP UnMonoid (to be used for compiling to C)
Tom Smeding
2024-12-06
*
Working argument accum mode (...)
Tom Smeding
2024-11-26
*
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
*
WIP custom derivatives
Tom Smeding
2024-11-08
*
Remove build1
Tom Smeding
2024-11-07
*
WIP EOneHot
Tom Smeding
2024-11-04
*
WIP preserve only subset of D0 bindings in dual (...)
Tom Smeding
2024-10-27
*
Fix {} usage in pretty-printing of ELet
Tom Smeding
2024-10-26
*
Debugging
Tom Smeding
2024-10-26
*
Fix interpreter bug
Tom Smeding
2024-10-22
*
Differentiate Replicate
Tom Smeding
2024-10-22
*
Tests
Tom Smeding
2024-10-21
*
Reverse-by-forward, and checking neural (it's wrong)
Tom Smeding
2024-10-01
*
Add some missing cases
Tom Smeding
2024-09-22
*
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
*
A simple embedded frontend
Tom Smeding
2024-09-05
*
Generic accumulators
Tom Smeding
2024-09-05
*
WIP
Tom Smeding
2024-09-04
*
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
*
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
*
Style
Tom Smeding
2024-08-30
*
Migrate to accumulators (mostly removing EVM code)
Tom Smeding
2024-08-30
*
Add missing import
Tom Smeding
2024-02-15
*
Linear-time tape reconstruction
Tom Smeding
2024-01-26
*
Finish rewrite
Tom Smeding
2024-01-25
*
Getting further
Tom Smeding
2024-01-25
*
WIP rewrite code transform typing
Tom Smeding
2024-01-24
*
Pretty print let bindings in do notation
Tom Smeding
2023-09-21
*
Examples with conditionals
Tom Smeding
2023-09-20
*
Stuff
Tom Smeding
2023-09-19
*
Pretty print
Tom Smeding
2023-09-16
*
CHAD case
Tom Smeding
2023-09-16