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.

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

Update README.md #48

Closed
wants to merge 1 commit into from
Closed

Update README.md #48

wants to merge 1 commit into from

Conversation

TobiasWrigstad
Copy link
Member

Reflected the name change in the README. Also added links to Reggio, BoC, and Trieste.

NOTE: assumes we want to change the file extension to .fs and verona_dyn to frank.

Reflected the name change in the README. Also added links to Reggio, BoC, and Trieste.
@TobiasWrigstad TobiasWrigstad added the documentation Improvements or additions to documentation label Nov 2, 2024
@TobiasWrigstad TobiasWrigstad added this to the PLDI milestone Nov 2, 2024
@TobiasWrigstad TobiasWrigstad requested a review from mjp41 November 2, 2024 19:03
@@ -31,15 +37,15 @@ ctest
The project can be run by

```bash
./build/verona_dyn build foo.vpy
./build/frank build foo.fs
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I plan to do the binary renaming and test files renaming once #47 has been merged.

I would hold off merging this until the renaming is done. The rest looks good to me :)

@xFrednet
Copy link
Collaborator

xFrednet commented Nov 3, 2024

Most of the CI errors should also be fixed by #47

@xFrednet xFrednet self-assigned this Nov 5, 2024
@xFrednet
Copy link
Collaborator

Closing this in favor of #52

@xFrednet xFrednet closed this Nov 12, 2024
@xFrednet xFrednet deleted the TobiasWrigstad-patch-1 branch November 12, 2024 17:31
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