 Ian Goldberg
|
37389169ef
Output the right thing if the heap property fails to verify
|
hace 2 años |
|
Ian Goldberg
|
9585a4a841
Remove trailing whitespace (including CRs)
|
hace 2 años |
|
Ian Goldberg
|
d8b2301d7d
Indentation
|
hace 2 años |
|
Ian Goldberg
|
9dcf04fe69
Remove a commented-out ifdef
|
hace 2 años |
|
Ian Goldberg
|
0e0602e818
Coroutinize updates in optimized AVL insert
|
hace 2 años |
 avadapal
|
60b08db2b4
Merge branch 'avadapal/heaps' of git-crysp.uwaterloo.ca:duoram/prac into avadapal/heaps
|
hace 2 años |
|
avadapal
|
8c890b3a1d
the bug in restore_heap_property_optimized corrected
|
hace 2 años |
|
Ian Goldberg
|
641820f96a
The -a flag to prac also implies preprocessing
|
hace 2 años |
|
Ian Goldberg
|
48e1fcda72
Indentation touchups
|
hace 2 años |
|
Ian Goldberg
|
3bf904d7d4
Have the AVL constructor default to optimized = true
|
hace 2 años |
|
Ian Goldberg
|
c59a9d5be7
Set OPTIMIZED in a member initializer list instead of explicitly
|
hace 2 años |
|
Ian Goldberg
|
fb4a16b6a0
Touch up a couple of comments
|
hace 2 años |
|
Ian Goldberg
|
29e85669b3
Have run_experiment use the right number of cores for each party
|
hace 2 años |
 sshsshy
|
759c96f05a
Addressed all the feedback. Converted AVL_OPT_ON to a runtime flag
|
hace 2 años |
|
Ian Goldberg
|
7ed4d55baf
A new unit test "read" that just does sequential reads
|
hace 2 años |
|
Ian Goldberg
|
5cc789da7d
Have run-experiment capture stderr as well as stdout
|
hace 2 años |
|
Ian Goldberg
|
8aeacca011
Include /usr/bin/time in the docker
|
hace 2 años |
|
Ian Goldberg
|
d90cd7a38f
Allow docker scripts to be run from other directories
|
hace 2 años |
|
sshsshy
|
ddd061f341
Merge branch 'main' into ssasy/avl
|
hace 2 años |
|
sshsshy
|
8cdbada147
Addressed feedback. Commit midway through converting opt_flag into a command line argument to merge main first for optional oidx.
|
hace 2 años |
|
Ian Goldberg
|
6b222f9efc
Correct a comment
|
hace 2 años |
|
Ian Goldberg
|
3749f7b680
Indentation
|
hace 2 años |
|
Ian Goldberg
|
cf36f72dc4
If run_sanity is 1, actually check that the extracted values from the heap come out in non-decreasing order
|
hace 2 años |
|
Ian Goldberg
|
746abdf8d5
Touch up a comment
|
hace 2 años |
|
avadapal
|
c84ab8e7cd
lt^eq ---> lt in explicit index heapproperty restored
|
hace 2 años |
|
avadapal
|
b70710fcf2
indentation changes
|
hace 2 años |
|
avadapal
|
9836affa84
changing some lteq to lt
|
hace 2 años |
|
avadapal
|
b7364a786f
changing lteq to lt
|
hace 2 años |
|
avadapal
|
4d6348fd92
reconstructing the minimum value and printing them when runsanity=1
|
hace 2 años |
|
Ian Goldberg
|
bf69fe3fa5
Put parallel updates in insert_optimized and restore_heap_property_at_explicit_index into coroutines
|
hace 2 años |
