Commits

Branch selector

 unstable

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 18, 2020

• link to the idioms

  konnov

  committed
  e6733f3

  Copy full SHA for e6733f3

• Starting the document on TLA+ idioms (apalache-mc#325)

  Show description for 1e4bca0
  

  konnov

  and

  adizere

  authored
  1e4bca0

  Copy full SHA for 1e4bca0

Commits on Nov 17, 2020

• ETC-11: Add TypeChecker command (apalache-mc#329)

  Show description for d8803db
  

  Shon Feder

  and

  konnov

  authored
  d8803db

  Copy full SHA for d8803db

Commits on Nov 11, 2020

• ETC-10: TypeChecker (apalache-mc#323)

  Show description for e8ba65f
  

  Shon Feder

  authored
  e8ba65f

  Copy full SHA for e8ba65f

• added Schroedinger cat

  konnov

  committed
  8e527a0

  Copy full SHA for 8e527a0

Commits on Nov 9, 2020

• fix apalache-mc#320: print the SMT model in comments rather than in plain output (apalache-mc#326)

  konnov

  authored
  3ff614b

  Copy full SHA for 3ff614b

Commits on Nov 6, 2020

• Implement 318: random seeds in z3 (apalache-mc#321)

  Show description for 3460662
  konnov

  authored
  3460662

  Copy full SHA for 3460662

• 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 4, 2020

• ETC-9: Add ToEtcExpr moduless (apalache-mc#307)

  Show description for c66df6a
  

  Shon Feder

  authored
  c66df6a

  Copy full SHA for c66df6a

Commits on Nov 2, 2020

• Bump git-commit-id-plugin from 4.0.2 to 4.0.3 (apalache-mc#316)

  Show description for d045a1c
  dependabot[bot]

  authored
  d045a1c

  Copy full SHA for d045a1c

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

  Show description for b202665
  konnov

  authored
  b202665

  Copy full SHA for b202665

• Workaround for issue apalache-mc#130 (apalache-mc#315)

  Show description for b26364f
  konnov

  authored
  b26364f

  Copy full SHA for b26364f

Commits on Oct 29, 2020

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

  konnov

  authored
  209962f

  Copy full SHA for 209962f

• fix apalache-mc#143: correct translation of chained substitutions in INSTANCE (apalache-mc#306)

  Show description for dc04c10
  konnov

  authored
  dc04c10

  Copy full SHA for dc04c10

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

• Accept expressions as the first arguments of EXCEPT (apalache-mc#302)

  Show description for cd81a60
  konnov

  authored
  cd81a60

  Copy full SHA for cd81a60

Commits on Oct 27, 2020

• ETC-8: Add Substition and Unification modules (apalache-mc#294)

  Show description for cd86742
  

  Shon Feder

  and

  konnov

  authored
  cd86742

  Copy full SHA for cd86742

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

  Show description for 864694d
  konnov

  authored
  864694d

  Copy full SHA for 864694d

Commits on Oct 22, 2020

• fix 295: support for LOCAL INSTANCE Sequences (apalache-mc#296)

  Show description for a844311
  konnov

  authored
  a844311

  Copy full SHA for a844311

Commits on Oct 21, 2020

• fix 292: better diagnostics for type annotations in type annotations (apalache-mc#293)

  Show description for 5f61f46
  konnov

  authored
  5f61f46

  Copy full SHA for 5f61f46

Commits on Oct 20, 2020

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

  Show description for 7859778
  konnov

  authored
  7859778

  Copy full SHA for 7859778

• refactoring theories and arenas (apalache-mc#280)

  konnov

  authored
  de31209

  Copy full SHA for de31209

• ETC7: Add Type1 parser and lexer changes (apalache-mc#291)

  Show description for 5e23778
  

  Shon Feder

  authored
  5e23778

  Copy full SHA for 5e23778

Commits on Oct 19, 2020

• ETC-7: Add EtcBuilder module (apalache-mc#290)

  Show description for a7a9c18
  

  Shon Feder

  authored
  a7a9c18

  Copy full SHA for a7a9c18

• ETC-6: Add the EtcExpr module (apalache-mc#284)

  Show description for 05397af
  

  Shon Feder

  authored
  05397af

  Copy full SHA for 05397af

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

Pagination

Previous

Next