0000000000000000000000000000000000000000 8eba2705e1336df070e1e422a9b03cca40a17c4d Hans-Dieter Hiep <hdh@cwi.nl> 1567501140 +0200	clone: from https://github.com/ojmaathuis/Verification-of-OpenJDKs-LinkedList-Implementation-using-KeY.git
8eba2705e1336df070e1e422a9b03cca40a17c4d 5944df6c432a4175699471ff5612cea59963f3ec Hans-Dieter Hiep <hdh@cwi.nl> 1568624239 +0200	commit: Add change to String.key
5944df6c432a4175699471ff5612cea59963f3ec d9513c2b9033747c3d3b216d69d3483ac3a41077 Hans-Dieter Hiep <hdh@cwi.nl> 1568624273 +0200	pull: Merge made by the 'recursive' strategy.
d9513c2b9033747c3d3b216d69d3483ac3a41077 d9513c2b9033747c3d3b216d69d3483ac3a41077 Hans-Dieter Hiep <hdh@cwi.nl> 1568719845 +0200	checkout: moving from master to hans-abbr
d9513c2b9033747c3d3b216d69d3483ac3a41077 e73561a2a0074359047facae53ac835a72288175 Hans-Dieter Hiep <hdh@cwi.nl> 1568719866 +0200	commit: Make Object.equals strictly pure
e73561a2a0074359047facae53ac835a72288175 ec588d11c0fdeb73dfcff0214cca507a99d6ee16 Hans-Dieter Hiep <hdh@cwi.nl> 1569230485 +0200	commit: WIP
ec588d11c0fdeb73dfcff0214cca507a99d6ee16 d9513c2b9033747c3d3b216d69d3483ac3a41077 Hans-Dieter Hiep <hdh@cwi.nl> 1569230488 +0200	checkout: moving from hans-abbr to master
d9513c2b9033747c3d3b216d69d3483ac3a41077 d9d1e9b479caf1faed75903647a2faf283f7378c Hans-Dieter Hiep <hdh@cwi.nl> 1569315383 +0200	pull: Merge made by the 'recursive' strategy.
d9d1e9b479caf1faed75903647a2faf283f7378c 9495dc06fa546655dc06cb552350581dcd8a86fe Hans-Dieter Hiep <hdh@cwi.nl> 1569315694 +0200	commit: Remove invalid character
9495dc06fa546655dc06cb552350581dcd8a86fe a52cb71f5a3c9913759cf5a3176e64e28c6509cc Hans-Dieter Hiep <hdh@cwi.nl> 1569319983 +0200	commit: Add proof of indexOf method (null case, return -1)
a52cb71f5a3c9913759cf5a3176e64e28c6509cc a4f53403ee34d8d6043653c2fa79ccb871517b0f Hans-Dieter Hiep <hdh@cwi.nl> 1569333637 +0200	commit: Adapted proof of indexOf (null arg case, both present and absent)
a4f53403ee34d8d6043653c2fa79ccb871517b0f eab7ddc5441f862f6e88085c8c44d8eae64c30ff Hans-Dieter Hiep <hdh@cwi.nl> 1569333646 +0200	pull: Merge made by the 'recursive' strategy.
eab7ddc5441f862f6e88085c8c44d8eae64c30ff b8c2ce42d36f77441f28cf10e00b95f4b002113b Hans-Dieter Hiep <hdh@cwi.nl> 1569333764 +0200	commit: Illegal characters removed
b8c2ce42d36f77441f28cf10e00b95f4b002113b 9a41f3afa4a282ad4465393afcba7eaeb7517947 Hans-Dieter Hiep <hdh@cwi.nl> 1569341534 +0200	commit: Adds equality and proves indexOf with respect to equality
9a41f3afa4a282ad4465393afcba7eaeb7517947 d5e9560d5f49620d9acefd1a24c9686ef3d9fe99 Hans-Dieter Hiep <hdh@cwi.nl> 1569850135 +0200	pull: Fast-forward
d5e9560d5f49620d9acefd1a24c9686ef3d9fe99 d06c291fbf8407ae7908da5962189a51a6895144 Hans-Dieter Hiep <hdh@cwi.nl> 1569853523 +0200	commit: Adds contract and proofs for contains method
d06c291fbf8407ae7908da5962189a51a6895144 db442caf8cb2fe4d1e3400c51e3f750cfb0902a5 Hans-Dieter Hiep <hdh@cwi.nl> 1569854742 +0200	commit: Changed README to reflect statistics of indexOf, contains
db442caf8cb2fe4d1e3400c51e3f750cfb0902a5 4356af27db851b8403e3f73f7b816ca246f29511 Hans-Dieter Hiep <hdh@cwi.nl> 1569952679 +0200	commit: Adds initial try for remove() method: found out that unlink() is not properly specified.
4356af27db851b8403e3f73f7b816ca246f29511 ec800e56795b3ef9dabb40df916b363706b37181 Hans-Dieter Hiep <hdh@cwi.nl> 1569952722 +0200	pull: Merge made by the 'recursive' strategy.
ec800e56795b3ef9dabb40df916b363706b37181 bb7337db340be92d61df52ed0044e5772ec57bd5 Hans-Dieter Hiep <hdh@cwi.nl> 1570446663 +0200	commit: Work in progress on BoundedLinkedList.unlink
bb7337db340be92d61df52ed0044e5772ec57bd5 f02cf8ad3bbf9e580438c0e9979d41b603e1ec25 Hans-Dieter Hiep <hdh@cwi.nl> 1570446685 +0200	pull: Merge made by the 'recursive' strategy.
f02cf8ad3bbf9e580438c0e9979d41b603e1ec25 f02cf8ad3bbf9e580438c0e9979d41b603e1ec25 Hans-Dieter Hiep <hdh@cwi.nl> 1570611809 +0200	reset: moving to HEAD
f02cf8ad3bbf9e580438c0e9979d41b603e1ec25 4c45bf3a926604be4455ec0bcf626c68a3629303 Hans-Dieter Hiep <hdh@cwi.nl> 1570611837 +0200	pull: Fast-forward
4c45bf3a926604be4455ec0bcf626c68a3629303 d9162c4bb1b793766f86ffeac0c02fbe6cbc90a0 Hans-Dieter Hiep <hdh@cwi.nl> 1570611889 +0200	commit: Adds todo marker
d9162c4bb1b793766f86ffeac0c02fbe6cbc90a0 d9162c4bb1b793766f86ffeac0c02fbe6cbc90a0 Hans-Dieter Hiep <hdh@cwi.nl> 1570639517 +0200	reset: moving to HEAD
d9162c4bb1b793766f86ffeac0c02fbe6cbc90a0 8f6269e717e05b8424cf70fbe6bbc9518d249565 Hans-Dieter Hiep <hdh@cwi.nl> 1570639527 +0200	checkout: moving from master to 8f6269e717e05b8424cf70fbe6bbc9518d249565
8f6269e717e05b8424cf70fbe6bbc9518d249565 583e1e274d121977a9d13ec4c89bdfc931aadec7 Hans-Dieter Hiep <hdh@cwi.nl> 1570639688 +0200	checkout: moving from 8f6269e717e05b8424cf70fbe6bbc9518d249565 to 583e1e274d121977a9d13ec4c89bdfc931aadec7
583e1e274d121977a9d13ec4c89bdfc931aadec7 4c45bf3a926604be4455ec0bcf626c68a3629303 Hans-Dieter Hiep <hdh@cwi.nl> 1570639719 +0200	checkout: moving from 583e1e274d121977a9d13ec4c89bdfc931aadec7 to 4c45bf3a926604be4455ec0bcf626c68a3629303
4c45bf3a926604be4455ec0bcf626c68a3629303 d9162c4bb1b793766f86ffeac0c02fbe6cbc90a0 Hans-Dieter Hiep <hdh@cwi.nl> 1570639746 +0200	checkout: moving from 4c45bf3a926604be4455ec0bcf626c68a3629303 to master
d9162c4bb1b793766f86ffeac0c02fbe6cbc90a0 3b4b001e8f8bfbdbe0a7da7c96dc161155ed2be0 Hans-Dieter Hiep <hdh@cwi.nl> 1570643959 +0200	commit: Changed formatting for paper
3b4b001e8f8bfbdbe0a7da7c96dc161155ed2be0 f8efac2a1305d93b3f190cc3dd6131dd75027d98 Hans-Dieter Hiep <hdh@cwi.nl> 1570697375 +0200	pull: Fast-forward
f8efac2a1305d93b3f190cc3dd6131dd75027d98 caa582a3b93ca12f5a09196f8f63c8532c757bd2 Hans-Dieter Hiep <hdh@cwi.nl> 1570725308 +0200	commit: Finalizes proof of remove()
caa582a3b93ca12f5a09196f8f63c8532c757bd2 6cc22428bfc998327796b43ff4ecb1005bd2c8e1 Hans-Dieter Hiep <hdh@cwi.nl> 1570727018 +0200	pull: Merge made by the 'recursive' strategy.
6cc22428bfc998327796b43ff4ecb1005bd2c8e1 e0fbe785f508c6165b1fe52048c5dbf033d6defb Hans-Dieter Hiep <hdh@cwi.nl> 1570728275 +0200	commit: Finish removeFirstOccurrence
e0fbe785f508c6165b1fe52048c5dbf033d6defb 5a1d5ce277fe4fcff966cbb1bfd4eadebac6e4f0 Hans-Dieter Hiep <hdh@cwi.nl> 1570786117 +0200	pull: Fast-forward
5a1d5ce277fe4fcff966cbb1bfd4eadebac6e4f0 6fe9b42bea7b45a1380b91287e3e9a9408f2ea48 Hans-Dieter Hiep <hdh@cwi.nl> 1570797736 +0200	commit: Proves removeFirstOcc(Obj), fixes and proves lastIndexOf
6fe9b42bea7b45a1380b91287e3e9a9408f2ea48 718927a38ff3844139c5ddbd81bf2d64e814fc02 Hans-Dieter Hiep <hdh@cwi.nl> 1570801035 +0200	commit: Fixes and proves removeLastOccurrence
718927a38ff3844139c5ddbd81bf2d64e814fc02 fc723cdf88fb97a6180e79737375af75b350a349 Hans-Dieter Hiep <hdh@cwi.nl> 1571215285 +0200	commit: Add Rascal analysis files
fc723cdf88fb97a6180e79737375af75b350a349 1a69c38325d8900b76aa0de0285dad578d6c6f9d Hans-Dieter Hiep <hdh@cwi.nl> 1571232626 +0200	commit: Add presentation slides
1a69c38325d8900b76aa0de0285dad578d6c6f9d bf3f9af49e34ccd498d19df36951d8e50ddc5166 Hans-Dieter Hiep <hdh@cwi.nl> 1571233519 +0200	commit: Fixed typo
bf3f9af49e34ccd498d19df36951d8e50ddc5166 a5462947716e0cf4c50d8fad35b51e6381248e30 Hans-Dieter Hiep <hdh@cwi.nl> 1571389508 +0200	commit: New proof of unlinkFirst by Jinting
a5462947716e0cf4c50d8fad35b51e6381248e30 40d2d3d581c23c06dc8b362e045c227e71ebb9c0 Hans-Dieter Hiep <hdh@cwi.nl> 1571389531 +0200	pull: Merge made by the 'recursive' strategy.
40d2d3d581c23c06dc8b362e045c227e71ebb9c0 c6cafa70f4d9fface3c2aa3a32f78e6e22dffdfc Hans-Dieter Hiep <hdh@cwi.nl> 1571408979 +0200	commit: Improved unlinkLast by Jinting
c6cafa70f4d9fface3c2aa3a32f78e6e22dffdfc 0bd97e5ec4c80b06126a6fe012791e890c0e9931 Hans-Dieter Hiep <hdh@cwi.nl> 1571919627 +0200	commit: New proofs, presentation files
0bd97e5ec4c80b06126a6fe012791e890c0e9931 5a8d09698212c022be750ed8dc404abb607fcb82 Hans-Dieter Hiep <hdh@cwi.nl> 1571919955 +0200	commit: Fixed README instructions
5a8d09698212c022be750ed8dc404abb607fcb82 dabb92ab01962f77acb3e98fc245a2142c94b452 Hans-Dieter Hiep <hdh@cwi.nl> 1571920750 +0200	commit: Adds testcases (by Olaf)
dabb92ab01962f77acb3e98fc245a2142c94b452 eae2ab6a4419070906a37e35cce1ba4095deaa51 Hans-Dieter Hiep <hdh@cwi.nl> 1571921155 +0200	commit: Fixes small issues with testcases
