Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 5, 2022

• Found a number of other places where links to the MIT book were outdated.

  Show description for 1a46f07
  jgroote

  committed
  1a46f07

• Adapted a link in the list of publications.

  Show description for e20d548
  jgroote

  committed
  e20d548

Commits on Oct 3, 2022

• Adapted the python framework for classes to Python3.

  Show description for 3f779a7
  jgroote

  committed
  3f779a7

• Adapted the python scripts for datatypes

  Show description for a490b79
  jgroote

  committed
  a490b79

Commits on Sep 28, 2022

• Replaced boost::regex by c++ std::regex

  Show description for 4b9f3cd
  jgroote

  committed
  4b9f3cd

Commits on Sep 26, 2022

• Removed the last occurrences of std::bind from the toolset.

  Show description for 8a80a5f
  jgroote

  committed
  8a80a5f

• Removed more occurrences of std::bind and std::placeholder.

  Show description for d3ebe54
  jgroote

  committed
  d3ebe54

Commits on Sep 23, 2022

• Replaced a few std::bind by lambda's.

  Show description for a25ad70
  jgroote

  committed
  a25ad70

Commits on Sep 19, 2022

• Made a small edit in the documentation.

  jgroote

  committed
  cf6ead5

Commits on Sep 17, 2022

• Added an instruction to install yaml and psutils.

  Show description for ac96706
  jgroote

  committed
  ac96706

Commits on Sep 13, 2022

• Fixed debug compilation issues

  mlaveaux

  committed
  ca8ab66

• Fixed issue in the efficient un/lock_shared implementation

  mlaveaux

  committed
  ebde15e

• Some cleanup on the busy-forbidden protocol, but bug is not resolved

  mlaveaux

  committed
  5817a82

Commits on Sep 12, 2022

• Added two visualisation examples.

  Show description for 87fc1e9
  jgroote

  committed
  87fc1e9

Commits on Sep 5, 2022

• Fixed header tests

  mlaveaux

  committed
  449e689

Commits on Sep 4, 2022

• Fixed compilation for static libraries

  mlaveaux

  committed
  1b7c2d2

• Removed a warning in Sylvan.

  Show description for 8852916
  jgroote

  committed
  8852916

• Resolved bug mCRL2org#1695. Assertion failure in parallel exploration.

  Show description for 1ca3b76
  jgroote

  committed
  1ca3b76

Commits on Sep 2, 2022

• Avoid entering lock while in a un/lock_shared section

  mlaveaux

  committed
  f573f41

• Fixed compilation of the compiling rewriter

  mlaveaux

  committed
  c52486a

Commits on Sep 1, 2022

• Added additional functions that invalidate iterators for deque

  mlaveaux

  committed
  b894451

• Added the necessary protections for all the standard containers 🛡

  Show description for 9a0a5f7
  mlaveaux

  committed
  9a0a5f7

Commits on Aug 31, 2022

• Only protected push_back to attempt to fix the container test.

  mlaveaux

  committed
  651e5e7

• Reenabled the parallel container test

  mlaveaux

  committed
  14a941c

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

  mlaveaux

  committed
  d8b964a

Commits on Aug 25, 2022

• Mistake in balanced tree.

  Show description for d47e848
  jgroote

  committed
  d47e848

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

  Valo13

  committed
  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

• [mcrl2ide] Improved the find and replace dialog

  Show description for f14ce49
  Valo13

  committed
  f14ce49

Commits on Aug 19, 2022

• [mcrl2ide] Changed the behaviour of Edit actions

  Show description for 91ffe8b
  Valo13

  committed
  91ffe8b

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

  Show description for cc7805a
  Valo13

  committed
  cc7805a

• [mcrl2ide] Fixed some formatting

  Valo13

  committed
  ac8fcca

Commits on Aug 18, 2022

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

  Show description for 5fe1878
  Valo13

  committed
  5fe1878

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

  Show description for 55593c1
  Valo13

  committed
  55593c1

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

  Valo13

  committed
  b5e64a5

Pagination

PreviousNext