Commits

Branch selector

 e36329c

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 16, 2020

• fixed the test, no more quickfixes in unstable

  konnov

  committed
  e36329c

  Copy full SHA for e36329c

• quickfix: a previously uncaught bug in UTFPrinter

  konnov

  committed
  8d67225

  Copy full SHA for 8d67225

• quickfix: bug in the canonical SPEC format

  konnov

  committed
  dfd2709

  Copy full SHA for dfd2709

Commits on Oct 15, 2020

• Update Typing's Operator typing operator (apalache-mc#282)

  Show description for 058dd75
  

  Shon Feder

  authored
  058dd75

  Copy full SHA for 058dd75

Commits on Oct 14, 2020

• Bump tla2tools to 1.7.0 (apalache-mc#281)

  Show description for 8a19a8a
  konnov

  authored
  8a19a8a

  Copy full SHA for 8a19a8a

• Assignment cover analysis (apalache-mc#261)

  Show description for 944d2b0
  

  Kukovec

  authored
  944d2b0

  Copy full SHA for 944d2b0

• Disabled caching (apalache-mc#276)

  Show description for ac8b007
  

  Kukovec

  authored
  ac8b007

  Copy full SHA for ac8b007

• Add TlaType1 methods for inspecting type variable names (apalache-mc#264)

  Show description for e26b94a
  

  Shon Feder

  authored
  e26b94a

  Copy full SHA for e26b94a

Commits on Oct 13, 2020

• closing apalache-mc#272: better diagnostics for recursive operators (apalache-mc#275)

  Show description for 5835a25
  konnov

  authored
  5835a25

  Copy full SHA for 5835a25

• Better diagnostics in ConfigurationPassImpl (apalache-mc#270)

  Show description for 6167807
  

  konnov

  and

  Shon Feder

  authored
  6167807

  Copy full SHA for 6167807

• chunk 2 from ik/multicore: making caches Serializable and Recoverable (apalache-mc#277)

  Show description for 9769f18
  konnov

  authored
  9769f18

  Copy full SHA for 9769f18

• a slice from ik/multicore: operators made Serializable (apalache-mc#271)

  Show description for 67e2274
  konnov

  authored
  67e2274

  Copy full SHA for 67e2274

Commits on Oct 12, 2020

• Fix logging for integration tests (apalache-mc#269)

  Show description for b643cc4
  

  Shon Feder

  authored
  b643cc4

  Copy full SHA for b643cc4

• Correct sequence of logging configuration

  

  Shon Feder

  committed
  6eb4e4f

  Copy full SHA for 6eb4e4f

• Fix logging for integration tests

  Show description for fe1417e
  

  Shon Feder

  committed
  fe1417e

  Copy full SHA for fe1417e

• Bump junit from 4.13 to 4.13.1 (apalache-mc#268)

  dependabot[bot]

  authored
  abe4ebd

  Copy full SHA for abe4ebd

• Bump ujson_2.12 from 1.2.1 to 1.2.2 (apalache-mc#267)

  Show description for 303a28d
  dependabot[bot]

  authored
  303a28d

  Copy full SHA for 303a28d

Commits on Oct 9, 2020

• Add operators for type annotated empty collections (apalache-mc#260)

  Show description for a1b8b84
  

  Shon Feder

  authored
  a1b8b84

  Copy full SHA for a1b8b84

Commits on Oct 8, 2020

• Update ADR2 to address type ascriptions for empty collections (apalache-mc#256)

  Show description for 8d1a6c6
  

  Shon Feder

  authored
  8d1a6c6

  Copy full SHA for 8d1a6c6

• fixing TLA_PATH (apalache-mc#255)

  Show description for 59e3928
  

  Shon Feder

  and

  konnov

  authored
  59e3928

  Copy full SHA for 59e3928

• Make nature of pathology more explicit

  

  Shon Feder

  committed
  dbcf4d2

  Copy full SHA for dbcf4d2

• Update ADR2 to support better type errors

  Show description for a49cd0e
  

  Shon Feder

  committed
  a49cd0e

  Copy full SHA for a49cd0e

• Use cram-style integration tests (apalache-mc#250)

  Show description for 52c4d1c
  

  Shon Feder

  authored
  52c4d1c

  Copy full SHA for 52c4d1c

Commits on Oct 7, 2020

• talks related to Apalache (apalache-mc#254)

  Show description for a62a2a9
  konnov

  authored
  a62a2a9

  Copy full SHA for a62a2a9

Commits on Oct 5, 2020

• Bump ujson_2.12 from 1.2.0 to 1.2.1 (apalache-mc#253)

  Show description for e9823e7
  dependabot[bot]

  authored
  e9823e7

  Copy full SHA for e9823e7

Commits on Sep 24, 2020

• Use GitHub action badge for unstable branch (apalache-mc#245)

  Show description for fc9c3da
  

  Shon Feder

  authored
  fc9c3da

  Copy full SHA for fc9c3da

Commits on Sep 23, 2020

• Run integration tests in separate build server (apalache-mc#243)

  Show description for cf323bc
  

  Shon Feder

  authored
  cf323bc

  Copy full SHA for cf323bc

• Remove .travis.yml (apalache-mc#241)

  Show description for afc1ca6
  

  Shon Feder

  authored
  afc1ca6

  Copy full SHA for afc1ca6

• Use github actions for CI (apalache-mc#239)

  Show description for 272135d
  

  Shon Feder

  authored
  272135d

  Copy full SHA for 272135d

• Add apalache logo to README (apalache-mc#242)

  

  Shon Feder

  authored
  f55e54e

  Copy full SHA for f55e54e

• Remove lingering 3rdparty references (apalache-mc#236)

  Show description for 6986d24
  

  Shon Feder

  authored
  6986d24

  Copy full SHA for 6986d24

• Bump commons-io from 2.7 to 2.8.0 (apalache-mc#234)

  dependabot[bot]

  authored
  0c6ee14

  Copy full SHA for 0c6ee14

• Removed outdated type inference files (apalache-mc#238)

  

  Kukovec

  authored
  fb71219

  Copy full SHA for fb71219

• Bump scoverage-maven-plugin from 1.4.0 to 1.4.1 (apalache-mc#232)

  Show description for f0f94b7
  dependabot[bot]

  authored
  f0f94b7

  Copy full SHA for f0f94b7

• Bump git-commit-id-plugin from 2.2.5 to 4.0.2 (apalache-mc#231)

  Show description for c1bba9c
  dependabot[bot]

  authored
  c1bba9c

  Copy full SHA for c1bba9c

Pagination

Previous

Next