0000000000000000000000000000000000000000 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134417 +0200	clone: from http://github.com/capsosk/klee/
74ec02cc7ef1b73ca143d02dea80aa7174d508cc 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134431 +0200	checkout: moving from lazy-init to origin/9.0.0-dev
74ec02cc7ef1b73ca143d02dea80aa7174d508cc 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134451 +0200	checkout: moving from origin/9.0.0-dev to lazy-init
74ec02cc7ef1b73ca143d02dea80aa7174d508cc 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134463 +0200	checkout: moving from lazy-init to origin/9.0.0-dev
74ec02cc7ef1b73ca143d02dea80aa7174d508cc 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134536 +0200	checkout: moving from origin/9.0.0-dev to 9.0.0-dev
74ec02cc7ef1b73ca143d02dea80aa7174d508cc 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134592 +0200	reset: moving to HEAD
74ec02cc7ef1b73ca143d02dea80aa7174d508cc 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134613 +0200	checkout: moving from 9.0.0-dev to lazy-init
74ec02cc7ef1b73ca143d02dea80aa7174d508cc 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134656 +0200	checkout: moving from lazy-init to 9.0.0-dev
74ec02cc7ef1b73ca143d02dea80aa7174d508cc 45759eddd7f4b75714d1e62b4ca112b3a6daadfc capso <jakubnovak97@gmail.com> 1653134713 +0200	reset: moving to @{u}
45759eddd7f4b75714d1e62b4ca112b3a6daadfc 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653134733 +0200	checkout: moving from 9.0.0-dev to lazy-init
74ec02cc7ef1b73ca143d02dea80aa7174d508cc 74ec02cc7ef1b73ca143d02dea80aa7174d508cc capso <jakubnovak97@gmail.com> 1653298505 +0200	reset: moving to HEAD
74ec02cc7ef1b73ca143d02dea80aa7174d508cc f52ae01a9365781ad396cbacf00dfcb32fc18841 capso <jakubnovak97@gmail.com> 1653298602 +0200	commit (merge): Merge branch 'lazy-init' of http://github.com/capsosk/klee into lazy-init
f52ae01a9365781ad396cbacf00dfcb32fc18841 b3a5afe44af0c114bb5cb8265ff0995fa1fbf2e2 capso <jakubnovak97@gmail.com> 1653298623 +0200	reset: moving to origin/lazy-init
b3a5afe44af0c114bb5cb8265ff0995fa1fbf2e2 27c0db2594152db8c86cf79820a6e36af5a9c60e capso <jakubnovak97@gmail.com> 1653300160 +0200	pull: Merge made by the 'recursive' strategy.
27c0db2594152db8c86cf79820a6e36af5a9c60e 327c8bd8b131cf5ffed870ba9fadae4f8e752405 capso <jakubnovak97@gmail.com> 1653300178 +0200	reset: moving to origin/lazy-init
