index
:
marvinborner/BLoC
main
:sparkles: File format and optimizer for programs encoded in binary lambda calculus
Marvin
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
main
Configurable minimum tree size
Marvin Borner
14 months
Age
Commit message
Author
2024-01-21
Configurable minimum tree size
HEAD
main
Marvin Borner
2024-01-18
BLoCade
Marvin Borner
2024-01-18
Unshared output for unsuitable terms
Marvin Borner
2023-05-26
Switched to xxHash from murmur3
Marvin Borner
2023-05-23
Made stdout default instead of `out` file
Marvin Borner
2023-05-22
Changed order of abstraction and application encodings
Marvin Borner
2023-05-21
It WAS a hash collision after all!
Marvin Borner
2023-05-21
Fixed BIT_AT implementation
Marvin Borner
2023-05-21
Generalized hash function
Marvin Borner
2023-05-21
Applied variadic index length technique
Marvin Borner
2023-05-21
Added additional optimizer
Marvin Borner
2023-05-20
Added testing flag
Marvin Borner
2023-05-17
General improvements
Marvin Borner
2023-04-21
Improved readme
Marvin Borner
2023-04-17
Added logging and verbosity flag
Marvin Borner
2023-04-14
Added test infrastructure
Marvin Borner
2023-04-14
pqueue lib and fixes
Marvin Borner
2023-04-13
Options and fixes
Marvin Borner
2023-04-13
Basically working
Marvin Borner
2023-04-11
Better idea
Marvin Borner
2023-04-11
Bootstrapping
Marvin Borner
2023-04-11
Improved spec and added example
Marvin Borner
2023-04-11
Initial idea
Marvin Borner
Clone
https://git.marvinborner.de/marvinborner/BLoC