Ian Goldberg
|
62d835388b
Merge branch 'avadapal/heaps'
|
преди 7 месеца |
Ian Goldberg
|
445f0f7103
make depend
|
преди 7 месеца |
Ian Goldberg
|
67bd8921a8
Indentation
|
преди 7 месеца |
Ian Goldberg
|
c1463bd6f6
Fix for bug in unoptimized extracts when two children of a node are equal
|
преди 7 месеца |
Ian Goldberg
|
37389169ef
Output the right thing if the heap property fails to verify
|
преди 7 месеца |
Ian Goldberg
|
9585a4a841
Remove trailing whitespace (including CRs)
|
преди 7 месеца |
Ian Goldberg
|
d8b2301d7d
Indentation
|
преди 7 месеца |
Ian Goldberg
|
9dcf04fe69
Remove a commented-out ifdef
|
преди 7 месеца |
Ian Goldberg
|
0e0602e818
Coroutinize updates in optimized AVL insert
|
преди 7 месеца |
avadapal
|
60b08db2b4
Merge branch 'avadapal/heaps' of git-crysp.uwaterloo.ca:duoram/prac into avadapal/heaps
|
преди 7 месеца |
avadapal
|
8c890b3a1d
the bug in restore_heap_property_optimized corrected
|
преди 7 месеца |
Ian Goldberg
|
641820f96a
The -a flag to prac also implies preprocessing
|
преди 7 месеца |
Ian Goldberg
|
48e1fcda72
Indentation touchups
|
преди 7 месеца |
Ian Goldberg
|
3bf904d7d4
Have the AVL constructor default to optimized = true
|
преди 7 месеца |
Ian Goldberg
|
c59a9d5be7
Set OPTIMIZED in a member initializer list instead of explicitly
|
преди 7 месеца |
Ian Goldberg
|
fb4a16b6a0
Touch up a couple of comments
|
преди 7 месеца |
Ian Goldberg
|
29e85669b3
Have run_experiment use the right number of cores for each party
|
преди 7 месеца |
sshsshy
|
759c96f05a
Addressed all the feedback. Converted AVL_OPT_ON to a runtime flag
|
преди 7 месеца |
Ian Goldberg
|
7ed4d55baf
A new unit test "read" that just does sequential reads
|
преди 7 месеца |
Ian Goldberg
|
5cc789da7d
Have run-experiment capture stderr as well as stdout
|
преди 7 месеца |
Ian Goldberg
|
8aeacca011
Include /usr/bin/time in the docker
|
преди 7 месеца |
Ian Goldberg
|
d90cd7a38f
Allow docker scripts to be run from other directories
|
преди 7 месеца |
sshsshy
|
ddd061f341
Merge branch 'main' into ssasy/avl
|
преди 7 месеца |
sshsshy
|
8cdbada147
Addressed feedback. Commit midway through converting opt_flag into a command line argument to merge main first for optional oidx.
|
преди 7 месеца |
Ian Goldberg
|
6b222f9efc
Correct a comment
|
преди 7 месеца |
Ian Goldberg
|
3749f7b680
Indentation
|
преди 7 месеца |
Ian Goldberg
|
cf36f72dc4
If run_sanity is 1, actually check that the extracted values from the heap come out in non-decreasing order
|
преди 7 месеца |
Ian Goldberg
|
746abdf8d5
Touch up a comment
|
преди 7 месеца |
avadapal
|
c84ab8e7cd
lt^eq ---> lt in explicit index heapproperty restored
|
преди 7 месеца |
avadapal
|
b70710fcf2
indentation changes
|
преди 7 месеца |