GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — GitHub - microsoft/verona: Research programming language for concurrent ownership

BranchesTags
Open more actions menu

Latest commit

 

History

258 Commits
258 Commits

Folders and files

NameName
Last commit message
Last commit date
.agents/skills
.agents/skills
 
 
.claude/skills
.claude/skills
 
 
.github
.github
 
 
docs
docs
 
 
include
include
 
 
testsuite
testsuite
 
 
vbci
vbci
 
 
vc
vc
 
 
virc
virc
 
 
.clang-format
.clang-format
 
 
.clang-tidy
.clang-tidy
 
 
.gitignore
.gitignore
 
 
AGENTS.md
AGENTS.md
 
 
CLAUDE.md
CLAUDE.md
 
 
CMakeLists.txt
CMakeLists.txt
 
 
CODE_OF_CONDUCT.md
CODE_OF_CONDUCT.md
 
 
CONTRIBUTING.md
CONTRIBUTING.md
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
SECURITY.md
SECURITY.md
 
 

Repository files navigation

Verona BC Toolchain

This repository contains an experimental Verona compiler and runtime toolchain. VC lowers Verona source to Verona Intermediate Representation (VIR), and VIRC validates and analyzes VIR before the VBC emitter produces Verona Bytecode (VBC).

Current: VBC is the supported output and runs on VBCI. VIRC's compilation model is output-neutral so additional emitters can be added separately.

Migration: The main branch preserves the development history of sylvanc/verona-bc, independently of the original Verona history. The original code is archived on old_main. The Project Verona website is retained in docs/ alongside the toolchain documentation.

Quick Start

Configure and build in the build directory, then run the test suite:

cmake -S . -B build -G Ninja
ninja -C build install
ctest --test-dir build --output-on-failure

Build and run the hello fixture through the default VBC path:

cd build
dist/vc/vc build ../testsuite/v/hello
dist/vbci/vbci hello.vbc

See Toolchain Usage for standalone VIRC commands.

Components

Component Responsibility
VC Verona frontend and source-to-VIR lowering
VIRC Shared VIR validation, analysis, and output-neutral compilation state
VBCI VBC loader and interpreter runtime
Interchange formats VIR and VBC contracts and compatibility
Testsuite Source, VIR, VBC, and VBCI test pipelines

The current architecture and accepted decisions are indexed in Architecture. Verona language documentation is under VC Language Documentation, and documentation ownership is defined by the Documentation Policy. The complete contributor and user documentation map is in Documentation.

About

Research programming language for concurrent ownership

microsoft.github.io/verona/

Resources

Readme
MIT license

Code of conduct

Code of conduct

Contributing

Contributing

Security policy

Security policy
Activity
Custom properties

Stars

3.7k stars

Watchers

102 watching

Forks

173 forks
Report repository

Used by

Contributors

Languages

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.