joshua/ons-hs
1
Fork 0
mirror of https://github.com/Jaxan/ons-hs.git synced 2025-04-26 22:27:45 +02:00
Code Issues Releases Activity
41 commits 1 branch 0 tags 148 KiB
Commit graph

41 commits

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