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
- Regular expression libraries for Go☆15Updated 3 years ago
- Static Trace-Based Deadlock Analysis for Synchronous Mini-Go☆20Updated 8 years ago
- A simple static checker for unused results.☆23Updated last year
- automate Go compiler comparisons☆24Updated 2 years ago
- Tool developped for "Bounded verification of message passing concurrency in Go programs."☆44Updated 2 years ago
- Interactive object file browser with symbol, source, assembly, and analysis☆22Updated last year
- Gong liveness and channel safety checker☆30Updated 7 years ago
- Bindings for the Z3 SMT solver☆31Updated 2 years ago
- Object file abstractions in Go☆30Updated 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
- symbolic reachability checker☆23Updated 3 years ago
- convert from a Go AST to JSON☆42Updated 4 years ago
- POC on how to use WebAssembly binaries generated by the Go compiler in a non-web environment☆24Updated 6 years ago
- ☆20Updated 5 years ago
- Tough Fuzzer is an obstacle course for go-fuzz composed of a series of small code samples which encapsulate the most common obstacles to …☆18Updated 3 years ago
- Test suite for implementations of Featherweight Generic Go☆34Updated 4 years ago
- ☆51Updated 2 years ago
- Vgo is a compiler for vector expressions. It generates SSE2 code for amd64.☆34Updated 7 years ago
- Allotment Routing Table☆57Updated 3 years ago
- A Golang library that implements the Hierarchical State Machine(HSM).☆47Updated 10 years ago
- Leakcheck checks whether program cleanly uses files and connections☆21Updated 5 years ago
- Run Go executables under llvm-mca☆13Updated 3 years ago
- A radix sorting library for Go (golang)☆53Updated last year
- Roaring Bitmaps - compressed bitmaps in Go☆48Updated 10 years ago
- github.com/cznic/ir has moved to modernc.org/ir☆11Updated 6 years ago
- Go regexp for binary/latin-1 data☆48Updated 6 years ago
- Benchmark and test getter + runner☆29Updated 3 years ago
- ssaview live-renders the SSA representation of a go program☆70Updated 9 years ago