Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 30, 2020

• Made the Ldd operation follow a global function.

  Show description for dbd65cf
  wiegerw

  committed
  dbd65cf

• Made progress with the Sylvan LDD wrapper

  Show description for b1b82c8
  wiegerw

  committed
  b1b82c8

Commits on Oct 29, 2020

• Added a minimalistic Mdd class

  Show description for 617dbcb
  wiegerw

  committed
  617dbcb

Commits on Sep 17, 2020

• Added missing copy constructors to BddMap and MtbddMap

  wiegerw

  committed
  ac8ad87

Commits on Jul 17, 2020

• Apply a hack to make sylvan usable with C++17

  Show description for d4b3f01
  wiegerw

  committed
  d4b3f01

• Add pthread dependency.

  wiegerw

  committed
  430de19

Commits on Jul 16, 2020

• Added the bdd package sylvan to the 3rd-party directory

  wiegerw

  committed
  31383ae

Commits on Dec 4, 2019

• Superfluous #includes removed

  Show description for a017b79
  dnjansen

  committed
  a017b79

Commits on Nov 19, 2019

• Warning that const char* is silently converted to char* corrected

  dnjansen

  committed
  558fb6b

Commits on Jan 18, 2019

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

  mlaveaux

  committed
  8471ffb

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

  Show description for 729607e
  mlaveaux

  committed
  729607e

Commits on Jul 6, 2018

• Updated the README in the 3rd-party folder.

  mlaveaux

  committed
  ca44a72

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

  Show description for e9d3fa2
  mlaveaux

  committed
  e9d3fa2

Commits on Jun 4, 2018

• Changed the url to the COPYING file to Github.

  mlaveaux

  committed
  cc46e7d

Commits on Dec 18, 2016

• properties svn:eol-style, svn:mime-type and svn:executable normalised

  Show description for 0361cb2
  dnjansen

  committed
  0361cb2

Commits on Dec 16, 2016

• Set svn properties upon suggestion of David Jansen.

  Show description for e5cfcb2
  jgroote

  committed
  e5cfcb2

Commits on Jul 26, 2016

• - Next attempt to fix Visual Studion 2015 compilation

  Show description for 9c9c951
  wiegerw

  committed
  9c9c951

• - Attempt to fix the Visual Studio 2015 build

  Show description for 6e3e06b
  wiegerw

  committed
  6e3e06b

Commits on Jan 14, 2015

• More cleaning up of CMake code. CheckCXX11Features now automatically searches for tests.

  Show description for 2c7354a
  

  Sjoerd Cranen

  committed
  2c7354a

Commits on Feb 6, 2014

• - All changes to the code have been applied to make compiling with Qt5.2.0 possible on all platforms (addresses mCRL2org#1202)

  Show description for 39ef99d
  

  Sjoerd Cranen

  committed
  39ef99d

Commits on Dec 10, 2013

• Changed include directory structure to avoid a build problem where the destination directory is in the include path.

  Show description for b5ea77e
  

  Ruud Koolen

  committed
  b5ea77e

Commits on Aug 20, 2013

• Define open, read, close as _open, _read, _close. Addresses mCRL2org#917

  Show description for dc1c5f4
  jkeiren

  committed
  dc1c5f4

Commits on Aug 19, 2013

• Fix Clang warning in DParser. Fixes mCRL2org#901

  Show description for 3566fa1
  jkeiren

  committed
  3566fa1

Commits on Aug 6, 2013

• Clean up DParser dependencies.

  Show description for aae132b
  jkeiren

  committed
  aae132b

Commits on Jun 14, 2013

• Fix DParser compiler warnings. Addresses mCRL2org#901 and mCRL2org#917.

  Show description for 1ff81d2
  

  Sjoerd Cranen

  committed
  1ff81d2

Commits on Jun 13, 2013

• Fixing MSVC errors in maintainer build (see issue mCRL2org#901). Made PNode.hash a uintptr_t rather than uint, to match the definition of the SNODE_HASH macro.

  Show description for 29845fd
  

  Sjoerd Cranen

  committed
  29845fd

• Fixing MSVC errors in maintainer build (see issue mCRL2org#901)

  Show description for 6fade48
  

  Sjoerd Cranen

  committed
  6fade48

• Fixing MSVC errors in maintainer build (see issue mCRL2org#901)

  Show description for ceac8ed
  

  Sjoerd Cranen

  committed
  ceac8ed

• Fixing MSVC errors in maintainer build (see issue mCRL2org#901)

  Show description for 521115e
  

  Sjoerd Cranen

  committed
  521115e

• Only include "strings.h" in GNU compilers (MSVC does not have this header). The include is needed for strncasecmp, which is called _strnicmp in MSVC. This is now handled by adding a definition in t…

  Show description for 688bf57
  

  Sjoerd Cranen

  committed
  688bf57

• Fixing compiler warnings in maintainer build (see issue mCRL2org#901)

  Show description for 89811e1
  

  Sjoerd Cranen

  committed
  89811e1

• Use C99 so we don't get complaints about the use of 'long long'. Move assertions to satisfy the very strict MSVC compiler.

  Show description for f16b9b9
  

  Sjoerd Cranen

  committed
  f16b9b9

Commits on Jun 12, 2013

• Fixes for the pickier C99 compilers that refuse to compile C++-isms.

  Show description for c38bbae
  

  Sjoerd Cranen

  committed
  c38bbae

• Fixing compiler warnings (see issue mCRL2org#901)

  Show description for 6d823c8
  

  Sjoerd Cranen

  committed
  6d823c8

• Merged patch from Git repository

  Show description for 85aa28a
  

  Sjoerd Cranen

  committed
  85aa28a

Pagination

PreviousNext