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 4 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 7 years ago
- automate Go compiler comparisons☆24Updated last year
- 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
- Gong liveness and channel safety checker☆30Updated 7 years ago
- A libjit wrapper for Golang☆24Updated 11 years ago
- Go allocation trace utilities☆14Updated 4 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆44Updated last year
- x86-64 instruction encoder in Go☆21Updated 5 years ago
- Reference implementations for golang/go#38203 and golang/go#19367.☆26Updated 3 years ago
- Regular expression libraries for Go☆15Updated 3 years ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- Go regexp for binary/latin-1 data☆48Updated 5 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated 11 months ago
- Bindings for the Z3 SMT solver☆30Updated 2 years ago
- POC on how to use WebAssembly binaries generated by the Go compiler in a non-web environment☆24Updated 6 years ago
- Work space for golang.org/x/perf version 2☆20Updated 4 years ago
- Benchmark and test getter + runner☆29Updated 3 years ago
- A high-performance, memory-efficient concurrent hash table☆36Updated 11 years ago
- Fuzz Testing for the github.com/hashicorp/raft library☆29Updated 2 years ago
- ☆20Updated 5 years ago
- Graphs in go☆18Updated 2 years ago
- github.com/cznic/wl has moved to modernc.org/wl☆28Updated 6 years ago
- github.com/cznic/hash has moved to modernc.org/hash☆15Updated 6 years ago
- A vet analyzer which checks sql queries for correctness☆10Updated 6 years ago
- Golang (as of 1.12.5) runtime internals that gives you an access to internal scheduling primitives. Park Gs, read IDs. (for learning purp…☆70Updated 5 years ago
- Vgo is a compiler for vector expressions. It generates SSE2 code for amd64.☆34Updated 7 years ago
- A tool for reading Go core files☆16Updated 7 years ago