Code

Rasi generator#1221

Code

Merged

pieter-bos merged 26 commits intodevutwente-fmt/vercors:devfrom rasi_generatorutwente-fmt/vercors:rasi_generatorCopy head branch name to clipboardJul 10, 2024

+834-145

Commits

Commits on May 29, 2024

• Made representation of multi-intervals deterministic

  Show description for 97fb61d
  PBHTasche

  committed
  97fb61d

• Merge dev to rasi_generator

  PBHTasche

  committed
  9621b90

• Fixed missed merge

  PBHTasche

  committed
  b8800af

• Updated RASI generator for new types in node.scala

  PBHTasche

  committed
  1fbe4e7

Commits on May 30, 2024

• Created infrastructure for selecting new variables on the fly

  PBHTasche

  committed
  b2de439

• Improved handling of mutually dependent variable constraints

  PBHTasche

  committed
  cf10256

• Variable selection works in very limited manner

  PBHTasche

  committed
  4d117a3

• Enabled inferrence of min_advance as required variable

  PBHTasche

  committed
  104e27a

Commits on May 31, 2024

• Filter variables based on whether they locally split the state space

  PBHTasche

  committed
  aee6772

Commits on Jun 5, 2024

• Fixed VeSUV output stage; fixed output for multiple files

  PBHTasche

  committed
  67ebc10

• Added vesuv_entry to VeSUV output

  PBHTasche

  committed
  e435b18

Commits on Jun 6, 2024

• Started infrastructure for finding objects for each field

  PBHTasche

  committed
  e66bcb2

Commits on Jun 7, 2024

• Added textual output option for RASI

  PBHTasche

  committed
  55b5407

• Fixed variable naming for RASI output

  PBHTasche

  committed
  596f073

Commits on Jun 10, 2024

• Replaced 'main' method by vesuv entry point; did some cleanup

  PBHTasche

  committed
  d1da31d

• Fixed treatment of min_advance; fixed error with changing process detection

  PBHTasche

  committed
  299da95

Commits on Jun 23, 2024

• Add option for splitting RASI

  PBHTasche

  committed
  4c823fb

• Merge dev and refactor transSubnodes

  PBHTasche

  committed
  07cf0a0

• Enabled printing multiple RASIs

  PBHTasche

  committed
  c329300

Commits on Jun 24, 2024

• Modified scheduler event update mechanism

  PBHTasche

  committed
  eca0190

• Remove printing of trivial scales for predicate applications

  PBHTasche

  committed
  33e12d6

Commits on Jun 25, 2024

• Add handling for member expression

  PBHTasche

  committed
  d7d8972

• Added --dev-unsafe-optimization option to sacrifice usability for performance

  PBHTasche

  committed
  a421155

Commits on Jun 27, 2024

• When splitting RASI, filter by what the process associated with a splitting variable can reach

  PBHTasche

  committed
  806a9f9

Commits on Jul 9, 2024

• Fixed VeSUV transformation with unused methods in the SystemC code

  PBHTasche

  committed
  fb1b432

• Merge dev into rasi_generator

  PBHTasche

  committed
  6892187