aboutsummaryrefslogtreecommitdiffhomepage
path: root/docs
AgeCommit message (Collapse)Author
2024-01-19BLoC/BLoCade optimizer integrationMarvin Borner
In many cases, shared-by-abstraction BLC is more performant (and notably smaller) than the current output where every term just gets substituted (and potentially duplicated) directly. BLoC in combination with BLoCade's shared BLC target optimizes this automatically by trying to find the terms that would most benefit from deduplication and abstracting them respectively. Paging @tromp since we talked about this. This commit also introduces better argument parsing using optparse-applicative.
2023-12-15Minor documentation fixesMarvin Borner
2023-11-30Minor highlighting fixesMarvin Borner
2023-11-16Basic arithmetic is hardMarvin Borner
2023-11-13Bumped max-width percentageMarvin Borner
2023-11-11Added basic syntax highlighting to wikiMarvin Borner
2023-11-11Minor wiki fixesMarvin Borner
css and blog
2023-11-06Improved wiki and reduced readmeMarvin Borner
2023-11-06Started creating new docs with wikiMarvin Borner
2023-05-31SEOMarvin Borner
2023-04-08Added links to articlesMarvin Borner
Feel free to add your own
2023-03-07Fixed unsafe randomness and optimizationMarvin Borner
Enabling optimization greatly improved reduction times (obviously). Will investigate further optimizations in the future.
2023-02-28Fixed weird sorting on some linux systemsMarvin Borner
2023-02-26Docs improvementsMarvin Borner
2023-02-25Added font and fixed responsivenessMarvin Borner
2023-02-25Added documentation/websiteMarvin Borner