Renaissance benchmark suite

Pinned Repositories

.github
Profile repository
00
dependency-cafesat
The CafeSat SMT solver for Scala
Language:Scala1 2 00
dependency-reactors
A foundational framework for distributed programming.
Language:Scala0 2 00
dependency-scala-smtlib
Scala library for parsing and printing the SMT-LIB format
Language:SMT0 2 00
docker-buildenv
Dockerfiles for CI
Language:Dockerfile0 5 01
measurements
The measurement processing scripts and results for the Renaissance Benchmark Suite
Language:Shell0 5 01
renaissance
The Renaissance Benchmark Suite
Language:SMT307 25 15257
renaissance-benchmarks.github.io
Public web site for the Renaissance Benchmark Suite
Language:CSS2 7 10
utilities-r
Benchmark result processing utilities for R
Language:R0 4 00

Renaissance benchmark suite's Repositories

renaissance-benchmarks/renaissance
The Renaissance Benchmark Suite
Language:SMT307 25 15257
renaissance-benchmarks/renaissance-benchmarks.github.io
Public web site for the Renaissance Benchmark Suite
Language:CSS2 7 10
renaissance-benchmarks/dependency-cafesat
The CafeSat SMT solver for Scala
Language:Scala1 2 00
renaissance-benchmarks/.github
Profile repository
00
renaissance-benchmarks/dependency-reactors
A foundational framework for distributed programming.
Language:Scala0 2 00
renaissance-benchmarks/dependency-scala-smtlib
Scala library for parsing and printing the SMT-LIB format
Language:SMT0 2 00
renaissance-benchmarks/docker-buildenv
Dockerfiles for CI
Language:Dockerfile0 5 01
renaissance-benchmarks/measurements
The measurement processing scripts and results for the Renaissance Benchmark Suite
Language:Shell0 5 01
renaissance-benchmarks/utilities-r
Benchmark result processing utilities for R
Language:R0 4 00