Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 5, 2019

• Removed the todos in our cmake script as these are/should be mentioned in the issue tracker.

  mlaveaux

  committed
  6ecaf8c

  Copy full SHA for 6ecaf8c

• Reverted the minimal Qt version for compilation to 5.5.

  Show description for e29c663
  mlaveaux

  committed
  e29c663

  Copy full SHA for e29c663

• Increased the minimally supported version of Qt to 5.9 (LTS).

  mlaveaux

  committed
  a632ff1

  Copy full SHA for a632ff1

Commits on Feb 1, 2019

• Renamed the prepare_benchmarks target to benchmarks.

  Show description for bc3ed53
  mlaveaux

  committed
  bc3ed53

  Copy full SHA for bc3ed53

Commits on Jan 22, 2019

• Added Boost as a proper dependency for libraries that require it.

  Show description for 234c45a
  mlaveaux

  committed
  234c45a

  Copy full SHA for 234c45a

• Removed workarounds that are no longer necessary for Visual Studio 2017.

  mlaveaux

  committed
  9d2e5cd

  Copy full SHA for 9d2e5cd

Commits on Jan 18, 2019

• Added MCRL2_ENABLE_DEBUG_SOUNDNESS_CHECKS to disable soundness checks in cmake.

  Show description for fbfce1f
  mlaveaux

  committed
  fbfce1f

  Copy full SHA for fbfce1f

• Merged the non-standard Maintainer configuration with Debug and removed Maintainer.

  Show description for 09e3255
  mlaveaux

  committed
  09e3255

  Copy full SHA for 09e3255

• Do not default to static builds for the dparser library.

  Show description for 729607e
  mlaveaux

  committed
  729607e

  Copy full SHA for 729607e

Commits on Jan 15, 2019

• Only add the /permissive- flag on Boost versions starting from 1.65.0.

  mlaveaux

  committed
  bab1a44

  Copy full SHA for bab1a44

Commits on Jan 11, 2019

• Moved headertest generation to a new MCRL2_ENABLE_HEADER_TESTS cmake option.

  mlaveaux

  committed
  77dadb1

  Copy full SHA for 77dadb1

Commits on Aug 14, 2018

• The atermpp micro-benchmarks are now build by the prepare_benchmarks target.

  mlaveaux

  committed
  3eda484

  Copy full SHA for 3eda484

Commits on Aug 10, 2018

• Initial performance benchmarking setup.

  Show description for 63c7824
  mlaveaux

  committed
  63c7824

  Copy full SHA for 63c7824

• Add an option to CMake for code coverage of tests

  tneele

  committed
  453ddd0

  Copy full SHA for 453ddd0

Commits on Jul 27, 2018

• Increased the version of QT for mac and set the menu bar to native again.

  Show description for 3a837cd
  jgroote

  committed
  3a837cd

  Copy full SHA for 3a837cd

Commits on Jul 6, 2018

• Removed the (mostly broken) vector export feature from ltsgraph and ltsview.

  Show description for e9d3fa2
  mlaveaux

  committed
  e9d3fa2

  Copy full SHA for e9d3fa2

Commits on Jul 5, 2018

• Added three benchmarks to the atermpp library.

  Show description for 8fd189e
  mlaveaux

  committed
  8fd189e

  Copy full SHA for 8fd189e

Commits on Jun 29, 2018

• Marking Qt5_DIR as advanced hides the variable when Qt5 is found.

  mlaveaux

  committed
  5508cb4

  Copy full SHA for 5508cb4

• Changed the CMake policy CMP0054 to enable the NEW behaviour.

  mlaveaux

  committed
  c5b3462

  Copy full SHA for c5b3462

Commits on Jun 19, 2018

• Set a policy to NEW for CMake 3.11 related to linking OpenGL.

  Show description for 1cd8865
  mlaveaux

  committed
  1cd8865

  Copy full SHA for 1cd8865

• Marked the Qt5 component directory variables as advanced.

  Show description for 7c511ff
  mlaveaux

  committed
  7c511ff

  Copy full SHA for 7c511ff

• The policy CPM0054 was introduced in CMake 3.1

  mlaveaux

  committed
  a7fb1f8

  Copy full SHA for a7fb1f8

• Added a policy for CMake 3.10 and made Qt find its components.

  Show description for bd9d956
  mlaveaux

  committed
  bd9d956

  Copy full SHA for bd9d956

Commits on Jul 4, 2017

• - Replaced the flag MCRL2_SKIP_ALL_TESTS by MCRL2_ENABLE_TESTS, that is by default set to OFF.

  Show description for 4ca4632
  wiegerw

  committed
  4ca4632

  Copy full SHA for 4ca4632

Commits on May 30, 2017

• Updated minimum Qt version required to 5.5

  Show description for 1c439cc
  tneele

  committed
  1c439cc

  Copy full SHA for 1c439cc

Commits on Dec 24, 2016

• Increased the required version of Boost to version 1.48 as lower versions

  Show description for 7cca6e1
  jgroote

  committed
  7cca6e1

  Copy full SHA for 7cca6e1

Commits on Aug 28, 2016

• Adapted the C installation script such that the proper

  Show description for b304ad1
  jgroote

  committed
  b304ad1

  Copy full SHA for b304ad1

Commits on Oct 5, 2015

• - Commented out the CMP0022 policy line, since it turns out that the Fedora build fails because of it.

  Show description for bcd0744
  wiegerw

  committed
  bcd0744

  Copy full SHA for bcd0744

Commits on Sep 22, 2015

• - Attempt to silence a CMake warning (Policy CMP0022 is not set).

  Show description for cd3a788
  wiegerw

  committed
  cd3a788

  Copy full SHA for cd3a788

Commits on Sep 7, 2015

• - Use the new regular expression based FSM parser

  Show description for 2c2610d
  wiegerw

  committed
  2c2610d

  Copy full SHA for 2c2610d

Commits on Mar 10, 2015

• Added the cmake flag MCRL2_TEST_JITTYC to allow easy testing of the

  Show description for 9e4c223
  jgroote

  committed
  9e4c223

  Copy full SHA for 9e4c223

Commits on Feb 6, 2015

• Always use Qt5 release binaries; it seems there is a bug in either some versions of CMake or some versions of Qt5 in which setting the MAP_IMPORTED_CONFIG_MAINTAINER property on the Qt library targ…

  Show description for 941e97c
  

  Sjoerd Cranen

  committed
  941e97c

  Copy full SHA for 941e97c

Commits on Feb 5, 2015

• - Fix various compiler warnings

  Show description for d2ddb1b
  

  Sjoerd Cranen

  committed
  d2ddb1b

  Copy full SHA for d2ddb1b

Commits on Jan 23, 2015

• Refactoring of traverser/builder framework to support MSVC 2013. We are dropping support for older versions of MSVC\!

  Show description for d9c4eea
  

  Sjoerd Cranen

  committed
  d9c4eea

  Copy full SHA for d9c4eea

Commits on Jan 15, 2015

• Removed some of the testing flags (all tests are enabled by default; they can be skipped using the appropriate label-related ctest command-line switches). Also, use the right compilerewriter script…

  Show description for 3c21853
  

  Sjoerd Cranen

  committed
  3c21853

  Copy full SHA for 3c21853

Pagination

Previous

Next