Commit graph

Select branches

Hide pull requests

master

Mono Color

• d96342d665 More docs, cleaned up product module. Teacher now takes cmdline args master Joshua Moerman 2024-11-25 11:20:35 +01:00
• 41fbe68fbc More haddock documentation Joshua Moerman 2024-11-12 11:28:37 +01:00
• 83f6025acf Cleaned up project a little bit Joshua Moerman 2024-11-11 16:47:14 +01:00
• b39ba8b5d5 Made it much faster Joshua Moerman 2024-11-06 16:42:07 +01:00
• 2e913bd666 Made LStarPerm slightly faster, but potentially wrong. Joshua Moerman 2024-11-06 15:16:22 +01:00
• 5f27219f12 Adds Permutable and stuff to do the usual nominal computations, not only ordered ones. Not (yet) efficient tough. Joshua Moerman 2024-11-06 13:39:52 +01:00
• 4698b4d260 More types of products Joshua Moerman 2024-11-06 13:35:14 +01:00
• b273931b9c Made the teacher actually do something nontrivial Joshua Moerman 2024-11-06 12:48:23 +01:00
• ce0fdd8e54 Added run script for learning Joshua Moerman 2024-11-05 16:25:53 +01:00
• c206b16cba Split tests to separate modules Joshua Moerman 2024-11-05 10:59:40 +01:00
• 9575a62e56 Updates testing and benchmarking Joshua Moerman 2024-11-04 15:53:23 +01:00
• d0540fe073 Updates the project, and some dependencies, fixes some warnings Joshua Moerman 2024-11-01 15:43:08 +01:00
• fa2ee892f9 Update README.md Joshua Moerman 2019-02-01 19:27:33 +01:00
• 32d98267d1 Updated README Joshua Moerman 2019-02-01 15:06:40 +01:00
• 21194d2bfd More types of automata for minimisation Joshua Moerman 2019-01-30 18:24:14 +01:00
• c296090655 simpler flags Joshua Moerman 2019-01-22 14:06:42 +01:00
• df645433d3 Small cleanup Joshua Moerman 2019-01-21 15:19:22 +01:00
• 3df9e273bf Renamed a bunch of stuff Joshua Moerman 2019-01-21 14:39:25 +01:00
• 38ddfa5f48 Small things Joshua Moerman 2019-01-18 16:25:39 +01:00
• 7a8591f002 Optimised minimisation to work on leaves separately Joshua Moerman 2019-01-18 15:12:03 +01:00
• 1d72d3cddb Minimisation Joshua Moerman 2019-01-18 14:01:19 +01:00
• 2b6a011551 Adds hFlush for IO Joshua Moerman 2019-01-17 15:01:40 +01:00
• 2ee2f091cb Adding another alphabet for learning Joshua Moerman 2019-01-16 15:32:32 +01:00
• d5a1cea46b More on handling counterexamples Joshua Moerman 2019-01-11 16:40:38 +01:00
• 6b89d2dc5f Counterexample handling Joshua Moerman 2019-01-10 15:55:43 +01:00
• 01319327af Not much Joshua Moerman 2019-01-09 15:54:47 +01:00
• b414b64c1a Construction of Hypothesis Joshua Moerman 2019-01-09 12:08:07 +01:00
• 11f57c8339 Simplified a bit Joshua Moerman 2019-01-09 10:44:14 +01:00
• 2da916f017 Adds the main L* loop, no hypotheses yet Joshua Moerman 2019-01-08 17:13:42 +01:00
• c177d59548 Clean up and Stub for LStar Joshua Moerman 2019-01-03 17:22:50 +01:00
• 4a0500ab18 Renamed Orbit -> Nominal Joshua Moerman 2019-01-03 15:21:54 +01:00
• 7b2ee61978 Adds trivial instances by using DerivingVia extension (needs new ghc) Joshua Moerman 2019-01-03 13:53:15 +01:00
• db2b00273c Adds fold functions for EquivariantSet Joshua Moerman 2019-01-03 13:52:35 +01:00
• bde739d3df Makes the FO-solver more lazy to improve performance Joshua Moerman 2018-04-11 10:56:41 +02:00
• 5793653f6b Implemented a FO-theory solver for the dense linear order Joshua Moerman 2018-04-09 19:23:27 +02:00
• da2265da90 Implemented Generics for Orbit. This required a move the type families instead of data families. Joshua Moerman 2018-04-09 17:57:49 +02:00
• 72d6310cae Moved Support to directory. This way we can choose its representation. Joshua Moerman 2018-04-09 17:56:52 +02:00
• 1f0e50898f Moves Orbit class to separate file. Adds more types of products Joshua Moerman 2018-02-27 16:55:03 +01:00
• 8487919a7c Adds units tests + benchmarking. Abstracted Support to its own modules. Performance improvements Joshua Moerman 2017-11-01 10:26:51 +01:00
• fa2061ac43 Orbit instance for Support . More documentation . Joshua Moerman 2017-10-27 18:21:34 +02:00
• 9d41629a3b Initial commit Joshua Moerman 2017-10-25 11:59:12 +02:00