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
-
Notifications
You must be signed in to change notification settings - Fork 0
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.
License
le-jzr/zefram
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
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.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published