Skip to content
@go-air

go-air

⊧ Analysis and verification tools for and in Go. ⊧

Pinned Loading

  1. gini gini Public

    A fast SAT solver

    Go 148 16

  2. reach reach Public

    symbolic reachability checker

    Go 23 3

  3. dupi dupi Public

    A tool to find all duplicates in large sets of text documents.

    Go 16 3

Repositories

Showing 9 of 9 repositories
  • dupi Public

    A tool to find all duplicates in large sets of text documents.

    go-air/dupi’s past year of commit activity
    Go 16 Apache-2.0 3 0 0 Updated Sep 29, 2021
  • reach Public

    symbolic reachability checker

    go-air/reach’s past year of commit activity
    Go 23 MIT 3 2 0 Updated Sep 23, 2021
  • pal Public

    pointer analysis library

    go-air/pal’s past year of commit activity
    Go 6 Apache-2.0 0 9 0 Updated Sep 22, 2021
  • go-air.github.io Public

    website

    go-air/go-air.github.io’s past year of commit activity
    0 Apache-2.0 0 0 0 Updated Sep 22, 2021
  • satbenchmarks Public

    sat benchmarks

    go-air/satbenchmarks’s past year of commit activity
    0 0 0 0 Updated Sep 22, 2021
  • biblio Public

    A bibliography of interesting works.

    go-air/biblio’s past year of commit activity
    1 0 0 0 Updated Aug 27, 2021
  • gini Public

    A fast SAT solver

    go-air/gini’s past year of commit activity
    Go 148 MIT 16 4 0 Updated Aug 26, 2021
  • .github Public
    go-air/.github’s past year of commit activity
    0 0 0 0 Updated Aug 26, 2021
  • docker Public

    docker files for go-air tools and services

    go-air/docker’s past year of commit activity
    Dockerfile 0 0 0 0 Updated Aug 15, 2021

Top languages

Loading…