Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Aug 9, 2025

• Bump to version 1.9.1

  trolando

  committed
  1ca6868

  Copy full SHA for 1ca6868

• Revisit the operation cache fences for weak memory

  trolando

  committed
  c83d93d

  Copy full SHA for c83d93d

Commits on Aug 4, 2025

• Remove meddly examples programs

  Show description for 4013c97
  trolando

  committed
  4013c97

  Copy full SHA for 4013c97

• Add SYLVAN_GMP to GitHub actions

  trolando

  committed
  fd9b60f

  Copy full SHA for fd9b60f

• Fix error in testing of zdd_isop

  trolando

  committed
  bb03e82

  Copy full SHA for bb03e82

Commits on Aug 3, 2025

• Bump to version 1.9.0

  trolando

  committed
  8ddb68e

  Copy full SHA for 8ddb68e

• Upgrade Lace to 1.5.0

  trolando

  committed
  65ca50b

  Copy full SHA for 65ca50b

• Improve GitHub Actions

  trolando

  committed
  ae60ffc

  Copy full SHA for ae60ffc

• Added scripts to validate the make install

  trolando

  committed
  901781b

  Copy full SHA for 901781b

• Rewrite CMake script and improve cmake and pkg-config installed files

  trolando

  committed
  7b69b56

  Copy full SHA for 7b69b56

• Replace the hash for the operation cache with something that emits fewer imuls

  trolando

  committed
  b5dfc77

  Copy full SHA for b5dfc77

• Fix operation cache for weak memory (i.e. ARM/Apple chips)

  trolando

  committed
  e1ed822

  Copy full SHA for e1ed822

Commits on Aug 1, 2025

• Fix compiler definitions

  trolando

  committed
  8efd20d

  Copy full SHA for 8efd20d

Commits on Jun 1, 2024

• Do not download Lace if already a target or installed

  trolando

  committed
  da7cc20

  Copy full SHA for da7cc20

Commits on Mar 26, 2024

• Allow compiling with warnings as errors in Release mode

  trolando

  committed
  77e8e6f

  Copy full SHA for 77e8e6f

• Fix compilation problem when lace is installed on the system.

  trolando

  committed
  61bc6bc

  Copy full SHA for 61bc6bc

Commits on Mar 23, 2024

• Fix Sylvan cannot be compiled as a submodule

  

  ssoelvsten

  authored and

  trolando

  committed
  9ccb1fd

  Copy full SHA for 9ccb1fd

Commits on Feb 29, 2024

• efficient BDD test for disjoint and subset

  

  jacopol

  authored and

  trolando

  committed
  f4da769

  Copy full SHA for f4da769

Commits on Dec 22, 2023

• Small changes to fix installation

  

  Codermann63

  authored and

  trolando

  committed
  2d2c505

  Copy full SHA for 2d2c505

Commits on Nov 21, 2023

• Increase compatibility with slightly older versions of CMake

  trolando

  committed
  c1fceac

  Copy full SHA for c1fceac

Commits on Nov 18, 2023

• Ask for lace>=1.4.2 in pkg-config

  trolando

  committed
  ca8bbb0

  Copy full SHA for ca8bbb0

Commits on Nov 17, 2023

• Version 1.8.1

  trolando

  committed
  bc24697

  Copy full SHA for bc24697

• Fix some paths in CMakeLists.txt

  trolando

  committed
  b0282c4

  Copy full SHA for b0282c4

• Add PKGCONFIG to installation

  trolando

  committed
  adb7c6d

  Copy full SHA for adb7c6d

Commits on Oct 25, 2023

• And of course update Lace to version v1.4.1

  trolando

  committed
  74578fb

  Copy full SHA for 74578fb

• Allow installing Sylvan once again

  trolando

  committed
  299b12b

  Copy full SHA for 299b12b

Commits on Mar 31, 2023

• Set language of docs

  trolando

  committed
  0278500

  Copy full SHA for 0278500

• Updated to version v1.8.0

  trolando

  committed
  cd579f8

  Copy full SHA for cd579f8

• Skip read/write test in testzdd which is very slow in CI

  trolando

  committed
  781b279

  Copy full SHA for 781b279

• Fix building example programs for MEDDLY

  trolando

  committed
  2e2189c

  Copy full SHA for 2e2189c

• Remove comma in %f printf for thousands, as it's not supported in Windows

  trolando

  committed
  794796d

  Copy full SHA for 794796d

• Change the examples to use getopt_long instead of argp

  trolando

  committed
  cd0ccc0

  Copy full SHA for cd0ccc0

• Reduce number of iterations in test_zdd

  trolando

  committed
  f2d5416

  Copy full SHA for f2d5416

• Fix errors in Windows with fread when not opened with 'rb'

  trolando

  committed
  14c3f5b

  Copy full SHA for 14c3f5b

• Add WIN32 support to getrss.c

  trolando

  committed
  deddb64

  Copy full SHA for deddb64

Pagination

Previous

Next