Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. removed old version of analyses; tuned
  2. removed old version of pairing heap code
  3. removed old version of splay heap analysis
Changeset 6931:c4137d798f8e by nipkow:
removed old version of analyses; tuned
The file was modified thys/Amortized_Complexity/Amortized_Examples.thy (diff)
The file was modified thys/Amortized_Complexity/Pairing_Heap_List1_Analysis.thy (diff)
The file was modified thys/Amortized_Complexity/Pairing_Heap_List2_Analysis.thy (diff)
The file was modified thys/Amortized_Complexity/Pairing_Heap_Tree_Analysis.thy (diff)
The file was modified thys/Amortized_Complexity/Priority_Queue_ops.thy (diff)
The file was modified thys/Amortized_Complexity/ROOT (diff)
The file was modified thys/Amortized_Complexity/Skew_Heap_Analysis.thy (diff)
The file was modified thys/Amortized_Complexity/Splay_Heap_Analysis.thy (diff)
The file was modified thys/Amortized_Complexity/Splay_Tree_Analysis.thy (diff)
The file was modified thys/Amortized_Complexity/Splay_Tree_Analysis_Base.thy (diff)
The file was modified thys/Amortized_Complexity/Splay_Tree_Analysis_Optimal.thy (diff)
The file was removedthys/Amortized_Complexity/Priority_Queue_ops2.thy
The file was removedthys/Amortized_Complexity/Priority_Queue_ops_meld2.thy
The file was removedthys/Amortized_Complexity/Splay_Tree_Analysis2.thy
The file was removedthys/Amortized_Complexity/Splay_Tree_Analysis_Base2.thy
The file was removedthys/Amortized_Complexity/Splay_Tree_Analysis_Optimal2.thy
Changeset 6930:9e0730d66043 by nipkow:
removed old version of pairing heap code
The file was removedthys/Amortized_Complexity/Pairing_Heap_List2.thy
Changeset 6929:b239db54e908 by nipkow:
removed old version of splay heap analysis
The file was modified thys/Amortized_Complexity/ROOT (diff)
The file was modified thys/Amortized_Complexity/Splay_Heap_Analysis.thy (diff)
The file was removedthys/Amortized_Complexity/Splay_Heap_Analysis2.thy