12 commits

Author	SHA1	Message	Date
Joshua Moerman	91d4c6d539	Removed gauge and added tasty and some tests (working towards mealy machines)	2024-10-18 16:07:21 +02:00
Joshua Moerman	9c212ccfda	Revert previous workaround, as NLambda is now updated	2023-07-12 21:33:21 +02:00
Joshua Moerman	eb94b82251	Replaces all NominalType with Nominal	2023-05-31 15:52:17 +02:00
Joshua Moerman	98f9c6e295	Also simplifies the L* algorithm, which is now a bit faster	2021-02-25 16:32:17 +01:00
Joshua Moerman	7b41e7d97c	Faster version of the nominal NL* algorithm by specialising the observation table to Booleans	2021-02-25 14:35:40 +01:00
Joshua Moerman	c2b2907555	Adds a class for tables	2021-02-22 13:28:42 +01:00
Joshua Moerman	9a75d5f296	Made a decent automated benchmark	2020-11-19 13:04:12 +01:00
Joshua Moerman	c4a34b9039	fixed some warnings and did some small cleanup	2020-11-17 12:21:46 +01:00
Joshua Moerman	0b046ca73f	Wrote a simpler data structure for the observation table. However, it is slower	2020-11-10 15:11:26 +01:00
Joshua Moerman	8a66ccaec5	Rewrote nominal NL* for better performance, by specialising for Booleans	2020-08-14 20:13:01 +02:00
Joshua Moerman	a3e6d0581c	simpler benchmarks	2020-05-28 09:21:42 +02:00
Joshua Moerman	16b0f6ed79	Cleaned up the cabal file and moved some bits around	2020-05-27 18:37:53 +02:00