Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 31, 2024

• Tests.yml: separate build from test

  jacopol

  authored
  07f9bf8

  Copy full SHA for 07f9bf8

• Update logos

  

  sockmaster27

  authored and

  jacopol

  committed
  8b94493

  Copy full SHA for 8b94493

• Update build status badge

  

  sockmaster27

  authored and

  jacopol

  committed
  e73b746

  Copy full SHA for e73b746

Commits on Oct 30, 2024

• Disable failing test

  

  sockmaster27

  authored and

  jacopol

  committed
  eda1a8c

  Copy full SHA for eda1a8c

• use Docker image in CI

  

  sockmaster27

  authored and

  jacopol

  committed
  6818eff

  Copy full SHA for 6818eff

• skip SPINS init

  

  sockmaster27

  authored and

  jacopol

  committed
  edee04c

  Copy full SHA for edee04c

• add GitHub CI

  

  sockmaster27

  authored and

  jacopol

  committed
  bee8336

  Copy full SHA for bee8336

Commits on Oct 7, 2024

• Applied the same fixes to the pbes pins interface.

  

  mlaveaux

  authored and

  jacopol

  committed
  0aa169e

  Copy full SHA for 0aa169e

• Fixed pins interface for mCRL2.

  Show description for 1467762
  

  mlaveaux

  authored and

  jacopol

  committed
  1467762

  Copy full SHA for 1467762

Commits on Dec 23, 2023

• changed refferences from aux to auxiliary to increase compatability with windows

  

  Codermann63

  authored and

  jacopol

  committed
  2c008e1

  Copy full SHA for 2c008e1

• changed aux to auxiliary to increase compability with windows

  

  Codermann63

  authored and

  jacopol

  committed
  3a3783a

  Copy full SHA for 3a3783a

Commits on Nov 18, 2023

• Upgrade Sylvan to 1.8.1

  trolando

  committed
  8782336

  Copy full SHA for 8782336

• Update ltl2ba

  trolando

  committed
  8acc487

  Copy full SHA for 8acc487

• Fix build problems under certain Linux versions

  trolando

  committed
  a5a7303

  Copy full SHA for a5a7303

Commits on Jun 20, 2023

• Patch missing action label in LTL context

  

  yanntm

  authored and

  jacopol

  committed
  3499bb5

  Copy full SHA for 3499bb5

Commits on Apr 20, 2022

• Fix weak Buchi (thanks to Yann Thierry-Mieg)

  alaarman

  committed
  496a552

  Copy full SHA for 496a552

Commits on Apr 19, 2022

• document new --hoa flag interaction with buchi-type

  

  yanntm

  authored and

  alaarman

  committed
  dac6435

  Copy full SHA for dac6435

• with @adl honor --buchi-type flag by converting HOA to appropriate type

  

  yanntm

  authored and

  alaarman

  committed
  cfb4a33

  Copy full SHA for cfb4a33

• with @alaarman : drop "weak" algorithm if in TGBA mode

  Show description for 1094d24
  

  yanntm

  authored and

  alaarman

  committed
  1094d24

  Copy full SHA for 1094d24

• we should default to Spin semantics not LTSmin (EVAR case)

  

  yanntm

  authored and

  alaarman

  committed
  27df06c

  Copy full SHA for 27df06c

• revert separate initialization of env

  

  yanntm

  authored and

  alaarman

  committed
  106c5a4

  Copy full SHA for 106c5a4

• separate env initialization is no longer required in current workflow

  

  yanntm

  authored and

  alaarman

  committed
  154ed0c

  Copy full SHA for 154ed0c

• separate env initialization is no longer required in current workflow

  

  yanntm

  authored and

  alaarman

  committed
  44ca55e

  Copy full SHA for 44ca55e

• parse of the HOA unfortunately now requires the ltstype

  Show description for 816b059
  

  yanntm

  authored and

  alaarman

  committed
  816b059

  Copy full SHA for 816b059

• remove all whitespace from predicate keys used in lookup

  Show description for f940b26
  

  yanntm

  authored and

  alaarman

  committed
  f940b26

  Copy full SHA for f940b26

• drop cast now that list def is patched + add const to char * argument

  

  yanntm

  authored and

  alaarman

  committed
  f739cf2

  Copy full SHA for f739cf2

• patch typo in list definition + add const to char * argument

  

  yanntm

  authored and

  alaarman

  committed
  a1df9f4

  Copy full SHA for a1df9f4

• a Changelog entry

  

  yanntm

  authored and

  alaarman

  committed
  7a18477

  Copy full SHA for 7a18477

• documenting the --buchi-type and --hoa flag

  

  yanntm

  authored and

  alaarman

  committed
  ca4b02c

  Copy full SHA for ca4b02c

• make sure the type of the HOA is consistent with the --buchi-type flag

  Show description for 6a5ba4c
  

  yanntm

  authored and

  alaarman

  committed
  6a5ba4c

  Copy full SHA for 6a5ba4c

• extend API to add a to_tgba flag similar to ltl2spot function

  

  yanntm

  authored and

  alaarman

  committed
  9ec7873

  Copy full SHA for 9ec7873

• support TGBA in conjunction with --hoa

  

  yanntm

  authored and

  alaarman

  committed
  9b92fc0

  Copy full SHA for 9b92fc0

• upgrade to C++17 : it is required by (recent) Spot

  

  yanntm

  authored and

  alaarman

  committed
  a33a330

  Copy full SHA for a33a330

• treat warning on recent gcc : also copy \0 terminating byte.

  Show description for 0b8d2c6
  

  yanntm

  authored and

  alaarman

  committed
  0b8d2c6

  Copy full SHA for 0b8d2c6

• Force LTSmin LTL semantics in HOA mode

  

  yanntm

  authored and

  alaarman

  committed
  3ba3a1b

  Copy full SHA for 3ba3a1b

Pagination

Previous

Next