Repository navigation

zefram

Public

About

An imperative language build from ground up for static analysis and verification in systems programming. This repository has been inactive for more than a year. I plan to get back to this project (or start a new one that continues the idea), but I can't say when it might happen.

0 stars

1 watching

Report repository

Name		Name	Last commit message	Last commit date
compiler		compiler
cparser		cparser
interpreter		interpreter
lib		lib
spec		spec
tests		tests
LICENSE		LICENSE
README.md		README.md
zsinterp.sh		zsinterp.sh

Repository files navigation

zefram

Just a quick start for me so that I don't forget:

cd cparser
make
cd ../interpreter
make
cd ..
sh zsinterp.sh --builtinenv env --package main tests/functions --run main.main

About

An imperative language build from ground up for static analysis and verification in systems programming. This repository has been inactive for more than a year. I plan to get back to this project (or start a new one that continues the idea), but I can't say when it might happen.

0 stars

1 watching

Report repository

Releases

Packages

Used by

Contributors

Languages