Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-01-21 | Configurable minimum tree sizeHEADmain | Marvin Borner | |
For cool optimizer in blocade, hint hint :) | |||
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 | |
This gives some minor space improvements as almost all abstractions imply a following application but not so much with applications. At least by case-analysis :) | |||
2023-05-21 | It WAS a hash collision after all! | Marvin Borner | |
I don't know what I tested before lol but okay great! | |||
2023-05-21 | Fixed BIT_AT implementation | Marvin Borner | |
2023-05-21 | Generalized hash function | Marvin Borner | |
I also tried murmur64 but I don't see any reason for actually switching | |||
2023-05-21 | Applied variadic index length technique | Marvin Borner | |
2023-05-21 | Added additional optimizer | Marvin Borner | |
This will be useful for variadic index lengths | |||
2023-05-20 | Added testing flag | Marvin Borner | |
still not able to find the 8cc bug but idc because I tested it with many programs and it probably won't be an issue for now | |||
2023-05-17 | General improvements | Marvin Borner | |
(nothing special, mainly cleanup and docs) | |||
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 | |
this makes everything dramatically faster | |||
2023-04-13 | Options and fixes | Marvin Borner | |
2023-04-13 | Basically working | Marvin Borner | |
many memory leaks, will fix kthxbye | |||
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 | |