0000000000000000000000000000000000000000 56aea470fd6996e3765fb506a20d5108be9769d0 Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1484954453 +0000	clone: from git@github.com:diffblue/cbmc.git
56aea470fd6996e3765fb506a20d5108be9769d0 f19b41c6ab25dffc167a2fd78ce304dc96239abc Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1484954480 +0000	commit: Added CEGIS control benchmark based on safety_stability.c
f19b41c6ab25dffc167a2fd78ce304dc96239abc 41327749a06c145ac56a132f86cda21ab629fc17 Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485015566 +0000	pull --rebase: checkout 41327749a06c145ac56a132f86cda21ab629fc17
41327749a06c145ac56a132f86cda21ab629fc17 41327749a06c145ac56a132f86cda21ab629fc17 Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485015566 +0000	rebase finished: returning to refs/heads/master
41327749a06c145ac56a132f86cda21ab629fc17 86dbc833d1c9a2904ceb32ba786fb45ca089105e Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485015853 +0000	pull --rebase: checkout 86dbc833d1c9a2904ceb32ba786fb45ca089105e
86dbc833d1c9a2904ceb32ba786fb45ca089105e 86dbc833d1c9a2904ceb32ba786fb45ca089105e Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485015853 +0000	rebase finished: returning to refs/heads/master
86dbc833d1c9a2904ceb32ba786fb45ca089105e b6ced6461cbb2199ead91a755697d57773fdc5c5 Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485114200 +0000	pull --rebase: checkout b6ced6461cbb2199ead91a755697d57773fdc5c5
b6ced6461cbb2199ead91a755697d57773fdc5c5 b6ced6461cbb2199ead91a755697d57773fdc5c5 Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485114200 +0000	rebase finished: returning to refs/heads/master
b6ced6461cbb2199ead91a755697d57773fdc5c5 06942bbf24c43001892037b20e38c50a3d23c442 Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485187549 +0000	pull --rebase: checkout 06942bbf24c43001892037b20e38c50a3d23c442
06942bbf24c43001892037b20e38c50a3d23c442 06942bbf24c43001892037b20e38c50a3d23c442 Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485187549 +0000	rebase finished: returning to refs/heads/master
06942bbf24c43001892037b20e38c50a3d23c442 e07ed1bc33a12ddb3221845e36c92b3d7b7320cb Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485191261 +0000	pull --rebase: checkout e07ed1bc33a12ddb3221845e36c92b3d7b7320cb
e07ed1bc33a12ddb3221845e36c92b3d7b7320cb e07ed1bc33a12ddb3221845e36c92b3d7b7320cb Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485191261 +0000	rebase finished: returning to refs/heads/master
e07ed1bc33a12ddb3221845e36c92b3d7b7320cb 7a6cec1dd0eb8843559591105235f1f2c4678801 Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485788410 +0000	pull --rebase: checkout 7a6cec1dd0eb8843559591105235f1f2c4678801
7a6cec1dd0eb8843559591105235f1f2c4678801 7a6cec1dd0eb8843559591105235f1f2c4678801 Pascal Kesseli <pkesseli@dkr13.cs.ox.ac.uk> 1485788411 +0000	rebase finished: returning to refs/heads/master
