JujuYuki / godel2
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
- Go static program analyser☆58Updated 5 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆44Updated last year
- automate Go compiler comparisons☆24Updated last year
- LLVM IR generation "middle end" for LLVM-based go compiler.☆18Updated 2 years ago
- Bindings for the Z3 SMT solver☆30Updated 2 years ago
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- symbolic reachability checker☆23Updated 3 years ago
- A simple static checker for unused results.☆23Updated last year
- A radix sorting library for Go (golang)☆51Updated last year
- Bootstrap Go bindings for Clang's C API☆20Updated last year
- Gong liveness and channel safety checker☆30Updated 7 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- Basic paxos☆30Updated 11 years ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- Assembly-optimized Marvin32 hash function☆12Updated last year
- Regular expression libraries for Go☆15Updated 3 years ago
- github.com/cznic/hash has moved to modernc.org/hash☆15Updated 6 years ago
- Vgo is a compiler for vector expressions. It generates SSE2 code for amd64.☆34Updated 7 years ago
- Reference implementations for golang/go#38203 and golang/go#19367.☆26Updated 3 years ago
- A libjit wrapper for Golang☆24Updated 11 years ago
- Roaring Bitmaps - compressed bitmaps in Go☆47Updated 10 years ago
- Object file abstractions in Go☆30Updated last year
- Peggy is a PEG parser generator for Go.☆19Updated 2 years ago
- wyhash fast non-cryptographic string hash☆35Updated 4 years ago
- ☆20Updated 5 years ago
- An Go library of synchronization primitives to help make use of hardware transactional memory (HTM)☆94Updated 2 years ago
- Mini prototype of FG/FGG/FGR in Go.☆98Updated 3 years ago
- Go allocation trace utilities☆14Updated 4 years ago
- Graphs in go☆18Updated 2 years ago