Branches

  • Overview
  • Active
  • Stale
  • All

Active branches

  • TFM-Jonathan
    03832b39 · ICFG: debug session · Oct 30, 2025
  • develop default protected
    8f7f2546 · Fix: do not remove empty statements from if-else or loops · Oct 13, 2025

Stale branches

  • tests-sergio
    125aaaa2 · Cambios para tests Sergio · Jan 31, 2020
  • sergio-pdg
    bf8850ab · Added SPDG · Feb 04, 2020
  • testA
    bad97026 · ES-SlicingAlgorithm: make CC1 empty-transitive only when there are no other alternatives. · Sep 16, 2020
  • TAPAS-2020
    3c771a29 · TAPAS-2020: implementation of the algorithm proposed · Oct 09, 2020
  • anonymous-classes
    df09b4eb · First approach to AC · Jul 12, 2021