Skip to content
/ SAnR Public

Implementation of 'Specification Analysis Reporting' (SAnR) in Rascal.

License

BSD-3-Clause license
2 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

visknut/SAnR

1 Branch0 Tags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

visknutvisknut
Language update
Jul 25, 2018
d094775 · Jul 25, 2018

History

4 Commits
src/sanr
src/sanr
Jul 25, 2018
.gitignore
.gitignore
Jun 1, 2018
LICENSE
LICENSE
Jun 30, 2018
README.md
README.md
Jun 1, 2018

Repository files navigation

SAnR

Implementation of 'Specification Analysis Reporting' (SAnR) in Rascal.

About

Implementation of 'Specification Analysis Reporting' (SAnR) in Rascal.

Resources

Readme

License

BSD-3-Clause license
Activity

Stars

2 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages