Commits

Branch selector

 master

User selector

lemmy

Datepicker

All time

Commit History

Commits on Nov 12, 2024

• Support running the TLA+ debugger with multiple workers in simulation

  Show description for 639382e
  lemmy

  committed
  639382e

  Copy full SHA for 639382e

• Prevent debugger worker from evaluating PERIODIC expression.

  Show description for 656e06e
  lemmy

  committed
  656e06e

  Copy full SHA for 656e06e

• Support running the TLA+ debugger with multiple workers.

  Show description for 427b8af
  lemmy

  committed
  427b8af

  Copy full SHA for 427b8af

• Support running the TLA+ debugger with multiple workers.

  Show description for 86f8597
  lemmy

  committed
  86f8597

  Copy full SHA for 86f8597

Commits on Nov 11, 2024

• Migrate from actions/cache@1 to actions/cache@4 because @1 is EOLed

  Show description for 2a2db51
  lemmy

  authored
  2a2db51

  Copy full SHA for 2a2db51

• Do not validate PostCondition when running with experimental liveness

  Show description for ad9d1c0
  lemmy

  committed
  ad9d1c0

  Copy full SHA for ad9d1c0

• Evaluate the ALIAS expression on counterexamples generated by liveness

  Show description for 4b92d0a
  lemmy

  committed
  4b92d0a

  Copy full SHA for 4b92d0a

• Incorrect action names in TLCExt!CounterExample.

  Show description for 28c7389
  lemmy

  committed
  28c7389

  Copy full SHA for 28c7389

• Strengthen tests and assert TLCExt!CounterExample.

  Show description for b236b43
  lemmy

  committed
  b236b43

  Copy full SHA for b236b43

• Strengthen tests by asserting that TLCGet("level") is correctly

  Show description for 1c654b1
  lemmy

  committed
  1c654b1

  Copy full SHA for 1c654b1

• java.lang.ArrayIndexOutOfBoundsException with TLCExt!lassoOrdinal when

  Show description for b4a572a
  lemmy

  committed
  b4a572a

  Copy full SHA for b4a572a

• Strengthen unit tests to assert successful evaluation of (built-in)

  Show description for 65c9cd1
  lemmy

  committed
  65c9cd1

  Copy full SHA for 65c9cd1

• Strengthen unit tests to assert action names.

  Show description for 4e6bc45
  lemmy

  committed
  4e6bc45

  Copy full SHA for 4e6bc45

• Let only one worker print a (liveness) counterexample.

  Show description for 73219dc
  lemmy

  committed
  73219dc

  Copy full SHA for 73219dc

• Display the liveness checking startup banner only once.

  Show description for 7fc8df9
  lemmy

  committed
  7fc8df9

  Copy full SHA for 7fc8df9

• Checking liveness properties in simulation mode creates a scalability

  Show description for 67ebaf7
  lemmy

  committed
  67ebaf7

  Copy full SHA for 67ebaf7

Commits on Nov 8, 2024

• Prevent tests from cluttering the workspace with generated files.

  Show description for 6ba8ef9
  lemmy

  committed
  6ba8ef9

  Copy full SHA for 6ba8ef9

Commits on Nov 7, 2024

• Continue job even if publishing to OSS Sonatype fails.

  Show description for 7a24629
  lemmy

  authored
  7a24629

  Copy full SHA for 7a24629

• Evaluate the ALIAS expression on counterexamples generated by liveness

  Show description for 46480fe
  lemmy

  committed
  46480fe

  Copy full SHA for 46480fe

Commits on Nov 2, 2024

• Cannot debug TLC VIEW with TLA+ Debugger.

  Show description for a405b3b
  lemmy

  committed
  a405b3b

  Copy full SHA for a405b3b

Commits on Nov 1, 2024

• ClassCastException when evaluating TLCGet("spec") with coverage enabled.

  Show description for 44d0b62
  lemmy

  committed
  44d0b62

  Copy full SHA for 44d0b62

Commits on Oct 30, 2024

• Annotate the GraphNode if it fulfills the promises.

  Show description for dd44222
  lemmy

  committed
  dd44222

  Copy full SHA for dd44222

Commits on Oct 18, 2024

• POSTCONDITION is evaluated twice with different values for

  Show description for 75fef6e
  lemmy

  committed
  75fef6e

  Copy full SHA for 75fef6e

Commits on Oct 7, 2024

• A race can occur in TLCExt!TLCGetAndSet if `key \in DOMAIN

  Show description for 2360829
  lemmy

  committed
  2360829

  Copy full SHA for 2360829

Commits on Oct 6, 2024

• TLCExt!TLCEvalDefinition(name) equals the value of the definition

  Show description for f9b0a2f
  lemmy

  committed
  f9b0a2f

  Copy full SHA for f9b0a2f

Commits on Oct 4, 2024

• TLC throws an EvalException when reconstructing a counterexample if the

  Show description for 1156d77
  lemmy

  committed
  1156d77

  Copy full SHA for 1156d77

Commits on Oct 3, 2024

• TLCExt!TLCEvalDefinition(name) equals the value of the definition

  Show description for 813e9c5
  lemmy

  committed
  813e9c5

  Copy full SHA for 813e9c5

Commits on Oct 2, 2024

• Include CONSTRAINT and ACTION_CONSTRAINT in TLCGet("spec").

  Show description for db98efb
  lemmy

  committed
  db98efb

  Copy full SHA for db98efb

• Evaluate _PERIODIC in simulation mode.

  Show description for f764fbf
  lemmy

  committed
  f764fbf

  Copy full SHA for f764fbf

Commits on Oct 1, 2024

• Add documentation for constrained sub-command that causes TLC to

  Show description for bdd991e
  lemmy

  committed
  bdd991e

  Copy full SHA for bdd991e

Commits on Sep 30, 2024

• Upload tla2tools.jar maven packages to OSS Sonatype (see ossrh.xml.README) instead of authentication-only Github maven packages.

  Show description for 02c8a36
  lemmy

  committed
  02c8a36

  Copy full SHA for 02c8a36

• Bump tla2tools.jar maven version to 1.8.0

  Show description for f129580
  lemmy

  committed
  f129580

  Copy full SHA for f129580

Commits on Sep 18, 2024

• Allow CommunityModules to trigger a build by sending a repository_dispatch

  Show description for 4754776
  lemmy

  committed
  4754776

  Copy full SHA for 4754776

Commits on Sep 13, 2024

• Better parameterized instantiation support in behavior spec.

  Show description for caf0c33
  lemmy

  committed
  caf0c33

  Copy full SHA for caf0c33

• Refinement checking for INSTANCEs with arguments.

  Show description for 3465b79
  lemmy

  committed
  3465b79

  Copy full SHA for 3465b79

Pagination

Previous

Next