Commits

Branch selector

 main

User selector

srba

Datepicker

All time

Commit History

Commits on Jan 7, 2025

• Trace export in simulator does not work - fix 2093091 (#189)

  Show description for a8ffad6
  srba

  authored
  a8ffad6

• Unintuitive parsing of arc expressions - fix 2092211 (#188)

  Show description for c1b9bb6
  srba

  authored
  c1b9bb6

Commits on Dec 29, 2024

• HyperLTL traces in simulator do not show - fix 2091501 (#187)

  Show description for c9330c6
  srba

  authored
  c9330c6

Commits on Dec 17, 2024

• Fixed issue with hyperltl boundedness check - fix 2091500 (#186)

  Show description for 85c31c1
  srba

  authored
  85c31c1

Commits on Dec 12, 2024

• Updated contributors in About menu

  srba

  committed
  75de22f

Commits on Dec 1, 2024

• Added guard for making smc queries when model has strict intervals - fix 2088434 (#185)

  Show description for 2bbc648
  srba

  authored
  2bbc648

Commits on Nov 6, 2024

• Manual arc expr error - fix 2085838 (#183)

  Show description for fdfdaab
  srba

  authored
  fdfdaab

Commits on Oct 21, 2024

• Fixed space missing windows - fix 2084582 (#182)

  Show description for 3f84132
  srba

  authored
  3f84132

Commits on Oct 17, 2024

• SMC step bound in simulate is wrong - fix 2084485 (#181)

  Show description for 0b8078a
  srba

  authored
  0b8078a

Commits on Oct 10, 2024

• Issues when using manual edit with color types - fix 2081345 (#179)

  Show description for 657a6ad
  srba

  authored
  657a6ad

Commits on Sep 27, 2024

• CPN arc successor and predecessor issue - fix 2081357 (#180)

  Show description for 509647c
  srba

  authored
  509647c

Commits on Sep 23, 2024

• Erlang and gamma not working for larger shapes - fix 2081337 (#178)

  Show description for 6eca457
  srba

  authored
  6eca457

• UI bugs for SMC transitions (#177)

  Show description for 9b6884a
  srba

  authored
  9b6884a

Commits on Sep 19, 2024

• Updated the "About" page (#176)

  srba

  authored
  28b5790

Commits on Sep 17, 2024

• Multi-core is enabled by default for SMC (#175)

  srba

  authored
  2ad8c7b

• SMC features for discrete verification (#150)

  Show description for 31d53e1
  srba

  authored
  31d53e1

• Fixed glitched places having a .all initial marking (#173)

  Show description for 0dbf5c4
  srba

  authored
  0dbf5c4

Commits on Sep 16, 2024

• Invalid cast guard dialog - fix 2080865 (#174)

  Show description for d067c76
  srba

  authored
  d067c76

Commits on Sep 11, 2024

• Fixed bugs with dot + better error messages (#167)

  Show description for f5d098c
  srba

  authored
  f5d098c

Commits on Sep 8, 2024

• Fixed issue with transitions undoing on errors - fix 2078937 (#172)

  Show description for 54e854b
  srba

  authored
  54e854b

Commits on Sep 6, 2024

• Fixed bug where some erros in place dialog undos actions - fix 2078937 (#171)

  Show description for 1b8bf28
  srba

  authored
  1b8bf28

Commits on Sep 3, 2024

• Extreme decreasing in node space is broken - fix 1870892 (#163)

  Show description for 0ada574
  srba

  authored
  0ada574

Commits on Aug 30, 2024

• Changed keybind for fit to screen (#170)

  Show description for 73134da
  srba

  authored
  73134da

• Fit model to screen (#168)

  Show description for f7c06ac
  srba

  authored
  f7c06ac

• Fixed issue with arc expressions not showing on input arcs (#169)

  Show description for 71c572f
  srba

  authored
  71c572f

Commits on Aug 29, 2024

• Replaced zoom combobox with slider (#166)

  Show description for aa12e55
  srba

  authored
  aa12e55

Commits on Aug 27, 2024

• Place dialog adds undo even if nothing was changed - fix 1870888 (#164)

  Show description for c242563
  srba

  authored
  c242563

• Net statistics showing wrong values for transitions/ places after removing orphans - fix 1892354 (#165)

  Show description for 60924cc
  srba

  authored
  60924cc

• Manual editing of constants (#161)

  Show description for e81963a
  srba

  authored
  e81963a

Commits on Aug 26, 2024

• Resize annotation note is not undoable - fix 1887759 (#162)

  Show description for 651b03f
  srba

  authored
  651b03f

Commits on Aug 21, 2024

• Multiple traces not being exported correctly - fix (#160)

  Show description for ae90bfa
  srba

  authored
  ae90bfa

Commits on Aug 16, 2024

• Infinity intervals toggle not working for colored nets (#158)

  Show description for c5a4ef4
  srba

  authored
  c5a4ef4

Commits on Aug 15, 2024

• Fixed color type not updating correctly (#159)

  Show description for 84c872d
  srba

  authored
  84c872d

• Assigned constants remain after removal - fix 2076603 (#157)

  Show description for fb22a0e
  srba

  authored
  fb22a0e

Commits on Jun 29, 2024

• Utilityroom not loading - fix 1967522 (#156)

  Show description for 53a4fb0
  srba

  authored
  53a4fb0

Pagination

Previous

Next