Search results

Archive this repo

Status: Open.

#131 In apalache-mc/apalache-tests;

· thpani opened on Oct 12, 2023

A few issues with the Raft spec

Status: Open.

#124 In apalache-mc/apalache-tests;

· heidihoward opened on Apr 19, 2022

extend these benchmarks with the Informal specifications,

Status: Open.

#29 In apalache-mc/apalache-tests;

· shonfeder opened on Feb 20, 2021

Tag benchmark runs with specifications of the machines they are run on

Status: Open.

#20 In apalache-mc/apalache-tests;

· shonfeder opened on Feb 3, 2021

Add support for long-running benchmarks

Status: Open.

#17 In apalache-mc/apalache-tests;

· shonfeder opened on Feb 3, 2021

Migrate build system to the main apalache repo?

Status: Open.

#16 In apalache-mc/apalache-tests;

· shonfeder opened on Feb 3, 2021

Fix support for running tlc benchmarks

Status: Open.

#8 In apalache-mc/apalache-tests;

· shonfeder opened on Jul 23, 2020

Add buggy benchmarks

Status: Open.

#4 In apalache-mc/apalache-tests;

· konnov opened on Jul 5, 2020