Commits · master · User expired / automata-logic-project2

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