Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • c796811b2abe6b5c901b3886118bed3f09251731
  • master default protected
  • towards_1.8.0
  • updateTLC
  • 1.1.0-stups
  • 1.0.2-stups
  • 1.0.1-stups
  • 1.0.0-stups
8 results
Created with Raphaël 2.2.017Feb161512114327Jan262524201413631Dec3029282726211810920Nov16943227Oct26232118171522Sep211817161514924Aug2019181714131110974325Jul2322161310987130Jun2625242322191882124May181513119764130Apr2827252423212017169873131Mar3027262524151311986429Feb262521201918171613109643230Jan29272625242220191817161514131110986331Dec28272625242322212019121110986543130Nov292726242322201312119764331Oct3027252423222117161412865432125Sep24232217161513126532130Aug29282725232110876432130Jul24232218171615Prevent NPE by returning empty list instead of null.Pass existing ToolIO.out to PrintStream constructor instead of a newRemove duplicate implementation of TestPrintStream.Add documentation about SANY's packages such as its syntax treeConveniently run a subset of TLC's tests by passing a pattern to the antHint at "-help" command when TLC runs without arguments. Link toAdd an indicator icon (arrow) to the Value column of the error traceToolbox's Error-Trace marks wrong variables as changed when sortAdd proper description to what the Error-Trace font setting applies.Add an indicator icon (arrow) to the Value column of the error traceAn option to turn off line-wrapping during printing or dumpingBump Eclipse Foundation to 4.18/2020-12 release.CommunityModules-deps.jar gets outdated in Toolbox if buildsUnify Simulation and ModelChecker constructors.Prevent NPE when trying to print the human-readable image of a LAMBDAName clash between variable in refined spec and operator in instantiatedFix SANY confusing print about not finding moduleFall back to first SimulationWorker when e.g. TLCExt!Trace is evaluatedArrayIndexOutOfBoundsException because of TLCExt!Trace operator inAdd readme how to run TLC's test suite.Fix typo in string that is shown by the Toolbox when a model has to be repaired.Attempting to finish uncompleted switch from "TLA+ Cheat Sheet" toChanged "TLA+ Cheat Sheet" to "Summary of TLA+". However, change to theError with TLA+ Eclipse IDE setup with Oomph.Set release date and increment version number of PlusCal to align withAdd instructions how to get rid of outdated/legacy PlusCal divergenceSet release date and increment version number of TLC.Build 1.7.1 release from v1.7.1 branch.Update changelog up to git commit 8b52d23.Liveness checking not performed when TLC is run in DFID mode.TLC with multiple workers in DFID mode intermittently fails to findToolbox with profiling enabled, mismatches in the profiler's cost model,Write done flag from a synchronized block to prevent dirty reads.Replace custom implementation of (heap) sort in TeX withAtNode does not show up in (dot) graph output of semantic explorerDo not upload/rsync *unsigned* TLAToolbox macOS zip from Linux/Ubuntu job, butCopy doc/ folder to INRIA machine.Recent versions of the build (Eclipse) seem to no longer addBack to state missing for lasso error trace found by simulation.Temporarily disable RCPTT tests that fail with Eclipse 4.16.