JujuYuki / godel2Links
Godel Checker with data race detection
☆9Updated 3 years ago
Alternatives and similar repositories for godel2
Users that are interested in godel2 are comparing it to the libraries listed below
Sorting:
- Go static program analyser☆58Updated 5 years ago
- A simple static checker for unused results.☆23Updated last year
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- automate Go compiler comparisons☆24Updated 2 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Regular expression libraries for Go☆15Updated 3 years ago
- Bindings for the Z3 SMT solver☆31Updated 2 years ago
- Go allocation trace utilities☆15Updated 4 years ago
- Object file abstractions in Go☆30Updated last year
- A radix sorting library for Go (golang)☆53Updated last year
- github.com/cznic/hash has moved to modernc.org/hash☆15Updated 6 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- convert from a Go AST to JSON☆42Updated 4 years ago
- ssaview live-renders the SSA representation of a go program☆70Updated 9 years ago
- Benchmark and test getter + runner☆29Updated 3 years ago
- Run Go executables under llvm-mca☆13Updated 3 years ago
- An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)☆94Updated 2 years ago
- Vgo is a compiler for vector expressions. It generates SSE2 code for amd64.☆34Updated 7 years ago
- Golang port of simdjson☆86Updated 5 years ago
- Test suite for implementations of Featherweight Generic Go☆34Updated 4 years ago
- symbolic reachability checker☆23Updated 3 years ago
- A radix Merkle tree stored on disk☆12Updated 11 years ago
- amd64 instruction assembler☆90Updated 7 years ago
- Assembly-optimized Marvin32 hash function☆12Updated last year
- Automatically exported from code.google.com/p/gosmith☆52Updated 9 years ago
- Reference implementations for golang/go#38203 and golang/go#19367.☆26Updated 3 years ago
- Go regexp for binary/latin-1 data☆48Updated 6 years ago
- A Go API for perf_event_open☆24Updated 11 months ago
- A Golang library that implements the Hierarchical State Machine(HSM).☆47Updated 10 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 4 years ago