Commits · c44526b38889a063561c350a02534f107b7efd77 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

"git@gitlab.fit.cvut.cz:ismaysan/bi-ido-flight-log-public.git" did not exist on "91bb19cd60218f544bc4e0af7ca1e8b5aa8fa074"

Mar 30, 2019
- CI: Disable alpine:clang job · c44526b3
  Tomáš Pecka authored 6 years ago
  
  c44526b3
- Cli: builtin::Dot now runs in background · 704877f1
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  704877f1
- Algo: Update minimize doc · 5b6d225c
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  5b6d225c
- Integration test: Compare outputs of 3 minimizations algorithms · 4d73f970
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  4d73f970
- Algo: Compute minimal DFA using sets of undistinguishable states · 219056ce
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  219056ce
- Algo: Compute partitions of undistinguishable states · 038558a6
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  038558a6
- Algo: Distinguishable states of DFA · df4f38be
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  df4f38be
- Algo: Check whether DFA/NFA defines an infinite language · 5d7e0886
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  5d7e0886
Mar 28, 2019
- set seed in aql timeout test in integration · 84146c4e
  Jan Trávníček authored 6 years ago
  
  84146c4e
- fix printing common exception · 82af1038
  Jan Trávníček authored 6 years ago
  
  82af1038
- allow templated algorithms in cli · fac7b319
  Jan Trávníček authored 6 years ago
  
  fac7b319
Mar 27, 2019
- redesign trim FTA · dc65d4b1
  Jan Travnicek authored 6 years ago
  
  dc65d4b1
- fix DFTA and NFTA to DotConversion · e9b0295c
  Jan Travnicek authored 6 years ago
  
  e9b0295c
- remove dependency on threads from alib2gui · 2940305a
  Jan Travnicek authored 6 years ago
  
  2940305a
- drop enable c language again · fd2f0b5d
  Jan Travnicek authored 6 years ago
  
  fd2f0b5d
- fix retrieval of to state for automata · 3d0ed9d0
  Jan Travnicek authored 6 years ago
  
  3d0ed9d0
Mar 26, 2019
- remove code implemented prior to c++17 standard · 6016c1a1
  Jan Trávníček authored 6 years ago
  
  6016c1a1
- CMake: Redesign FindTClap · 35037a47
  Tomáš Pecka authored 6 years ago
  
  35037a47
- CMake: Redesign FindReadline · eae00e13
  Tomáš Pecka authored 6 years ago
  
  eae00e13
- CMake: Redesign FindGraphviz · 6f404209
  Tomáš Pecka authored 6 years ago
  
  6f404209
- Algo: FA to RE conversion using the algorithm from the proof of the DFA->RE theorem · 95f28a3f
  Tomáš Pecka authored 6 years ago
  
  95f28a3f
Mar 23, 2019
- Integration tests: Remove SIGCHLD handler from test childs · 2df4b70e
  Tomáš Pecka authored 6 years ago and Tomáš Pecka committed 6 years ago
  
  2df4b70e
Mar 22, 2019
- make gitignore recognise links to compilation dirs · 523d0f22
  Jan Trávníček authored 6 years ago
  
  523d0f22
- simplify comparator in DFA · 91cd7b44
  Jan Travnicek authored 6 years ago and Jan Trávníček committed 6 years ago
  
  91cd7b44
- redesign poly_comp class · f28a7cf7
  Jan Trávníček authored 6 years ago
  
  f28a7cf7
Mar 21, 2019
- redesign comparison of values of any type · 8ec471f8
  Jan Trávníček authored 6 years ago
  
  8ec471f8
- add missing include · 01c47266
  Jan Trávníček authored 6 years ago
  
  01c47266
- restrict variant compare operators · 4595bbe9
  Jan Trávníček authored 6 years ago
  
  4595bbe9
- fix reporting of exceptions in integration tests · ca6b172b
  Jan Trávníček authored 6 years ago
  
  ca6b172b
- verbose backward string matching algorithms · 38f78df9
  Jan Trávníček authored 6 years ago
  
  38f78df9
Mar 19, 2019
- remove unimplemented methods from DFTA and NFTA · 4b43871a
  Jan Travnicek authored 6 years ago and Jan Trávníček committed 6 years ago
  
  4b43871a
- tiny refactoring of sighandler · b5147fb8
  Jan Travnicek authored 6 years ago and Jan Trávníček committed 6 years ago
  
  b5147fb8
- alib2integration: Dummy segfault and timeout test · 062680d4
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 6 years ago
  
  062680d4
- alib2integration: Store aql output. Report it on failures #137 · eea85068
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 6 years ago
  
  eea85068
- SigHandler: Reraise signal #137 · fccf1d93
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 6 years ago
  
  fccf1d93
- Debug algorithm: Create segfault · f5ff7c30
  Tomáš Pecka authored 6 years ago and Jan Trávníček committed 6 years ago
  
  f5ff7c30
- enable A9 and some move semantics improvements · f81e77a2
  Jan Trávníček authored 6 years ago
  
  f81e77a2
- enable A8 regexp optimize · 14d6dd76
  Jan Travnicek authored 6 years ago and Jan Trávníček committed 6 years ago
  
  14d6dd76
- add relational operators to reference_wrapper · fb8ef546
  Jan Trávníček authored 6 years ago
  
  fb8ef546
- fix normalize of formal rte · 2c135726
  Jan Trávníček authored 6 years ago
  
  2c135726

Admin message