Commits · master · Valerian Wintner / automata-logic-project2

13 Jan, 2022 1 commit
- fix: red nodes not being final being their own successor caused issue with counter. · b89dc616
  Valerian Wintner authored Jan 13, 2022
  
  b89dc616
12 Jan, 2022 11 commits
- code formatting · 8d181de4
  Valerian Wintner authored Jan 12, 2022
  
  8d181de4
- recompiled · 4ac0c1a7
  Valerian Wintner authored Jan 12, 2022
  
  4ac0c1a7
- Remove unnecessary changing of predecessor-set. · c73d0bd2
  Valerian Wintner authored Jan 12, 2022
  
  c73d0bd2
- typo · 539a5f7c
  Valerian Wintner authored Jan 12, 2022
  
  539a5f7c
- typo · fd3e141b
  Valerian Wintner authored Jan 12, 2022
  
  fd3e141b
- typos · c432f780
  Valerian Wintner authored Jan 12, 2022
  
  c432f780
- Fix: no successor on green node panicked. · 28043e02
  Valerian Wintner authored Jan 12, 2022
  
  28043e02
- Nicer error messages. · bbdc603d
  Valerian Wintner authored Jan 12, 2022
  
  bbdc603d
- (basic) Validity-check of input. · 9fd75bf0
  Valerian Wintner authored Jan 12, 2022
  
  9fd75bf0
- strings are now behind smart-pointers. · ae6a218a
  Valerian Wintner authored Jan 12, 2022
  
  ae6a218a
- windows cross-compile · 8b17e9ea
  Valerian Wintner authored Jan 12, 2022
  
  8b17e9ea
11 Jan, 2022 2 commits
- Readme fixes · 3cde8c0b
  Valerian Wintner authored Jan 11, 2022
  
  3cde8c0b
- docker container, readme · b2b447c5
  Valerian Wintner authored Jan 11, 2022
  
  b2b447c5
10 Jan, 2022 3 commits
- Multiple verbosity levels, fixed lecture graph. · b8b0e3e6
  Valerian Wintner authored Jan 10, 2022
  
  b8b0e3e6
- Fix: Counter not shared. · 93a36dce
  Valerian Wintner authored Jan 10, 2022
  
  93a36dce
- cmi, logging · d86380cd
  Valerian Wintner authored Jan 10, 2022
  
  d86380cd
09 Jan, 2022 5 commits
- svg output of graph, also version with winning positions · 46bf4fb8
  Valerian Wintner authored Jan 09, 2022
  
  46bf4fb8
- only red nodes in predecessor · 5e2a3ad3
  Valerian Wintner authored Jan 09, 2022
  
  5e2a3ad3
- working algorithm · 52202216
  Valerian Wintner authored Jan 09, 2022
  
  52202216
- read graph, split into important parts · 1a7e7114
  Valerian Wintner authored Jan 09, 2022
  
  1a7e7114
- base attempt at algorithm · 13ccf4e7
  Valerian Wintner authored Jan 09, 2022
  
  13ccf4e7
06 Jan, 2022 1 commit
- hello project · 76137157
  Valerian Wintner authored Jan 06, 2022
  
  76137157