Skip to content

README: update + add PhD thesis#99

Merged
pmbittner merged 1 commit into
developfrom
readme-update
Apr 14, 2026
Merged

README: update + add PhD thesis#99
pmbittner merged 1 commit into
developfrom
readme-update

Conversation

@pmbittner

@pmbittner pmbittner commented Apr 6, 2026

Copy link
Copy Markdown
Member

This PR adds my PhD thesis to the README and refactors the README such that Vatras is presented as a reusable, self-contained library instead of supplementary material of the OOPSLA publication.

@pmbittner pmbittner self-assigned this Apr 6, 2026
@pmbittner pmbittner added the documentation Improvements or additions to documentation label Apr 6, 2026
@pmbittner pmbittner requested a review from ibbem April 6, 2026 14:53
@pmbittner

Copy link
Copy Markdown
Member Author

@ibbem I would kindly ask you to rebase your branch once we merged this PR into develop, and to add your master's thesis to the README inbetween my PhD thesis and the OOPSLA paper. :) Does this sound good to you?

@ibbem

ibbem commented Apr 13, 2026

Copy link
Copy Markdown
Collaborator

@ibbem I would kindly ask you to rebase your branch once we merged this PR into develop, and to add your master's thesis to the README inbetween my PhD thesis and the OOPSLA paper. :) Does this sound good to you?

Yes, sounds perfect. I'll adapt #98 once this one is merged.

@pmbittner pmbittner merged commit 5a05d91 into develop Apr 14, 2026
1 check passed
@pmbittner pmbittner mentioned this pull request Apr 14, 2026
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants