Popular repositories Loading

1. JavaSlicer JavaSlicer Public

   A program slicer for Java, based on the system dependence graph (SDG).

   Java 66 18

2. cauder-core cauder-core Public

   A Causal-Consistent Debugger for (Core) Erlang

   Erlang 18 3

3. cauder cauder Public

   A Causal-Consistent Reversible Debugger for Erlang

   Erlang 16 4

4. SWIPrologZ3 SWIPrologZ3 Public

   A simple Prolog API for the Z3 constraint solver

   C 15 2

5. rev-erlang rev-erlang Public

   An implementation of the reversible semantics for Erlang.

   Erlang 13

6. slicerl slicerl Public

   Slicing for Erlang

   Erlang 8