Commit graph

Select branches

Hide pull requests

development

master

mde2425

Mono Color

• c9c6b4863d draw filled boxes for petri net example/tutorial development Joeri Exelmans 2025-07-23 16:56:52 +02:00
• ccf075e2e7 newline Joeri Exelmans 2025-07-23 16:35:40 +02:00
• 7974b1a26d add API LaTeX table Joeri Exelmans 2025-07-23 16:24:24 +02:00
• 7eca6ddda4 update readme Joeri Exelmans 2025-07-23 16:04:28 +02:00
• 7172ade9fa update readme Joeri Exelmans 2025-07-23 16:01:52 +02:00
• 0b936a48d1 get rid of outdated examples Joeri Exelmans 2025-07-23 16:00:42 +02:00
• 4ba0ed09b2 Merge with Robbe's scheduling language Joeri Exelmans 2025-07-23 15:30:32 +02:00
• 457aac48b3 fix Joeri Exelmans 2025-07-23 15:15:17 +02:00
• 6b5931343d Merge remote-tracking branch 'github/master' into development Joeri Exelmans 2025-07-23 13:59:00 +02:00
• 558772fbe4 commit some long outstanding changes Joeri Exelmans 2025-07-23 13:57:25 +02:00
• e046f2f972 nice visualization Joeri Exelmans 2025-07-23 13:54:32 +02:00
• fecce51828 add tutorial on model transformation with pivots Joeri Exelmans 2025-07-23 13:41:28 +02:00
• 790ba031cf add conformance check to MT tutorial Joeri Exelmans 2025-07-23 11:06:32 +02:00
• 33a70c9a88 add model transformation tutorial Joeri Exelmans 2025-07-23 11:03:48 +02:00
• 66b9a2dc33 add tutorial Joeri Exelmans 2025-07-23 10:04:08 +02:00
• 35f74aed84 get rid of unnecessary link Joeri Exelmans 2025-07-22 17:16:11 +02:00
• 069cb439cb add two more tutorials Joeri Exelmans 2025-07-22 17:15:00 +02:00
• 1dfeef767e start writing tutorials Joeri Exelmans 2025-07-22 16:47:46 +02:00
• e1eb6e0df4 Placeholders for node documentation (what and how) robbe 2025-06-30 18:22:16 +02:00
• af12f3d524 Added some documentation, fixed test and missing schedule robbe 2025-06-30 18:03:47 +02:00
• fd6c8b4277 Added some documentation, fixed test and missing schedule robbe 2025-06-30 18:03:24 +02:00
• ebfd85a666 A fully working version of the scheduling language with added examples robbe 2025-06-27 12:21:41 +02:00
• ec42f74960 Added an eval_context_decorator to allow user defined functions in rules robbe 2025-06-27 12:20:00 +02:00
• e4ea9a0410 Added ';' required after a global constraint for concistency robbe 2025-06-27 12:17:27 +02:00
• 58366fa9bb add Action code to the cd parser. robbe 2025-06-27 12:17:10 +02:00
• 9eea3618d0 cleanup the od api interface robbe 2025-06-27 12:15:19 +02:00
• 35f74ab79d
  Merge pull request #2 from joeriexelmans/development joeriexelmans 2025-06-24 13:59:45 +02:00
• 9475b1fdc5 Merge remote-tracking branch 'origin/master' into development Inte Vleminckx 2025-06-03 16:25:24 +02:00
• d00b9c25db Add 'simplified' version of the FTG+PM++ formalism with operational semantics Inte Vleminckx 2025-06-03 16:17:37 +02:00
• 04a17f6ac8 has_slot(obj) now works on instance ipv class. Useful for optional field robbe 2025-04-24 13:07:32 +02:00
• 8ee9fba4ea petrinet example fixed robbe 2025-04-24 12:33:38 +02:00
• 756b3f30da get_slots and is_instance added to readonly api + is_instance implementation robbe 2025-04-24 12:27:28 +02:00
• 5e5865d0d5 base_case of len == 0 added (same as Interactive decisionMaker) robbe 2025-04-24 12:25:44 +02:00
• bad9e8e32a removed unused variable robbe 2025-04-24 12:24:51 +02:00
• 87fc7362db Scheduler petrinet example robbe 2025-04-24 12:23:29 +02:00
• 2c64ebda67 Scheduler first commit robbe 2025-04-24 12:23:07 +02:00
• ced3edbd08 fix bytes extraction + give created objects also a name when None is provided (same as links) Inte Vleminckx 2025-02-19 10:36:05 +01:00
• 07edcc0a8e Merge remote-tracking branch 'github/development' into development Joeri Exelmans 2025-02-05 16:27:01 +01:00
• a95a99f722 Merge remote-tracking branch 'github/development' into development Joeri Exelmans 2025-02-05 16:26:37 +01:00
• 51b8bdb001 Add test for bytes type Inte Vleminckx 2025-02-05 16:26:30 +01:00
• e0136937b9 cleanup Joeri Exelmans 2025-02-05 16:26:22 +01:00
• 98f36c4cf0 Adding bytes as a type Inte Vleminckx 2025-02-05 16:24:22 +01:00
• 86cd7027f3 Adding bytes as a type Inte Vleminckx 2025-02-05 15:20:25 +01:00
• 70c53a9aef rename branch master mde2425 Joeri Exelmans 2025-02-05 10:40:40 +01:00
• 6c41c83f4f rename branch Joeri Exelmans 2025-02-05 10:40:40 +01:00
• ad6fcd7a24 add type check when overwriting slot value Joeri Exelmans 2025-01-29 16:16:59 +01:00
• a245d0a406 add a todo thingy Joeri Exelmans 2025-01-29 16:16:47 +01:00
• 7f5c2f39fc update readme Joeri Exelmans 2025-01-27 17:07:36 +01:00
• ecf669425f update readme Joeri Exelmans 2025-01-27 17:07:36 +01:00
• 0ed716585c update readme Joeri Exelmans 2025-01-27 16:53:39 +01:00
• 1d03337a61 update readme Joeri Exelmans 2025-01-27 16:53:39 +01:00
• 8fe7b0ea04 Commit some outstanding changes. Add TODO for cleanup. Joeri Exelmans 2025-01-27 16:03:45 +01:00
• 200f2a3ede add jinja2-based renderer for object diagrams Joeri Exelmans 2024-12-17 15:32:24 +01:00
• 26d8655147 add Jinja2-based tapaal exporter Joeri Exelmans 2024-12-17 14:30:24 +01:00
• 6aa5302e36 rewriter: extra check to see if produced names are valid (meaning: serializable/parseable) Joeri Exelmans 2024-12-12 13:27:24 +01:00
• 7914f01006 make sure no one deletes elements that were matched in the RHS with a RHS-condition... Joeri Exelmans 2024-12-11 21:14:22 +01:00
• 6314506ac0 parser prints line numbers AND gives an error if you use anonymous objects/links in LHS of a rule Joeri Exelmans 2024-12-11 20:32:55 +01:00
• c7288635f8 fix runner_exec_pn Joeri Exelmans 2024-12-11 11:33:04 +01:00
• 9e74075066 can call custom functions from condition code while pattern matching / rewriting + added example to runner_translate.py Joeri Exelmans 2024-12-10 12:28:49 +01:00
• fd8bc3bc40 improve (Port + Petri Net + traceability)-renderer Joeri Exelmans 2024-12-09 17:43:01 +01:00
• bd1588d809 forgot to remove debug output Joeri Exelmans 2024-12-09 17:23:07 +01:00
• 3ddfc96532 add renderer for Port + Petri Net + traceability Joeri Exelmans 2024-12-09 17:09:43 +01:00
• e4c12b7349 let's not spam the console output too much Joeri Exelmans 2024-12-09 13:05:18 +01:00
• bef233a854 Petri net: forgot to render inhibitor arcs (thanks Jason) Joeri Exelmans 2024-12-09 11:49:56 +01:00
• da5856b33b Merge branch 'optimize-matcher' (not yet seeing the performance enhancement i was hoping for...) Joeri Exelmans 2024-12-09 11:49:01 +01:00
• abe9b5705c 3-6x faster matching! Joeri Exelmans 2024-12-04 16:34:06 +01:00
• 54845b2a4a forgot to include WorkerSet in Port-model Joeri Exelmans 2024-12-04 15:50:56 +01:00
• 838bb18630 extend concrete syntax: edge can be defined as (src -> tgt) OR (tgt <- src) Joeri Exelmans 2024-12-04 15:49:02 +01:00
• 5c3026d1f6 mention which model is non-conform Joeri Exelmans 2024-12-04 15:48:18 +01:00
• 77ea19fcd6 fix bug in rewriter when deleting elements Joeri Exelmans 2024-12-04 15:29:56 +01:00
• 503d4b828a add simpler Port models for testing petri net translation Joeri Exelmans 2024-12-04 13:18:27 +01:00
• f77ae21e70 Finish starting point for assignment 6 Joeri Exelmans 2024-12-03 23:49:25 +01:00
• 7391d7d9a6 add files for assignment 6 Joeri Exelmans 2024-12-03 23:26:40 +01:00
• 6571d8556c petri net formalism: add inhibitor arc Joeri Exelmans 2024-12-03 23:25:10 +01:00
• da4f1718ce RAMification adds 'name' attribute, giving control over the names of created objects Joeri Exelmans 2024-12-03 20:28:16 +01:00
• 7c01b126c2 parser: a comment does not need to include a newline character Joeri Exelmans 2024-12-03 19:31:21 +01:00
• 5633bf17a9 i seem to have made some changes to the petrinet formalism Joeri Exelmans 2024-12-03 17:58:49 +01:00
• 9883e09ac2 merging (meta-)models works (but it's dirty!) Joeri Exelmans 2024-12-03 17:58:03 +01:00
• c31c8bf3ea and now it's even better Joeri Exelmans 2024-12-02 15:44:15 +01:00
• d14d72b8e7 use precomputed mappings for get_name-function in ODAPI (faster) Joeri Exelmans 2024-12-02 15:37:07 +01:00
• fd91372759 fix bug in matcher Joeri Exelmans 2024-11-25 14:33:33 +01:00
• 35c68e0c80 prioritize rare types when matching pattern -> host - no performance improvement so far Joeri Exelmans 2024-11-25 13:50:41 +01:00
• b6a654580c profile cumulative time for all NACs Joeri Exelmans 2024-11-25 13:48:57 +01:00
• 38e120e6c8 improve profiler Joeri Exelmans 2024-11-25 13:46:01 +01:00
• ac6334eb84 make it a bit clearer where an exception was thrown Joeri Exelmans 2024-11-25 13:36:26 +01:00
• a91c7d2bdd loader can also load without checking conformance Joeri Exelmans 2024-11-22 16:25:27 +01:00
• 4fe7e19714 add profiler to give performance insights, seems like matching is usually the bottleneck Joeri Exelmans 2024-11-22 16:25:08 +01:00
• 5962a476c0 rename types in Petri Net formalism to prevent naming collisions when merging with 'Port' formalism Joeri Exelmans 2024-11-22 15:20:16 +01:00
• 6ac8e30747 fix bug in simulator: termination condition was not checked when disabling conformance checking Joeri Exelmans 2024-11-22 15:06:17 +01:00
• ffc07fd83c implement 'topification': adding an abstract 'Top'-class to a class diagram, and making all classes inherit from it Joeri Exelmans 2024-11-22 13:36:45 +01:00
• daa50d8c82 also render petri net as object diagram Joeri Exelmans 2024-11-21 16:28:38 +01:00
• 283cfa7801 enhance petri net renderer Joeri Exelmans 2024-11-21 15:57:14 +01:00
• 3aec288e37 add petri net renderer (graphviz-based) Joeri Exelmans 2024-11-21 14:58:32 +01:00
• a0eb56421f fix Joeri Exelmans 2024-11-21 14:20:54 +01:00
• 87fdb8c190 InteractiveDecisionMaker uses alphabet characters to identify choices (less confusing, because model elements often already include numbers) Joeri Exelmans 2024-11-21 14:18:34 +01:00
• c9c5a5214d add petrinet 'mutex'-example from MoSIS slides Joeri Exelmans 2024-11-21 14:17:50 +01:00
• 5240c7e21a Add petrinet language Joeri Exelmans 2024-11-21 12:10:28 +01:00
• dd7a0536c9 Add example demonstrating abstract association and inheritance between associations Joeri Exelmans 2024-11-15 11:18:02 +01:00
• d56132f4d5 Fix bug in Class Diagram parser Joeri Exelmans 2024-11-14 14:21:28 +01:00
• 1845c3deb9 Rename matcher modules to make more sense Joeri Exelmans 2024-11-13 11:10:31 +01:00