Skip to content
@symbooglix

symbooglix

Popular repositories Loading

  1. boogie-runner boogie-runner Public

    Framework for running different tools on boogie programs

    Python 1

  2. sbb sbb Public

    Forked from smackers/sbb

    SMACK Boogie Benchmarks

  3. gpu gpu Public

    Public GPU Boogie program benchmarks

    C

  4. klee klee Public

    Forked from klee/klee

    KLEE Symbolic Virtual Machine

    C++

  5. sv-benchmarks sv-benchmarks Public

    Forked from sosy-lab/sv-benchmarks

    C

  6. icst16-tools-docker-files icst16-tools-docker-files Public

    Python

Repositories

Showing 7 of 7 repositories
  • boogie-runner Public

    Framework for running different tools on boogie programs

    symbooglix/boogie-runner’s past year of commit activity
    Python 1 BSD-3-Clause 0 1 0 Updated Apr 5, 2016
  • symbooglix.github.io Public

    Web page for the Symbooglix project

    symbooglix/symbooglix.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Mar 5, 2016
  • sv-benchmarks Public Forked from sosy-lab/sv-benchmarks
    symbooglix/sv-benchmarks’s past year of commit activity
    C 0 169 0 0 Updated Nov 3, 2015
  • sbb Public Forked from smackers/sbb

    SMACK Boogie Benchmarks

    symbooglix/sbb’s past year of commit activity
    0 MIT 1 0 0 Updated Nov 3, 2015
  • icst16-tools-docker-files Public
    symbooglix/icst16-tools-docker-files’s past year of commit activity
    Python 0 0 0 0 Updated Nov 2, 2015
  • klee Public Forked from klee/klee

    KLEE Symbolic Virtual Machine

    symbooglix/klee’s past year of commit activity
    C++ 0 688 0 0 Updated Oct 21, 2015
  • gpu Public

    Public GPU Boogie program benchmarks

    symbooglix/gpu’s past year of commit activity
    C 0 0 0 0 Updated May 26, 2015

Top languages

Loading…

Most used topics

Loading…