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
Age
Commit message (
Expand
)
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