Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 27, 2021

• ci

  aep

  committedMar 27, 2021
  f8d5117

Commits on Sep 24, 2020

• CI: use yices2

  aep

  committedSep 24, 2020
  9e23917

Commits on Jul 30, 2020

• push every built binary to bin.zetz.io

  aep

  committedJul 30, 2020
  1c8751e

Commits on Jul 23, 2020

• m

  aep

  committedJul 23, 2020
  2b77d57

Loading