Research programming language for concurrent ownership
Перейти к файлу
Matthew Parkinson 497f5fc3f2
Fixes #651 (#667)
* Make verona testsuite directory dump passes.

* Add test case for issue #651

* Extend test to cover related bug.
2024-04-24 10:16:57 +01:00
.github/workflows Update CI workaround. (#650) 2024-01-02 10:43:31 +00:00
docs Reboot the Verona Repo (#634) 2023-07-13 13:36:26 +01:00
spec Add comment section to specification (#666) 2024-04-23 15:12:44 +01:00
src Fixes issue 668 (#669) 2024-04-23 17:18:39 +01:00
std/builtin Stable type names (#642) 2023-09-26 05:46:37 +01:00
testsuite Fixes #651 (#667) 2024-04-24 10:16:57 +01:00
.clang-format Move to Clangformat-9 2020-02-10 14:09:38 +00:00
.clang-tidy Initial commit of internal development history 2019-12-05 16:02:27 +00:00
.gitignore Add Vim temp files to gitignore 2020-08-14 14:46:08 +01:00
CMakeLists.txt Fixes issue 668 (#669) 2024-04-23 17:18:39 +01:00
CODE_OF_CONDUCT.md Initial commit of internal development history 2019-12-05 16:02:27 +00:00
CONTRIBUTING.md Reboot the Verona Repo (#634) 2023-07-13 13:36:26 +01:00
LICENSE Initial commit of internal development history 2019-12-05 16:02:27 +00:00
README.md Reboot the Verona Repo (#634) 2023-07-13 13:36:26 +01:00
SECURITY.md Initial commit of internal development history 2019-12-05 16:02:27 +00:00

README.md

Project Verona is a research programming language to explore the concept of concurrent ownership. We are providing a new concurrency model that seamlessly integrates ownership.

This research project is at an early stage and is open sourced to facilitate academic collaborations. We are keen to engage in research collaborations on this project, please do reach out to discuss this.

The project is not ready to be used outside of research, and is under going a massive refactoring. The previous version can be found in the old_version branch.

FAQ