Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Artifact Overview for OOPSLA #43

Merged
merged 63 commits into from
Jul 3, 2024
Merged

Artifact Overview for OOPSLA #43

merged 63 commits into from
Jul 3, 2024

Conversation

pmbittner
Copy link
Member

@pmbittner pmbittner commented Jul 1, 2024 •
edited
Loading

closes #44

@pmbittner pmbittner linked an issue Jul 2, 2024 that may be closed by this pull request
Rename Library to Vatras #44
Closed
@pmbittner
Copy link
Member Author

Thanks @ibbem! These changes are awesome! :)

pmbittner added 20 commits July 3, 2024 10:52
ibbem and others added 28 commits July 3, 2024 10:53
@ibbem @pmbittner
Use the correct term for the TERMINATING *pragma*
745ef5a 
https://agda.readthedocs.io/en/v2.6.0.1/language/termination-checking.html#terminating-pragma
@ibbem @pmbittner
nix: Use a wrapper to set LC_ALL
b71e1d7 
GHC's Haskell runtime panics if the locale doesn't seem to support
UTF-8. Hence, we just assume that the terminal interprets UTF-8
correctly. In case the terminal interprets these sequences incorrectly,
the output will show weird, out-of-place characters which seems easier
to debug than a panic.
@ibbem @pmbittner
README: Use one version of Agda consistently
5329ca7 
Since 625ff33, we use Agda 2.6.4.3.
@ibbem @pmbittner
README: Explain how to manually install this library
fc85c3f
@ibbem @pmbittner
README: Add UTF-8 troubleshooting advice
c9bf421
@ibbem @pmbittner
README: Add a disclaimer about sized types
7bb9725
@ibbem @pmbittner
README: Fix Markdown formatting
52f1ea1
@ibbem @pmbittner
README: copy editing
3959161
@ibbem @pmbittner
README: Fix the font troubleshooting description
3cd1696
@ibbem @pmbittner
Rename EPVL to Vatras
e718f44 
Closes #44.
@ibbem @pmbittner
README: Add out-of-memory trouble advice for Docker
b296a8e 
It seems like OOM issues are more common when building stuff with Nix
within Docker. I just reencountered this issue myself.
@pmbittner
compilation fix
4901863
@AlexanderSchultheiss
README: add hint about git submodule initialization
fe9e529
@AlexanderSchultheiss
README: refactor description of demo execution
9e441f6
@pmbittner
Merge pull request #53 from pmbittner/readme-submodule-hint
c7b746f 
Readme submodule hint
@pmbittner
Merge pull request #52 from pmbittner/oopsla-demo-start
13fcd77 
README: refactor description of running the demo
@pmbittner
note to oopsla artifact reviewers for git clone
a891604
@pmbittner
forward reference to proof mech + tutorials
b7e34a9
@pmbittner
README: document full copy expected output
2edce2e
@pmbittner
README: explain nature of artifact more clearly
b40c1f0
@pmbittner
README: refine note on relative links not working
0749dc2
@pmbittner
README: claims
52af9e3
@pmbittner
README: refine + adapt paper<>lib sec. to claims
4e77cab
@AlexanderSchultheiss
README: minor textual changes
54c7b7c
@pmbittner
README: address AS comments
add4ea7
@pmbittner
README: do not recommend Okular
20a61d9 
because the README looked horrible and very different from how it is
displayed on GitHub
@pmbittner
README: note that we verified entire paper
8c28f67
@pmbittner
Merge pull request #57 from pmbittner/oopsla-claims
b28dc78 
OOPSLA Claims
@pmbittner pmbittner merged commit a5638c9 into develop Jul 3, 2024
1 check passed
@pmbittner pmbittner deleted the oopsla-overview branch July 5, 2024 12:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
oopsla
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Rename Library to Vatras
3 participants
@pmbittner @ibbem @AlexanderSchultheiss