Skip to content

Commit

Permalink
Version 0.2
Browse files Browse the repository at this point in the history
Now require llvm>=3.6

* Bugfix for fold_succ_e
* Restore compat with ocamlgraph 1.8.6
* Add Llvm's uses as label on edges.
  • Loading branch information
Drup committed Apr 4, 2015
1 parent f5686a3 commit 285d97a
Show file tree
Hide file tree
Showing 11 changed files with 7,790 additions and 138 deletions.
31 changes: 0 additions & 31 deletions .travis-ci.sh

This file was deleted.

6 changes: 0 additions & 6 deletions .travis.yml

This file was deleted.

32 changes: 32 additions & 0 deletions _tags
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
# OASIS_START
# DO NOT EDIT (digest: 099231b7a3ef48b26af7ff7d309b962b)
# Ignore VCS directories, you can use the same kind of rule outside
# OASIS_START/STOP if you want to exclude directories that contains
# useless stuff for the build process
true: annot, bin_annot
<**/.svn>: -traverse
<**/.svn>: not_hygienic
".bzr": -traverse
".bzr": not_hygienic
".hg": -traverse
".hg": not_hygienic
".git": -traverse
".git": not_hygienic
"_darcs": -traverse
"_darcs": not_hygienic
# Library llvmgraph
"src/llvmgraph.cmxs": use_llvmgraph
<src/*.ml{,i,y}>: pkg_llvm
<src/*.ml{,i,y}>: pkg_ocamlgraph
# Executable colordot
<test/colordot.{native,byte}>: pkg_llvm
<test/colordot.{native,byte}>: pkg_llvm.bitreader
<test/colordot.{native,byte}>: pkg_ocamlgraph
<test/colordot.{native,byte}>: pkg_str
<test/colordot.{native,byte}>: use_llvmgraph
<test/*.ml{,i,y}>: pkg_llvm
<test/*.ml{,i,y}>: pkg_llvm.bitreader
<test/*.ml{,i,y}>: pkg_ocamlgraph
<test/*.ml{,i,y}>: pkg_str
<test/*.ml{,i,y}>: use_llvmgraph
# OASIS_STOP
36 changes: 0 additions & 36 deletions dist.sh

This file was deleted.

4 changes: 4 additions & 0 deletions llvmgraph.odocl
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
# OASIS_START
# DO NOT EDIT (digest: ffca07d7cf392d78b641b66986f0721b)
src/Llvmgraph
# OASIS_STOP
Loading

0 comments on commit 285d97a

Please sign in to comment.