Commits

Branch selector

 trunk

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 27, 2023

• Update main.yml

  

  Shon Feder

  committedFeb 27, 2023
  9950630

Commits on Feb 25, 2023

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedFeb 25, 2023
  0408e84

Commits on Feb 18, 2023

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedFeb 18, 2023
  e31c472

Commits on Feb 4, 2023

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedFeb 4, 2023
  6fa6131

Commits on Feb 3, 2023

• Update Raft spec to TypeSystem 1.2

  thpani

  committedFeb 3, 2023
  b23435a

• Revert "Disable BenchExec chmod workaround"

  thpani

  committedFeb 3, 2023
  c0c5c0a

• Downgrade Ubuntu runner to 20.04

  thpani

  committedFeb 3, 2023
  4196ba5

• Disable BenchExec chmod workaround

  thpani

  committedFeb 3, 2023
  85a4615

Commits on Feb 1, 2023

• Fix redundant assignments in Raft spec

  

  thpani

  and

  kikimo

  committedFeb 1, 2023
  c850d94

• Remove ping-igor GH workflow

  thpani

  committedFeb 1, 2023
  dfce154

Commits on Dec 3, 2022

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedDec 3, 2022
  12033b8

Commits on Nov 26, 2022

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedNov 26, 2022
  59702bc

Commits on Nov 19, 2022

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedNov 19, 2022
  3913fd0

Commits on Nov 12, 2022

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedNov 12, 2022
  c647fae

Commits on Nov 8, 2022

• Merge pull request #91 from informalsystems/ro/new_examples

  

  Shon Feder

  committedNov 8, 2022
  0dd6ec4

Commits on Nov 7, 2022

• update examplesSpecs

  rodrigo7491

  committedNov 7, 2022
  82a8f44

• update build files

  rodrigo7491

  committedNov 7, 2022
  373c673

• Merge branch 'trunk' of https://github.com/informalsystems/apalache-bench into ro/new_examples

  rodrigo7491

  committedNov 7, 2022
  3a9d589

Commits on Nov 5, 2022

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedNov 5, 2022
  40c90fd

Commits on Oct 29, 2022

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedOct 29, 2022
  3946347

Commits on Oct 22, 2022

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedOct 22, 2022
  88c05f0

Commits on Oct 15, 2022

• [Bot] Adding reports from run of Apalache version #main

  

  apalache-bench-ci

  committedOct 15, 2022
  6fc8d82

Commits on Oct 12, 2022

• update run config

  rodrigo7491

  committedOct 12, 2022
  bd2c8d8

• update run config

  rodrigo7491

  committedOct 12, 2022
  3e3b339

Commits on Oct 11, 2022

• update default cmdPars

  rodrigo7491

  committedOct 11, 2022
  7d70f2f

• arrays CE test on cf1s_folklore

  rodrigo7491

  committedOct 11, 2022
  c24b495

• acceleration

  Kukovec

  committedOct 11, 2022
  951f3e0

Commits on Oct 10, 2022

• update bosco spec

  rodrigo7491

  committedOct 10, 2022
  19b3bb3

• update config file

  rodrigo7491

  committedOct 10, 2022
  fa08b86

• spec tweaks

  Kukovec

  committedOct 10, 2022
  6aa3c16

• .

  Kukovec

  committedOct 10, 2022
  a10f6f6

• bosco fix

  Kukovec

  committedOct 10, 2022
  b4d3774

Commits on Oct 8, 2022

• update timelimit

  rodrigo7491

  committedOct 8, 2022
  aad1306

• update setup

  rodrigo7491

  committedOct 8, 2022
  7f2a94f

• add var files

  rodrigo7491

  committedOct 8, 2022
  ebebfa2

Pagination

PreviousNext