-
README.md: this file
-
Makefile: project Makefile to run ChAsE on the files of a 'Purse JavaCard application'. This make file can be edited to use ChAsE on your own examples
-
make: directory containing the main Make file Makefile
-
jars: directory containing the .jar files of the ChAsE tool.
-
src: directory containing the annotated source of a Purse JavaCard application.
-
INSTALLATION.txt: file with instructions to install and to use ChAsE
-
Notifications
You must be signed in to change notification settings - Fork 1
ncatanoc/chasetool
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
About
Static analyzer of JML's assignable clause
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published