Skip to content

README: update + add PhD thesis#99

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

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

Conversation

@pmbittner
Copy link
Copy Markdown
Member

@pmbittner pmbittner commented Apr 6, 2026

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
Copy link
Copy Markdown
Collaborator

ibbem commented Apr 13, 2026

@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