Commits

Branch selector

 d8b964a

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 31, 2022

• Fixed initialisation issue with thread_pool and missing resize of container protection set

  mlaveaux

  committed
  d8b964a

  Copy full SHA for d8b964a

Commits on Aug 25, 2022

• Mistake in balanced tree.

  Show description for d47e848
  jgroote

  committed
  d47e848

  Copy full SHA for d47e848

• [mcrl2ide] Fixed find/replace buttons not updating when switching editors

  Valo13

  committed
  6732a65

  Copy full SHA for 6732a65

Commits on Aug 22, 2022

• [mcrl2ide] The find and replace dialog and property dialogs now remember their location after closing

  Show description for 1717ad3
  Valo13

  committed
  1717ad3

  Copy full SHA for 1717ad3

• [mcrl2ide] Improved the find and replace dialog

  Show description for f14ce49
  Valo13

  committed
  f14ce49

  Copy full SHA for f14ce49

Commits on Aug 19, 2022

• [mcrl2ide] Changed the behaviour of Edit actions

  Show description for 91ffe8b
  Valo13

  committed
  91ffe8b

  Copy full SHA for 91ffe8b

• [mcrl2ide] Fixed cache using incomplete LTS file after lps2lts was aborted

  Show description for cc7805a
  Valo13

  committed
  cc7805a

  Copy full SHA for cc7805a

• [mcrl2ide] Fixed some formatting

  Valo13

  committed
  ac8fcca

  Copy full SHA for ac8fcca

Commits on Aug 18, 2022

• [mcrl2ide] Changed the behaviour when a property is successfully parsed

  Show description for 5fe1878
  Valo13

  committed
  5fe1878

  Copy full SHA for 5fe1878

• [mcrl2ide] Activating the find and replace window now selects the text in the "find" field

  Show description for 55593c1
  Valo13

  committed
  55593c1

  Copy full SHA for 55593c1

• [mcrl2ide] Fixed not asking to save changes when no project is open

  Valo13

  committed
  b5e64a5

  Copy full SHA for b5e64a5

• [mcrl2ide] Changed the behaviour of the property widget when changing the property

  Show description for 9664496
  Valo13

  committed
  9664496

  Copy full SHA for 9664496

• [mcrl2ide] Added shortcuts for find next and find previous

  Show description for 6429cdb
  Valo13

  committed
  6429cdb

  Copy full SHA for 6429cdb

Commits on Aug 16, 2022

• Added a preliminary description of the chaining attractor computation.

  mlaveaux

  committed
  82b37bd

  Copy full SHA for 82b37bd

• Fixed compilation under MSVC 2022.

  Show description for 3aa2bdc
  mlaveaux

  committed
  3aa2bdc

  Copy full SHA for 3aa2bdc

Commits on Aug 11, 2022

• Additional file belonging to the previous commit.

  jgroote

  committed
  c1768ab

  Copy full SHA for c1768ab

• Made a copy of ltsview.

  Show description for f28e09b
  jgroote

  committed
  f28e09b

  Copy full SHA for f28e09b

Commits on Aug 6, 2022

• Repaired a spelling error.

  jgroote

  committed
  a9ba0d0

  Copy full SHA for a9ba0d0

Commits on Jul 25, 2022

• Check whether renamed action becomes empty

  Show description for 9977d2b
  tneele

  committed
  9977d2b

  Copy full SHA for 9977d2b

• Changes in the front page of the website.

  Show description for 8fe8662
  jgroote

  committed
  8fe8662

  Copy full SHA for 8fe8662

Commits on Jul 21, 2022

• Fixed a typo.

  mlaveaux

  committed
  3a3ccbd

  Copy full SHA for 3a3ccbd

• Actually commented out the test.

  mlaveaux

  committed
  f06eeb9

  Copy full SHA for f06eeb9

• Removed the ubuntu 32bit builds from the download page.

  mlaveaux

  committed
  cd6fca1

  Copy full SHA for cd6fca1

• Commented out test where address sanitizer fails due to Sylvan.

  mlaveaux

  committed
  73a5ac2

  Copy full SHA for 73a5ac2

Commits on Jul 15, 2022

• Finished merging the othello example

  mlaveaux

  committed
  9086b7c

  Copy full SHA for 9086b7c

Commits on Jul 4, 2022

• Added 202206.0 to the historic release page.

  mlaveaux

  committed
  9b7b1c8

  Copy full SHA for 9b7b1c8

• Updated version and changelog.

  mlaveaux

  committed
  0e3a6dd

  Copy full SHA for 0e3a6dd

Commits on Jul 2, 2022

• Pbessolve/pbes2bool in single thread mode will not spawn a thread.

  Show description for b7a17c7
  jgroote

  committed
  b7a17c7

  Copy full SHA for b7a17c7

• Made Sylvan to work on an M1 ARM mac.

  Show description for 13f30a5
  jgroote

  committed
  13f30a5

  Copy full SHA for 13f30a5

• This belonged to the previous commit to integrate parallel tools.

  Show description for 69a767c
  jgroote

  committed
  69a767c

  Copy full SHA for 69a767c

• Removed lps2lts_parallel and pbessolve_parallel.

  Show description for d826484
  jgroote

  committed
  d826484

  Copy full SHA for d826484

Commits on Jul 1, 2022

• Renamed flag to MCRL2_ENABLE_MULTIREADHING

  mlaveaux

  committed
  273d615

  Copy full SHA for 273d615

• Added note about multi-threading on the front page

  mlaveaux

  committed
  3368173

  Copy full SHA for 3368173

• Merge remote-tracking branch 'upstream/master' into parallel

  mlaveaux

  committed
  9f4d0c8

  Copy full SHA for 9f4d0c8

• Added a cmake flag to disable thread safety.

  mlaveaux

  committed
  0e7c73c

  Copy full SHA for 0e7c73c

Pagination

Previous

Next