David Allemang
a867631393
add benchmark executable
2022-09-16 11:49:40 -04:00
David Allemang
9ccd85e1eb
use gtest
2022-09-15 12:13:51 -04:00
David Allemang
cdd0e628e1
add gtest
2022-09-15 11:13:43 -04:00
David Allemang
e513572389
add nontrivial tests to solver test
2022-09-15 10:55:10 -04:00
David Allemang
97d19a4600
simplify idem test
2022-09-15 10:54:55 -04:00
David Allemang
3a7b747357
update speed test timeouts
2022-09-15 08:20:51 -04:00
David Allemang
687c72ea77
correctly type Cosets methods
2022-09-14 21:59:25 -04:00
David Allemang
89c216dfe4
replace Rel with tuple
2022-09-14 21:37:34 -04:00
David Allemang
27a3231cfe
Make Row struct smaller with bit fields.
2022-09-14 21:28:58 -04:00
David Allemang
73c6d800cc
Use idem instead of gnr<0
2022-09-14 21:28:58 -04:00
David Allemang
c815ea3152
Use free instead of lst_idx=-1
2022-09-14 21:28:58 -04:00
David Allemang
4347f1f9ec
Correctly typed cosets/indexes
...
Coset type is now `unsigned int`. Half the size as before; speeds up malloc.
Index type is now `size_t` for correctness. More expressive and ___might___ speed up array lookup?? Difference seems negligible since we aren't allocating tons and tons of those.
2022-09-14 21:28:58 -04:00
David Allemang
c346817743
lst_idx and lst_vals. more comments.
2022-09-14 21:28:58 -04:00
David Allemang
fbad368030
row-major rel_tables
2022-09-14 21:28:49 -04:00
David Allemang
d67aab4d43
std::queue facts is faster
2022-09-14 21:28:43 -04:00
David Allemang
5dc9bb3dd6
add comments to tc::solve
2022-09-14 21:28:43 -04:00
David Allemang
34db72ba8e
AoS relation tables
2022-09-14 09:41:09 -04:00
David Allemang
ca47291f77
Add benchmark tests
2022-09-13 23:49:04 -04:00
David Allemang
c3e3043912
convert Group::solve to tc::solve function
2022-09-13 23:00:05 -04:00
David Allemang
576e277d41
fix pair_map
2022-09-13 23:00:05 -04:00
David Allemang
cd435dcf54
Improve tests
2022-09-13 23:00:05 -04:00
David Allemang
c47c6262c0
Remove Group::name
2022-09-13 21:34:30 -04:00
David Allemang
f606ea3b4b
Test solver
2022-09-13 14:50:07 -04:00
David Allemang
35ea10b6ff
tc::pair_map
2022-09-13 13:38:34 -04:00
David Allemang
88f1c5dbf4
WIP: Oversimplify reltables
2022-02-26 00:13:39 -05:00
David Allemang
2d2feb3256
WIP: Make tc::Group header-only
...
(except for tc::Group::subgroup, since it needs full definition of tc::Group _and_ tc::SubGroup)
2022-02-24 17:49:39 -05:00
David Allemang
63eb9e47b4
WIP: Copy tc logic from toddcox-faster
2022-02-23 18:36:51 -05:00