-
Notifications
You must be signed in to change notification settings - Fork 0
Quick Start
HansvdLaan edited this page Mar 28, 2018
·
34 revisions
This wiki aims to provide an overview of all features and how to use them. However, if you are just trying out this framework, or you need to put together a formal model of your program quickly, or you simply don't want to read through all the details first, this section gives you the bare necessities to put together a simple learning experiment very quickly with maven:
-
Clone the HermieLab repository
-
Install HermieLab via Maven
-
Add the following dependencies to your pom:
` hansvdlaan.hermielab annotations 0.1-SNAPSHOT<dependency> <groupId>hansvdlaan.hermielab</groupId> <artifactId>processor</artifactId> <version>0.1-SNAPSHOT</version> </dependency>`