microsoft / verona

Research programming language for concurrent ownership

https://microsoft.github.io/verona/

microsoft/verona Issues

Shadowing of Self type name leads to looping in structure pass
Closed 10 days ago
Default args do not correctly report error
Closed 10 days ago1
Looping in validtypeargs pass
Updated 23 days ago1
Write Lexical Elements section of Language Spec
Updated a month ago
Write language specification
Updated a month ago
Write Expression Structure section of Language Spec
Updated a month ago
Write Concurrency section of Language Spec
Updated a month ago
Write Region section of Language Spec
Updated a month ago
Write Type Inference and Checking section of Language Spec
Updated a month ago
Write Types section of Language Spec
Updated a month ago
Write Region Model section of Language Spec
Updated a month ago
Write Program Structure section of Language Spec
Updated a month ago
Fuzzing failure
Updated 7 months ago
so it has eventualy dead?
Closed 10 months ago1
Move to later version of Mac OS
Closed 10 months ago1
Problem about iso type class field
Closed 10 months ago1
Why not use a more C/C++ like syntax?
Closed 10 months ago2
Can Fibonacci be written like this? how to get when expression return value?
Closed 10 months ago6
Question about when expression scheduling
Closed 10 months ago5
Backpressure and AcquireAll
Closed 10 months ago1
Work required on process-based sandbox
Closed 10 months ago
please provided us prebuilt veronac, we want to learn verona language.
Closed 10 months ago7
Behaviours that wait for promises that are unfilled crash the runtime
Closed 10 months ago1
Potentially unstable runtime test
Closed 2 years ago8
Is this project dead?
Closed 2 years ago2
Infrequent memory leak in func-con-external_event_source
Closed 2 years ago4
verona develop progress , any compare with google carbon language.
Closed 2 years ago2
handle_bind_or_connect - uninitialized stack buffer [defense-in-depth]
Closed 2 years ago1
`handle` doesn't check the return value of send
Closed 2 years ago
check for failure in Library.alloc
Closed 2 years ago
Issue in `handle` - use of uninitialized stack due to lack of return value check
Closed 2 years ago1
cross sandbox DOS in handle
Closed 2 years ago
sandbox can violate of sizeclass assert in snmalloc
Closed 2 years ago2
verona-mlir do not support cown, when
Closed 2 years ago1
security issue in DeallocChunk - lack bounds check on size
Closed 2 years ago1
security issue in DeallocChunk- double free
Closed 2 years ago
security issue in DeallocChunk - unaligned address
Closed 2 years ago2
what is the meaning of mut-view?
Closed 2 years ago3
handle_getaddrinfo incorrect return value
Closed 2 years ago
cross sandbox DOS
Closed 2 years ago1
Lack of check in AllocChunk, run()
Closed 2 years ago
race condition in the AllocChunk case, run()
Closed 2 years ago1
handle_path_syscall does not check canonicalise's return value
Closed 2 years ago2
Vim plugin for Verona
Closed 3 years ago3
Unstable veronac test timing out
Closed 3 years ago4
Failed to download md5 hash: "HTTP response code said error"
Closed 3 years ago11
Nightly test failure after runtime update
Closed 3 years ago1
Is there a release coming anytime soon?
Closed 3 years ago1
[CWE134] Using fmt::print to print string is very dangerous, leading to potential format string vulns.
Closed 3 years ago2
Build error on ubuntu 18.04 server with CMake 3.19.3
Closed 3 years ago8