Skip to content
@chc-comp

chc-comp

Constrained Horn Clauses Competition

Popular repositories Loading

  1. chc-tools chc-tools Public

    Tools for manipulating CHC and related files

    Python 13 6

  2. scripts scripts Public

    Scripts used in CHC-COMP

    Python 3 3

  3. vmt-chc-benchmarks vmt-chc-benchmarks Public

    SMT 2

  4. ringen-adt-benchmarks ringen-adt-benchmarks Public

    ADT benchmarks generated by the RInGen tool

    SMT 2

  5. chc-comp22-benchmarks chc-comp22-benchmarks Public

    2

  6. hopv hopv Public

    CHC benchmarks coming from Higher-Order Program Verification

    SMT 1

Repositories

Showing 10 of 35 repositories
  • chc-comp.github.io Public
    chc-comp/chc-comp.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated May 16, 2024
  • chc-comp24-benchmarks Public

    The benchmarks selected at CHC-COMP 2024

    chc-comp/chc-comp24-benchmarks’s past year of commit activity
    SMT 0 0 0 0 Updated Apr 14, 2024
  • tricera-adt-arr Public Forked from zafer-esen/tricera-adt-arr

    Benchmarks from SV-Comp encoded by Tricera. Nonlinear clauses; LIA + Arrays + non-recursive ADTs

    chc-comp/tricera-adt-arr’s past year of commit activity
    SMT 0 1 0 0 Updated Mar 18, 2024
  • chc-comp23-benchmarks Public

    The benchmarks selected at CHC-COMP 2023

    chc-comp/chc-comp23-benchmarks’s past year of commit activity
    0 0 0 0 Updated May 29, 2023
  • tip-adt-lia Public

    Benchmarks from TIP encoded in the ADT-LIA fragment

    chc-comp/tip-adt-lia’s past year of commit activity
    SMT 0 0 0 0 Updated Apr 24, 2023
  • chc-tools Public

    Tools for manipulating CHC and related files

    chc-comp/chc-tools’s past year of commit activity
    Python 13 6 2 1 Updated Apr 21, 2023
  • rust-horn Public

    Benchmarks generated by RustHorn from verifying small rust programs

    chc-comp/rust-horn’s past year of commit activity
    SMT 0 0 0 0 Updated Apr 21, 2023
  • ADTRem Public

    ADT-LIA benchmarks from ADTRem tool

    chc-comp/ADTRem’s past year of commit activity
    SMT 0 0 0 0 Updated Apr 21, 2023
  • aeval-unsafe Public

    Unsafe version of AE-VAL benchmarks

    chc-comp/aeval-unsafe’s past year of commit activity
    SMT 0 0 0 0 Updated Apr 21, 2023
  • ringen-adt-benchmarks Public

    ADT benchmarks generated by the RInGen tool

    chc-comp/ringen-adt-benchmarks’s past year of commit activity
    SMT 2 0 1 0 Updated Apr 21, 2023
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…