Code

Rational priced DBM#30

Code

Open

Ragusaen wants to merge 33 commits intoUPPAALModelChecker:mainUPPAALModelChecker/UDBM:mainfrom Slorup:rationalSlorup/UDBM:rationalCopy head branch name to clipboard

+1,728-289

Commits

Commits on Oct 21, 2022

• A few fixes

  Slorup

  committed
  0d1488b

• small

  Slorup

  committed
  f032519

• Few more fixes

  Slorup

  committed
  7fcc5ae

Commits on Oct 28, 2022

• Messy const_iterator - probably doesn't work, just to avoid errors for now

  Slorup

  committed
  e5aa83d

Commits on Oct 31, 2022

• Hack for iterator errors and added lots of 'not implemented' functions

  Slorup

  committed
  7b6d358

Commits on Nov 1, 2022

• Fixed linker errors - It now compiles with latest UPPAAL!

  Slorup

  committed
  d81529d

Commits on Nov 4, 2022

• Fixed iterators

  Ragusaen

  committed
  3474345

• Fixed gigantic delay bug

  Ragusaen

  committed
  6ed33e4

Commits on Nov 29, 2022

• ???

  Ragusaen

  committed
  ce9dda7

Commits on Mar 13, 2023

• Added pfed equals operator and resize function

  Slorup

  committed
  0f6fbb2

• Changed cost of priced zone functions to be int instead of uint

  Slorup

  committed
  e6175a6

Commits on Mar 14, 2023

• Add strict/nonstrict cost comparison function to priced

  Slorup

  committed
  2eabfd0

• Changed priced DBMs to support doubles for cost, rate and cache. Needs to update double comparisons with epsilons.

  Slorup

  committed
  d3d28d4

Commits on Mar 15, 2023

• fixed some bugs with negative costs

  Ragusaen

  committed
  c269e6f

• add offsetcost function

  Ragusaen

  committed
  1824e12

• Fixed bugs with double changes

  Slorup

  committed
  540096e

• Merge branch 'price_testing' into float_price

  Slorup

  committed
  cc597c7

• smol

  Slorup

  committed
  382842a

Commits on Mar 17, 2023

• bug fixes

  Ragusaen

  committed
  d66ca6b

Commits on Mar 24, 2023

• changed double cost to rational cost type

  Ragusaen

  committed
  6b72e92

• fixed bug with inifinity in CostType

  Ragusaen

  committed
  009a1e1

Commits on Mar 27, 2023

• setUniformCost

  Ragusaen

  committed
  5821a64

Commits on Mar 31, 2023

• smoll

  Ragusaen

  committed
  bd684d2

Commits on Apr 11, 2023

• something

  Ragusaen

  committed
  0907e93

Commits on Apr 28, 2023

• the pdbm now remembers the cost-plane operations that have been applied on it

  Ragusaen

  committed
  2bfb353

Commits on May 9, 2023

• Allow changes to cost plane of pdbm

  Ragusaen

  committed
  3bfcb1c

Commits on May 11, 2023

• fixed some memory leaks

  Ragusaen

  committed
  c423c16

Commits on May 12, 2023

• Removed optimization when delaying with rate 0, as we need to know which facet is used.

  Ragusaen

  committed
  12a544d

Commits on May 17, 2023

• Also remember cost plane operations when constraining to facets for updateValue and up

  Ragusaen

  committed
  ba05195

Commits on May 18, 2023

• Fixed bugs with cost-plane operations

  Ragusaen

  committed
  0c0dff2

Commits on May 23, 2023

• small

  Slorup

  committed
  3a445c9

Commits on Sep 28, 2023

• added doctest and some pfed tests

  Ragusaen

  committed
  98b5ec1

Commits on Sep 29, 2023

• Added a test for setUniformCost

  Ragusaen

  committed
  16eee00