59 commits

This branch

This branch

All branches

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