Commits

Breadcrumbs

History for

onv0.25.6

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 1, 2022

• Add impact prompt in issue templates

  

  Shon Feder

  committedJun 1, 2022
  2d15d4d

Commits on May 24, 2022

• Update PR template

  

  Shon Feder

  committedMay 24, 2022
  326a00d

Commits on May 12, 2022

• Add separate job to compile with fatal warnings

  

  Shon Feder

  committedMay 12, 2022
  255989a

Commits on Apr 27, 2022

• Merge branch 'unstable' into shon/add-code-owners

  

  Shon Feder

  committedApr 27, 2022
  4a39104

• Update .github/CODEOWNERS

  

  Shon Feder

  and

  rodrigo7491

  committedApr 27, 2022
  2fe45b7

• Bump JDK version (+ Scala version in docs) (#1662)

  thpani

  committedApr 27, 2022
  04ee3fe

Commits on Apr 14, 2022

• Update .github/CODEOWNERS

  

  Shon Feder

  and

  Kukovec

  committedApr 14, 2022
  eac52ad

• Update .github/CODEOWNERS

  

  Shon Feder

  and

  Kukovec

  committedApr 14, 2022
  a86e898

Commits on Apr 11, 2022

• Add CODEOWNERS file

  

  Shon Feder

  committedApr 11, 2022
  bb5fed9

Commits on Apr 1, 2022

• Find Apalache standard library outside of fat JAR (#1553)

  

  thpani

  and

  Shon Feder

  committedApr 1, 2022
  7fab5c4

Commits on Mar 22, 2022

• Make warnings fatal in CI

  

  Shon Feder

  committedMar 22, 2022
  41bfd03

Commits on Mar 19, 2022

• Use the apalache bot token for auto update

  

  Shon Feder

  committedMar 19, 2022
  be5f84f

• Add auto-update github action

  

  Shon Feder

  committedMar 19, 2022
  e08b7ce

Commits on Mar 16, 2022

• Remove dependabot config

  

  Shon Feder

  committedMar 16, 2022
  aea7ee7

Commits on Feb 28, 2022

• Remove {[BUG],[FEATURE]} from issue template title

  

  Shon Feder

  committedFeb 28, 2022
  86a2f04

Commits on Jan 31, 2022

• Add codecov token

  

  Shon Feder

  committedJan 31, 2022
  1fdf6f7

Commits on Jan 24, 2022

• Revert "tmp: test on branch"

  

  Shon Feder

  committedJan 24, 2022
  3eed3ae

• tmp: test on branch

  

  Shon Feder

  committedJan 24, 2022
  13acde1

• Fix docker continuous deployment

  

  Shon Feder

  committedJan 24, 2022
  9aac7bc

• Migrate from maven to SBT (#1234)

  

  Shon Feder

  committedJan 24, 2022
  722d22b

Commits on Nov 9, 2021

• Update feature_request.md (#1083)

  Kukovec

  committedNov 9, 2021
  8add80b

Commits on Oct 28, 2021

• Expose output configuration via CLI arguments (#1062)

  

  Shon Feder

  committedOct 28, 2021
  ae73922

Commits on Oct 26, 2021

• Add CI set up for smt-encoding work (#1061)

  

  Shon Feder

  committedOct 26, 2021
  51a4b0f

Commits on Oct 15, 2021

• Add nix-shell support (#1032)

  

  JonathanLorimer

  and

  Shon Feder

  committedOct 15, 2021
  f89be71

Commits on Oct 6, 2021

• Merge pull request #1021 from informalsystems/ci/ci-fixes

  

  Shon Feder

  committedOct 6, 2021
  6bdaea7

Commits on Oct 5, 2021

• Use apalache bot for releases

  

  Shon Feder

  committedOct 5, 2021
  987dc88

• Update all docker container references

  

  Shon Feder

  committedOct 5, 2021
  7cf3619

• Fix image name

  

  Shon Feder

  committedOct 5, 2021
  6cdd38c

Commits on Oct 4, 2021

• Add workflow to publish docker images to GitHub

  

  Shon Feder

  committedOct 4, 2021
  b272390

Commits on Jul 30, 2021

• Use setup-ocaml v2 (#937)

  

  Shon Feder

  committedJul 30, 2021
  0680a17

Commits on May 4, 2021

• Remove homebrew update (#809)

  

  Shon Feder

  committedMay 4, 2021
  93ee5a1

Commits on Apr 13, 2021

• Create FUNDING.md

  

  Shon Feder

  committedApr 13, 2021
  5257276

Commits on Apr 12, 2021

• Try updating homebrew

  shonfeder

  committedApr 12, 2021
  d661c15

Commits on Mar 25, 2021

• Clarify instructions on issue template (#681)

  

  Shon Feder

  committedMar 25, 2021
  2a28d10

Commits on Mar 24, 2021

• Update issue templates (#674)

  konnov

  committedMar 24, 2021
  1d9c630

Pagination

PreviousNext