Repository navigation

Parameterized Priced Extension - #35

Draft

M4th942 wants to merge 19 commits into

UPPAALModelChecker:mainfrom

M4th942:Param.Cost.Opt.Reachability

Draft

Parameterized Priced Extension#35
M4th942 wants to merge 19 commits into
UPPAALModelChecker:mainfrom
M4th942:Param.Cost.Opt.Reachability

Commits on Aug 19, 2026
- small modifs to run it on my computer
  M4th942
  committed
  29bc8e8
Commits on Aug 20, 2026
- PPDBM data structure first draft
  M4th942
  committed
  4aac36f
- PPDBM data structure first draft
  M4th942
  committed
  8a51c4e
- before first review
  M4th942
  committed
  1a0a21e
- review taken into account, and some logic fixed in constrain.
  M4th942
  committed
  05625c4
Commits on Aug 21, 2026
- constraint and constraintN applied to PPDBM working.
  M4th942
  committed
  e78a280
- first draft of relation function
  M4th942
  committed
  f1e55ad
- relation function finished! 1st version, needs tests.
  M4th942
  committed
  2f14013
Commits on Aug 24, 2026
- verticesDBM finished as well
  M4th942
  committed
  0e534a0
- test added
  M4th942
  committed
  22b2b6f
Commits on Aug 25, 2026
- every function and their tests up to now working
  M4th942
  committed
  93c1f33
Commits on Aug 26, 2026
- post operators written.
  M4th942
  committed
  93114ff
- previous tests working
  M4th942
  committed
  a974bcb
Commits on Aug 27, 2026
- working tests for every function including post operators.
  M4th942
  committed
  3dcc570
Commits on Aug 28, 2026
- all comments in english now
  M4th942
  committed
  5c6d84e
Commits on Aug 29, 2026
- trying to make my own model in order to have some early results for this algorithm
  M4th942
  committed
  7101c53
- trying to make my own model in order to have some early results for this algorithm - 2
  M4th942
  committed
  b487859
Commits on Aug 31, 2026
- small example finally workinggit add .!
  M4th942
  committed
  1797815
Commits on Sep 25, 2026
- version working on 5 examples in ParametricOptimalReachability.cpp
  M4th942
  committed
  bff7ff8

Commits

Commits on Aug 19, 2026

Commits on Aug 20, 2026

Commits on Aug 21, 2026

Commits on Aug 24, 2026

Commits on Aug 25, 2026

Commits on Aug 26, 2026

Commits on Aug 27, 2026

Commits on Aug 28, 2026

Commits on Aug 29, 2026

Commits on Aug 31, 2026

Commits on Sep 25, 2026