Popular repositories Loading

1. integration-test integration-test Public

   Big integration test of all tools

   Python 3 5

2. integration-test2 integration-test2 Public

   2nd big integration test of all tools

   Python 2 7

3. daikon-tutorial daikon-tutorial Public

   Daikon tutorial for use by users of aas-integration repositories

   TeX 1

4. mini_corpus mini_corpus Public

   Tiny set of java programs for benchmarking muse stuff. Programs in the same subfolder are assumed to be similar.

   Java

5. jbx jbx Public

   Forked from ucla-pls/jbx

   Java Benchmark Expressions

   Nix

6. daikon daikon Public

   Forked from codespecs/daikon

   Dynamic detection of likely invariants

   C