Skip to content

anantoni/datomic_pointer_analysis

Repository files navigation

====================================
Documentation 

Getting Started (Free Edition):    http://docs.datomic.com/getting-started.html
Setting Up Storage (Pro Edition):  http://docs.datomic.com/storage.html 
All docs:                          http://datomic.com

====================================
Install Datomic to your local maven repo:

bin/maven-install

====================================
Use Datomic from maven:

    <dependency>
      <groupId>com.datomic</groupId>
      <artifactId>datomic-free</artifactId>
      <version>0.8.3952</version>
    </dependency>

====================================
Use Datomic from leiningen:

   [com.datomic/datomic-free "0.8.3952"]

About

Anastasios Antoniadis thesis - Datomic pointer analysis

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors