 Ian Goldberg
|
fb4a16b6a0
Touch up a couple of comments
|
il y a 2 ans |
|
Ian Goldberg
|
29e85669b3
Have run_experiment use the right number of cores for each party
|
il y a 2 ans |
 sshsshy
|
759c96f05a
Addressed all the feedback. Converted AVL_OPT_ON to a runtime flag
|
il y a 2 ans |
|
Ian Goldberg
|
7ed4d55baf
A new unit test "read" that just does sequential reads
|
il y a 2 ans |
|
Ian Goldberg
|
5cc789da7d
Have run-experiment capture stderr as well as stdout
|
il y a 2 ans |
|
Ian Goldberg
|
8aeacca011
Include /usr/bin/time in the docker
|
il y a 2 ans |
|
Ian Goldberg
|
d90cd7a38f
Allow docker scripts to be run from other directories
|
il y a 2 ans |
|
sshsshy
|
ddd061f341
Merge branch 'main' into ssasy/avl
|
il y a 2 ans |
|
sshsshy
|
8cdbada147
Addressed feedback. Commit midway through converting opt_flag into a command line argument to merge main first for optional oidx.
|
il y a 2 ans |
|
Ian Goldberg
|
6b222f9efc
Correct a comment
|
il y a 2 ans |
|
Ian Goldberg
|
3749f7b680
Indentation
|
il y a 2 ans |
|
Ian Goldberg
|
cf36f72dc4
If run_sanity is 1, actually check that the extracted values from the heap come out in non-decreasing order
|
il y a 2 ans |
|
Ian Goldberg
|
746abdf8d5
Touch up a comment
|
il y a 2 ans |
 avadapal
|
c84ab8e7cd
lt^eq ---> lt in explicit index heapproperty restored
|
il y a 2 ans |
|
avadapal
|
b70710fcf2
indentation changes
|
il y a 2 ans |
|
avadapal
|
9836affa84
changing some lteq to lt
|
il y a 2 ans |
|
avadapal
|
b7364a786f
changing lteq to lt
|
il y a 2 ans |
|
avadapal
|
4d6348fd92
reconstructing the minimum value and printing them when runsanity=1
|
il y a 2 ans |
|
Ian Goldberg
|
bf69fe3fa5
Put parallel updates in insert_optimized and restore_heap_property_at_explicit_index into coroutines
|
il y a 2 ans |
|
Ian Goldberg
|
37c2bca08e
Use "-t 0" with "docker stop"
|
il y a 2 ans |
|
Ian Goldberg
|
b188a1daca
Indentation touchups
|
il y a 2 ans |
|
Ian Goldberg
|
d718958fe5
Some comment touchups
|
il y a 2 ans |
|
Ian Goldberg
|
03b6562737
XOR with !tio.player() instead of tio.player()
|
il y a 2 ans |
|
Ian Goldberg
|
ccd78ec898
Clarify "smaller index" -> "index of the smaller child" in comments
|
il y a 2 ans |
|
Ian Goldberg
|
1270ae19f1
Fix two off-by-one errors in MinHeap::print_heap()
|
il y a 2 ans |
|
Ian Goldberg
|
54050bfc1e
Have Shape::reconstruct reconstruct just the Shape and not the whole database
|
il y a 2 ans |
|
Ian Goldberg
|
e1ea44d724
Typo in comment
|
il y a 2 ans |
|
Ian Goldberg
|
2d28fb2243
Fix some indentation
|
il y a 2 ans |
|
Ian Goldberg
|
240beeb078
Touch up a comment
|
il y a 2 ans |
|
Ian Goldberg
|
baddbdd512
Only run verify_heap_property on each extract if run_sanity is 1
|
il y a 2 ans |
