ash-project/ash
1
0
Fork 0
mirror of https://github.com/ash-project/ash.git synced 2024-09-20 05:23:03 +12:00
Code Issues Projects Releases Packages Wiki Activity
3207 commits 93 branches 718 tags 29 MiB
Commit graph

6 commits

Author SHA1 Message Date
Zach Daniel
944f90eeb4 chore: update benchmark, benchmark shows a bit faster now 2024-01-19 10:50:10 -05:00
Zach Daniel
3db822d775 improvement: optimize embedded resource creation 2024-01-19 09:58:54 -05:00
Zach Daniel
b3365f8d04 chore: add benchmark for simple creates 2023-12-15 15:39:37 -05:00
Zach Daniel
665a9fb5c4 improvement: optimize sat solving 
1. only convert to CNF once
2. group predicates that only appear in specific combinations to limit amount of variables provided to the sat solver

Number 2 above does technically slow down all cases a bit, but the optimization is really important when it matters. And cases that don't need this optimization still happen on the order microseconds anyway.
 2022-11-15 01:45:55 -05:00
Zach Daniel
2228617e8f
fix: remove benchee, ensure mnesia always uses transactions 2020-06-30 12:21:08 -04:00
Zach Daniel
227532db29
WIP 2020-05-27 00:29:54 -04:00