Commits · main · Tereza Kinská / Master Thesis Implementation

Browse files

May 20, 2025
- deterministic binary · 1a1b45d1
  Tereza Kinská authored May 20, 2025
  
  1a1b45d1
- licence comments corrected · 6f7f1fc8
  Tereza Kinská authored May 20, 2025
  
  6f7f1fc8
- added deterministic words algorithm · 50547393
  Tereza Kinská authored May 20, 2025
  
  50547393
May 19, 2025
- add docummentation for all functions · 161a49b2
  Tereza Kinská authored May 19, 2025
  
  161a49b2
- update README compilation info · 7fc805d1
  Tereza Kinská authored May 19, 2025
  
  7fc805d1
- remove unused experiments data · 22b39ca5
  Tereza Kinská authored May 19, 2025
  
  22b39ca5
- update README dependencies versions · f38bac0a
  Tereza Kinská authored May 19, 2025
  
  f38bac0a
May 15, 2025
- add usage information to readme · 4bf9fc9d
  Tereza Kinská authored May 15, 2025
  
  4bf9fc9d
- adding experiments data for LTL formulae · cc5486c2
  Tereza Kinská authored May 15, 2025
  
  cc5486c2
- data for experiments cleaning · 3c03f416
  Tereza Kinská authored May 15, 2025
  
  3c03f416
- removing broken pipeline · e117e3e5
  Tereza Kinská authored May 15, 2025
  
  e117e3e5
- LICENSE corrected according to spot, added to each file · fe258ce5
  Tereza Kinská authored May 15, 2025
  
  fe258ce5
- adding license info about ba2ltlDecider and third party libraries · cfa649d5
  Tereza Kinská authored May 15, 2025
  
  cfa649d5
- adding compiled binary for experiments · 1836d27b
  Tereza Kinská authored May 15, 2025
  
  1836d27b
- added optimisation for max word length computation · 4810f28f
  Tereza Kinská authored May 15, 2025
  
  4810f28f
- matrix spuriousness check optimised · c517e9ec
  Tereza Kinská authored May 15, 2025
  
  c517e9ec
- removed old dead code · 4f45193f
  Tereza Kinská authored May 15, 2025
  
  4f45193f
- Code comments clean-up · 79dc696d
  Tereza Kinská authored May 15, 2025
  
  79dc696d
- refactoring of datastructures · 7983d2f2
  Tereza Kinská authored May 15, 2025
  
  7983d2f2
May 14, 2025
- unnecessary headers removal · 10765772
  Tereza Kinská authored May 14, 2025
  
  10765772
- refactoring - arrays to vectors in matrix iterator · a1ed33e7
  Tereza Kinská authored May 14, 2025
  
  a1ed33e7
May 13, 2025
- power computation of unsigned long long reimplemented for safety · 5acb8de9
  Tereza Kinská authored May 13, 2025
  
  5acb8de9
May 12, 2025
- optimisations for setting reachable states in matrix algorithm · 46dbe1b9
  Tereza Kinská authored May 12, 2025
  
  46dbe1b9
- data for counting buchi with 1 ap - harder · 4c4e61d6
  Tereza Kinská authored May 12, 2025
  
  4c4e61d6
- custom experiments data for counting automata wit 2ap · 4084dcb7
  Tereza Kinská authored May 12, 2025
  
  4084dcb7
- change word length to unsigned long long for scalability · dfdf6427
  Tereza Kinská authored May 12, 2025
  
  dfdf6427
May 11, 2025
- fix in alphabetmatrices constructor · 63aabab3
  Tereza Kinská authored May 11, 2025
  
  63aabab3
May 10, 2025
- setting of unreachable states optimised · ad9f5df1
  Tereza Kinská authored May 10, 2025
  
  ad9f5df1
- memory optimisations and minor fix in preimage check · b15a5174
  Tereza Kinská authored May 10, 2025
  
  b15a5174
May 09, 2025
- memory optimisations · 0daa8828
  Tereza Kinská authored May 09, 2025
  
  0daa8828
May 08, 2025
- vectors creation pushed out of the main loop · 31dda0b6
  Tereza Kinská authored May 08, 2025
  
  31dda0b6
May 07, 2025
- matrix computation optimizations · e93a13b7
  Tereza Kinská authored May 07, 2025
  
  e93a13b7
May 06, 2025
- language inclusion fix & optimizations · 621d182f
  Tereza Kinská authored May 06, 2025
  
  621d182f
May 01, 2025
- data for counting 1ap ba · 0ef5dcc3
  Tereza Kinská authored May 01, 2025
  
  0ef5dcc3
Apr 28, 2025
- refactor power computation slightly · a158ca3a
  Tereza Kinská authored Apr 28, 2025
  
  a158ca3a
Apr 26, 2025
- fix argparse name argument · 66143ffe
  Tereza Kinská authored Apr 26, 2025
  
  66143ffe
Apr 25, 2025
- fix in algorithm of alphabet matrix creation · 825c86ff
  Tereza Kinská authored Apr 25, 2025
  
  825c86ff
- add production Makefile flags · fe539d66
  Tereza Kinská authored Apr 25, 2025
  
  fe539d66
Apr 24, 2025
- added const quantifiers for safety · c9925ac1
  Tereza Kinská authored Apr 24, 2025
  
  c9925ac1
Apr 17, 2025
- index of x is now always >= index of u · ea61d1e1
  Tereza Kinská authored Apr 17, 2025
  
  ea61d1e1