forked from chiualto/genesis
-
Notifications
You must be signed in to change notification settings - Fork 0
amirjamez/genesis
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
README.txt Provided in this release: - genesis.pl (Version 1.01.300) - GeneratedInstancePrograms (Empty Folder, Instance Programs will be generated here) - LibraryFiles (Library Files) - GenesisPrograms (Test Genesis programs) - Changelog.txt (Lists all changes since to the release since 1.00) - doc-specification.pdf (Specification of all constructs) - This README.txt (You're reading it now) To see Genesis in action try the following line in its directory: ./genesis.pl ./GenesisPrograms/Testcases/spec-demo.c
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Perl 64.2%
- C 32.6%
- Shell 3.2%