annotate agent/make/README.txt @ 10749:e7c0658c2f25

record disjunctive conditions in ConditionalEliminationPhase change suggested by Miguel Garcia <miguelalfredo.garcia@epfl.ch>
author Lukas Stadler <lukas.stadler@jku.at>
date Mon, 15 Jul 2013 13:36:41 +0200
parents a61af66fc99e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
a61af66fc99e Initial load
duke
parents:
diff changeset
1 These are the Java-level sources for the Serviceability Agent (SA).
a61af66fc99e Initial load
duke
parents:
diff changeset
2
a61af66fc99e Initial load
duke
parents:
diff changeset
3 To build, type "gnumake all".
a61af66fc99e Initial load
duke
parents:
diff changeset
4
a61af66fc99e Initial load
duke
parents:
diff changeset
5 For usage documentation, please refer to ../doc/index.html.