Commits

Branch selector

 master

User selector

wiegerw

Datepicker

All time

Commit History

Commits on Aug 4, 2023

• Added documentation for the developer tool confcheck

  Show description for fa0b329
  

  wiegerw

  authored and

  jgroote

  committed
  fa0b329

Commits on Jun 13, 2023

• Added documentation for the developer tool confcheck

  Show description for a7ce20a
  wiegerw

  committed
  a7ce20a

Commits on Feb 24, 2021

• Fixed a copy/paste error

  wiegerw

  committed
  b0298e5

• Added another script for variable reordering

  wiegerw

  committed
  f2ea305

• Added a script for experimenting with variable orderings

  Show description for 96c5d48
  wiegerw

  committed
  96c5d48

Commits on Feb 22, 2021

• Print the number of nodes of the LDD of the state space

  Show description for f5989c9
  wiegerw

  committed
  f5989c9

• Print read write patterns of summand groups

  Show description for a7b0c36
  wiegerw

  committed
  a7b0c36

Commits on Feb 20, 2021

• Added missing include

  wiegerw

  committed
  07f6fc7

• Removed the typedefs vertex and vertex_set

  wiegerw

  committed
  305d90d

• Added the flag --info to display information about read/write parameters

  Show description for be846cb
  wiegerw

  committed
  be846cb

Commits on Feb 18, 2021

• Fixed the last commit

  wiegerw

  committed
  7aede0f

• Refactored some code of the symbolic tools

  wiegerw

  committed
  3d46eae

• Forgot to include this change in the previous commit

  wiegerw

  committed
  d351112

• Added a hash specialization for class sort_expression

  wiegerw

  committed
  e25bb5b

Commits on Feb 17, 2021

• Added support for variable reordering to the symbolic tools

  Show description for 7821283
  wiegerw

  committed
  7821283

• Improved the command line options of the symbolic tools

  wiegerw

  committed
  2b86506

Commits on Feb 16, 2021

• Added an option to join summand with the same read/write vars in a group

  Show description for cdae11e
  wiegerw

  committed
  cdae11e

• Removed test code from the symbolic tools

  Show description for 39a732d
  wiegerw

  committed
  39a732d

• Updated the documentation of symbolic reachability

  wiegerw

  committed
  ebe6678

• Fixed the problems with the Sylvan function relprev

  Show description for 75d6f02
  wiegerw

  committed
  75d6f02

Commits on Feb 15, 2021

• Compute the rank map using LDD operations

  Show description for 6317ad0
  wiegerw

  committed
  6317ad0

• Added a hidden option to print the symbolic state space in dot format

  wiegerw

  committed
  50c09d7

• Set the proper rewrite strategy in pbessolvesymbolic

  wiegerw

  committed
  e36173a

• Fixed an error in the input of the symbolic PBES solver

  wiegerw

  committed
  4d0f095

• Fix the computation of sets of nodes with the same rank

  Show description for 6468d58
  wiegerw

  committed
  6468d58

• Improve logging for symbolic Zielonka

  Show description for ccf861d
  wiegerw

  committed
  ccf861d

• Added logging to the symbolic version of Zielonka

  Show description for 732d2a1
  wiegerw

  committed
  732d2a1

• Implemented an inefficient alternive for the Sylvan function relprev

  wiegerw

  committed
  c10cc34

Commits on Feb 14, 2021

• Use the correct arguments for attractor set computations

  Show description for c7ad3e0
  wiegerw

  committed
  c7ad3e0

Commits on Feb 13, 2021

• Added developer tool pbessolvesymbolic

  Show description for 3dd361b
  wiegerw

  committed
  3dd361b

Commits on Feb 10, 2021

• Added documentation for symbolic reachability

  wiegerw

  committed
  d9be180

Commits on Feb 9, 2021

• Applied a fix to the copy information in union_cube

  Show description for 86e903e
  wiegerw

  committed
  86e903e

• Fixed the write parameter issue for joining summand groups

  Show description for 3e0b721
  wiegerw

  committed
  3e0b721

Commits on Feb 7, 2021

• Added developer tool pbesreach

  wiegerw

  committed
  26115df

Commits on Feb 5, 2021

• Make summand groups configurable via the command line in lpsreach

  wiegerw

  committed
  9b66655

Pagination

PreviousNext