Pinned Loading

1. dynacom dynacom Public

   Using Recurrence Relations to Analyze Program Complexity

   C++

2. gentree gentree Public

   Forked from dynaroars/gentree

   GenTree: Using Decision Trees to Learn Interactions for Configurable Software (ICSE 21)

   C

3. dynaroars/dig dynaroars/dig Public

   DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invarian…

   Python 40 6

4. dynaroars/dynaplex dynaroars/dynaplex Public

   A tool for inferring program complexity, e.g., O(nlogn), O(n^2), O(2^n). Dynaplex uses dynamic analysis to infer recurrence relations and then solve them for closed form solutions representing prog…

   C++ 5 2