Commits

Breadcrumbs

History for

onunstable

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 6, 2020

• a simple way to gather profiling data (apalache-mc#319)

  Show description for 8dd68a3
  

  konnov

  and

  Shon Feder

  authored
  8dd68a3

  Copy full SHA for 8dd68a3

Commits on Nov 2, 2020

• Fix 297: add support for multi-argument recursive functions (apalache-mc#312)

  Show description for b202665
  konnov

  authored
  b202665

  Copy full SHA for b202665

Commits on Oct 29, 2020

• better diagnostics in preprocessing (apalache-mc#311)

  konnov

  authored
  209962f

  Copy full SHA for 209962f

Commits on Oct 28, 2020

• fix apalache-mc#303: friendly messages on unexpected expressions (apalache-mc#305)

  konnov

  authored
  ec7f02f

  Copy full SHA for ec7f02f

Commits on Oct 27, 2020

• Inlining lambdas and removing unused definitions (apalache-mc#301)

  Show description for 864694d
  konnov

  authored
  864694d

  Copy full SHA for 864694d

Commits on Oct 20, 2020

• Fixing 285: step 1 (apalache-mc#289)

  Show description for 7859778
  konnov

  authored
  7859778

  Copy full SHA for 7859778

Commits on Oct 16, 2020

• quickfix: a previously uncaught bug in UTFPrinter

  konnov

  committed
  8d67225

  Copy full SHA for 8d67225

Commits on Oct 13, 2020

• 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

• 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 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 Aug 8, 2020

• Bump version to 0.7.3-SNAPSHOT

  

  Shon Feder

  committed
  dd171c8

  Copy full SHA for dd171c8

• Mark the version as RELEASE

  

  Shon Feder

  committed
  d8092e1

  Copy full SHA for d8092e1

Commits on Aug 6, 2020

• bumped unstable to 0.7.2

  konnov

  committed
  0539ec2

  Copy full SHA for 0539ec2

Commits on Aug 3, 2020

• Update dependencies (apalache-mc#190)

  Show description for 90538fd
  

  Shon Feder

  authored
  90538fd

  Copy full SHA for 90538fd

• added TypingOper and parsing hooks for it

  konnov

  committed
  245abfe

  Copy full SHA for 245abfe

• updated the name for BmcOper.assign. Now it is ":=" instead of "<-"

  konnov

  committed
  fb79a79

  Copy full SHA for fb79a79

• removed the old module BMC.tla

  konnov

  committed
  077ac66

  Copy full SHA for 077ac66

• Apalache.tla: the standard module for Apalache (apalache-mc#188)

  Show description for 6d99ae0
  

  konnov

  and

  Shon Feder

  authored
  6d99ae0

  Copy full SHA for 6d99ae0

Commits on Jul 28, 2020

• Close apalache-mc#153: make JSON TLA+ encoding more suitable for JsonPath queries (apalache-mc#185)

  Show description for 22003db
  andrey-kuprianov

  authored
  22003db

  Copy full SHA for 22003db

Commits on Jul 2, 2020

• Update the github URL to reflect move to Informal Systems (apalache-mc#154)

  Show description for 4a8f0d9
  

  Shon Feder

  authored
  4a8f0d9

  Copy full SHA for 4a8f0d9

Commits on Jun 30, 2020

• Ak/jsoninput (apalache-mc#146)

  Show description for e25ea0f
  andrey-kuprianov

  authored
  e25ea0f

  Copy full SHA for e25ea0f

Commits on May 15, 2020

• closes apalache-mc#41, closes apalache-mc#112

  konnov

  committed
  abeaf82

  Copy full SHA for abeaf82

Commits on Apr 21, 2020

• Cardinality optimizations (apalache-mc#118)

  Show description for 297084a
  

  Igor Konnov

  authored
  297084a

  Copy full SHA for 297084a

Commits on Apr 17, 2020

• Unroll pass

  

  Kukovec

  committed
  f671531

  Copy full SHA for f671531

• fixing the bugs that popped out after adding recursive functions

  

  Igor Konnov

  committed
  5f86544

  Copy full SHA for 5f86544

Commits on Apr 16, 2020

• the first implementation for recursive functions

  

  Igor Konnov

  committed
  b4f00a1

  Copy full SHA for b4f00a1

Commits on Apr 15, 2020

• trivial type inference for recursive functions

  

  Igor Konnov

  committed
  188d0c6

  Copy full SHA for 188d0c6

Commits on Apr 12, 2020

• changed the json format a bit

  

  Igor Konnov

  committed
  2172ae4

  Copy full SHA for 2172ae4

• added recursive functions to Builder and JsonWriter

  

  Igor Konnov

  committed
  a8cd8d7

  Copy full SHA for a8cd8d7

• added recursive functions in KerA+

  

  Igor Konnov

  committed
  aa18e4c

  Copy full SHA for aa18e4c

• changed the IR for recursive functions, see apalache-mc#84

  

  Igor Konnov

  committed
  44e6487

  Copy full SHA for 44e6487

Commits on Apr 8, 2020

• fixed formatting for TlcCounterexampleWriter

  andrey-kuprianov

  committed
  b076fa5

  Copy full SHA for b076fa5

Commits on Apr 7, 2020

• CounterexampleWriter: wrap writers into try/finally

  andrey-kuprianov

  committed
  8ab647d

  Copy full SHA for 8ab647d

• JsonCounterexampleWriter: implementation + tests

  andrey-kuprianov

  committed
  dc3cb84

  Copy full SHA for dc3cb84

Pagination

Previous

Next