joshua/mealy-decompose
1
Fork 0
mirror of https://git.cs.ou.nl/joshua.moerman/mealy-decompose.git synced 2025-04-29 17:57:44 +02:00
Code Issues Releases Activity

Commit graph

  • a4d97a9d04 hsi and w method (almost) main Joshua Moerman 2025-04-29 11:36:40 +02:00
  • 8e3d2d6dbb Addded state cover to hsi method Joshua Moerman 2025-04-29 11:02:53 +02:00
  • 9b6a050bda added some copyrgiht info Joshua Moerman 2025-04-29 09:57:09 +02:00
  • 244e150665 Cleaned up io a bit Joshua Moerman 2025-04-28 11:48:03 +02:00
  • c14d24a13c moved the other commands as well so that everything goes via main Joshua Moerman 2025-04-22 11:53:39 +02:00
  • 8da20fdbad Added RandomGen to the main executable Joshua Moerman 2025-04-16 13:59:41 +02:00
  • e938befa20 actually using the command line options Joshua Moerman 2025-04-16 13:41:06 +02:00
  • dbecd98e18 Added proper commandline parsing, and moved the input-decompose into main Joshua Moerman 2025-04-15 17:02:32 +02:00
  • 1316334ccc Restructured the project Joshua Moerman 2025-04-14 20:38:53 +02:00
  • 3ea28601db Added command line option Joshua Moerman 2025-04-14 13:49:07 +02:00
  • 7deb8e8e1c Restructures Main and also implemented input decomposition Joshua Moerman 2024-09-25 12:56:50 +02:00
  • ef2ab8a2a2 Some small changes Joshua Moerman 2024-09-23 16:52:47 +02:00
  • df6a2708c5 Added documentation and cleaned up some code Joshua Moerman 2024-09-23 10:06:29 +02:00
  • ffca2592fc Removes the copar dependency Joshua Moerman 2024-09-23 08:46:49 +02:00
  • 2b8b79a431 Refactored and cleaned up some things Joshua Moerman 2024-06-26 09:13:56 +02:00
  • fb0adfbf46 Additional optimisation of components Joshua Moerman 2024-06-24 08:28:07 +02:00
  • 646b915d36 more formatting Joshua Moerman 2024-06-14 14:43:32 +02:00
  • 8223ff9d59 more formatting Joshua Moerman 2024-06-14 14:09:18 +02:00
  • 353d191c0c installed a linter and formatter for python Joshua Moerman 2024-06-14 14:00:25 +02:00
  • cf63613836 script to input-decompose a model Joshua Moerman 2024-06-14 13:25:52 +02:00
  • 2bd081ba37 reorganised python script, slightly more efficient now Joshua Moerman 2024-06-11 09:59:13 +02:00
  • a067d158f4 New feature in SAT solving script: weak decomposition Joshua Moerman 2024-06-05 10:46:27 +02:00
  • 4c8b8d9f2f Incremental sat solving to find optimal solution (with fixed c) Joshua Moerman 2024-05-29 16:40:17 +02:00
  • 7cca04c3df adds progress when constructing the formula Joshua Moerman 2024-05-29 16:21:49 +02:00
  • 45bbc2df85 better output Joshua Moerman 2024-05-22 11:29:07 +02:00
  • 68a800829c More flags and optimisation Joshua Moerman 2024-05-22 11:23:29 +02:00
  • f53dceb6fb Added dot parser for python to the sat solver Joshua Moerman 2024-05-22 10:50:40 +02:00
  • 99bb42b47e added some command line options Joshua Moerman 2024-05-17 22:06:58 +02:00
  • 9dc32ddc11 New SAT solving script which optimally decomposes an FSM on outputs Joshua Moerman 2024-05-17 20:58:30 +02:00
  • 587a97cc55 Added basic path compression in the union-find data structure Joshua Moerman 2024-05-17 16:02:17 +02:00
  • 5136728374 Simplified the code a little bit Joshua Moerman 2024-05-01 10:22:05 +02:00
  • 1252114e23 Kleine optimalisaties en bisimulatie uitrekenen voor EQOracle Joshua Moerman 2024-04-30 16:20:25 +02:00
  • 22bec3873b nothing really Joshua Moerman 2024-04-29 17:42:54 +02:00
  • 4127546f67 Script to generate random composed mealy machines Joshua Moerman 2024-04-16 15:05:08 +02:00
  • b513448480 Very basic LStar command line interface Joshua Moerman 2024-04-09 11:31:50 +02:00
  • 7e3019a47a Basic LStar in Haskell Joshua Moerman 2024-04-09 11:31:20 +02:00
  • f7b3d27478 bugfix in decompose_mealy.py and it actually works now Joshua Moerman 2024-04-03 20:31:57 +02:00
  • f5072a9b40 decomposition of mealy machines, does not work yet Joshua Moerman 2024-04-03 16:47:38 +02:00
  • a8bbe84173 optimal decomposition of sets (boring) Joshua Moerman 2024-04-03 16:47:24 +02:00
  • 6b17f27fb3 meer info Joshua Moerman 2024-03-26 16:36:35 +01:00
  • 562f2f8462 solver code verbeterd (veel sneller in geval van sat) Joshua Moerman 2024-03-26 15:54:43 +01:00
  • 158e5d96cf klein beetje opschonen Joshua Moerman 2024-03-13 10:53:01 +01:00
  • 9ca572ca74 Stub script voor decompositie via SAT Joshua Moerman 2024-03-13 10:48:51 +01:00
  • 7205f29827 Adds SplittingTree -> StateIdentifiers Joshua Moerman 2024-03-12 09:48:50 +01:00
  • 31467d32f5 Removes example Joshua Moerman 2024-03-11 13:31:52 +01:00
  • 09793bd0bc style change Joshua Moerman 2024-03-11 13:29:22 +01:00
  • fe21bc794c Algorithm to compute splitting trees. (TODO: adapt to uncertain outputs) Joshua Moerman 2024-03-11 13:22:21 +01:00
  • 74f547ed38 More output from Main Joshua Moerman 2024-03-11 13:21:41 +01:00
  • d19cd9f48f Cleans up main by moving some algorithms to Preorder.hs Joshua Moerman 2024-01-10 16:35:49 +01:00
  • 8d65686c49 Tool can now output mealy machines as well Joshua Moerman 2023-12-19 22:19:24 +01:00
  • 468f2f72fb Refactored some code Joshua Moerman 2023-12-18 15:39:17 +01:00
  • 0f0f2fbc05 meer plaatjes Joshua Moerman 2023-12-08 20:20:21 +01:00
  • 586d01bceb Changes the script so it does all the things I did manually first Joshua Moerman 2023-12-08 20:17:07 +01:00
  • a20e5e9317 Made isRefinementOf much faster Joshua Moerman 2023-12-01 16:59:54 +01:00
  • e20251c07d Greedily merge components (works, but unfortunately no better solution found yet) Joshua Moerman 2023-11-29 16:36:12 +01:00
  • 18e0b2f4d6 Moved some bits around Joshua Moerman 2023-11-22 12:20:54 +01:00
  • c0c8181b0f added example result Joshua Moerman 2023-11-21 16:07:29 +01:00
  • 4e9b009c3b Put together a prototype to decompose a mealy machine and get show equivalent components and subcomponents Joshua Moerman 2023-11-21 16:05:34 +01:00
  • d1eb96d80a Initial test of general decomposition Joshua Moerman 2023-11-17 16:21:20 +01:00