Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

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 Aug 16, 2022

• Fixed compilation under MSVC 2022.

  Show description for 3aa2bdc
  mlaveaux

  committed
  3aa2bdc

Commits on Jul 4, 2022

• Updated version and changelog.

  mlaveaux

  committed
  0e3a6dd

Commits on Jul 2, 2022

• Made Sylvan to work on an M1 ARM mac.

  Show description for 13f30a5
  jgroote

  committed
  13f30a5

Commits on Jul 1, 2022

• Renamed flag to MCRL2_ENABLE_MULTIREADHING

  mlaveaux

  committed
  273d615

• Added a cmake flag to disable thread safety.

  mlaveaux

  committed
  0e7c73c

Commits on Jun 28, 2022

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

  mlaveaux

  committed
  6cfa4a2

Commits on Jun 27, 2022

• Merge commit 'a981be8de45cb30643a06d04b52b483f8982e06f' into parallel

  mlaveaux

  committed
  39195f7

Commits on Jun 20, 2022

• Some changes to the make_release scripts.

  mlaveaux

  committed
  39a2c4f

• Updated version to 202206.0.

  mlaveaux

  committed
  44ca743

Commits on Jun 17, 2022

• Updated dockerfiles for the new release.

  mlaveaux

  committed
  18680f1

Commits on Jun 14, 2022

• Added cmake variable MCRL2_ENABLE_SYLVAN to disable the Sylvan library explicitly

  mlaveaux

  committed
  9fc3d37

Commits on Jun 9, 2022

• Added an APPLE compiler flag for arm64/x86_64 compilation.

  Show description for 6e31974
  jgroote

  committed
  6e31974

Commits on Mar 26, 2022

• Adapted at more places that the stack is not used.

  Show description for eb09610
  jgroote

  committed
  eb09610

Commits on Mar 24, 2022

• Replaced optimized_and, ..._or, ..._not and ..._imp functions.

  Show description for 4d70344
  jgroote

  committed
  4d70344

Commits on Mar 13, 2022

• Added a few asserts to capture erroneous result variables.

  Show description for 81169f4
  jgroote

  committed
  81169f4

• Addded an assert to the builders.

  jgroote

  committed
  d2e22a7

Commits on Mar 11, 2022

• Ignore Sylvan specific warnings as these mask warnings about our code.

  mlaveaux

  committed
  a005fc8

Commits on Mar 8, 2022

• Fixed test compilation on linux.

  mlaveaux

  committed
  bd24ca8

Commits on Jan 17, 2022

• Replaced the builder framework.

  Show description for 384b90d
  jgroote

  committed
  384b90d

Commits on Jan 16, 2022

• Made more constructors explict.

  Show description for fee8859
  jgroote

  committed
  fee8859

Commits on Dec 23, 2021

• Replaced a for by a range based for in the data traversers.

  jgroote

  committed
  eaa0346

Commits on Sep 17, 2021

• Reimplemented how constructors with an extra index are implemented.

  Show description for 06962a1
  jgroote

  committed
  06962a1

Commits on Jul 23, 2021

• Added the automatic generation of make functions.

  Show description for a5714df
  jgroote

  committed
  a5714df

Commits on Jul 8, 2021

• Removed the class process::timed_multi_action

  Show description for a397dc6
  jgroote

  committed
  a397dc6

Commits on Jul 7, 2021

• Prepared lps::multi_action to be merged with process::timed_multi_action

  Show description for 4d9e350
  jgroote

  committed
  4d9e350

Commits on Jun 17, 2021

• Changed the installation on mac such that mCRL2ide is started by

  Show description for 8adb06c
  jgroote

  committed
  8adb06c

Commits on Jun 16, 2021

• Updated more information for the ppa release.

  mlaveaux

  committed
  67a4266

• Updated ltsmin to later commit and fixed sylvan support.

  Show description for b7e38fd
  mlaveaux

  committed
  b7e38fd

Commits on Jun 11, 2021

• Forgot to update the patch.

  mlaveaux

  committed
  a53da34

Commits on Jun 10, 2021

• Fixed testing in the docker builds.

  mlaveaux

  committed
  cd9396e

• Updated docker files to generate the .rpm and .deb packages.

  mlaveaux

  committed
  c5758c9

• Added a docker file to execute the make_release script.

  mlaveaux

  committed
  467e5ca

• Updated the make_release script.

  mlaveaux

  committed
  e4fdfc5

Pagination

PreviousNext