Commits · 695e36765b59cfefe85a90f167949e4afe3ee8b4 · Algorithms Library Toolkit / Algorithms Library Toolkit Core

Apr 02, 2019
- overload map at with a default parameter · 695e3676
  Jan Trávníček authored 5 years ago
  
  695e3676
Mar 30, 2019
- allow to compare tuple of two elements and pair · 55ae6162
  Jan Trávníček authored 5 years ago
  
  55ae6162
- xml api for Multimap · 05e61d69
  Jan Trávníček authored 5 years ago
  
  05e61d69
- simplify compact and epsilon NFA · 7ad94fec
  Jan Trávníček authored 5 years ago
  
  7ad94fec
- add multimap extension · 0a57a465
  Jan Trávníček authored 5 years ago
  
  0a57a465
- cleaning up the map extensions · 3489cf21
  Jan Trávníček authored 5 years ago
  
  3489cf21
- CI: Disable alpine:clang job · c44526b3
  Tomáš Pecka authored 5 years ago
  
  c44526b3
- Cli: builtin::Dot now runs in background · 704877f1
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  704877f1
- Algo: Update minimize doc · 5b6d225c
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  5b6d225c
- Integration test: Compare outputs of 3 minimizations algorithms · 4d73f970
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  4d73f970
- Algo: Compute minimal DFA using sets of undistinguishable states · 219056ce
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  219056ce
- Algo: Compute partitions of undistinguishable states · 038558a6
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  038558a6
- Algo: Distinguishable states of DFA · df4f38be
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  df4f38be
- Algo: Check whether DFA/NFA defines an infinite language · 5d7e0886
  Tomáš Pecka authored 5 years ago and Tomáš Pecka committed 5 years ago
  
  5d7e0886
Mar 28, 2019
- set seed in aql timeout test in integration · 84146c4e
  Jan Trávníček authored 5 years ago
  
  84146c4e
- fix printing common exception · 82af1038
  Jan Trávníček authored 5 years ago
  
  82af1038
- allow templated algorithms in cli · fac7b319
  Jan Trávníček authored 5 years ago
  
  fac7b319
Mar 27, 2019
- redesign trim FTA · dc65d4b1
  Jan Travnicek authored 5 years ago
  
  dc65d4b1
- fix DFTA and NFTA to DotConversion · e9b0295c
  Jan Travnicek authored 5 years ago
  
  e9b0295c
- remove dependency on threads from alib2gui · 2940305a
  Jan Travnicek authored 5 years ago
  
  2940305a
- drop enable c language again · fd2f0b5d
  Jan Travnicek authored 5 years ago
  
  fd2f0b5d
- fix retrieval of to state for automata · 3d0ed9d0
  Jan Travnicek authored 5 years ago
  
  3d0ed9d0
Mar 26, 2019
- remove code implemented prior to c++17 standard · 6016c1a1
  Jan Trávníček authored 5 years ago
  
  6016c1a1
- CMake: Redesign FindTClap · 35037a47
  Tomáš Pecka authored 5 years ago
  
  35037a47
- CMake: Redesign FindReadline · eae00e13
  Tomáš Pecka authored 5 years ago
  
  eae00e13
- CMake: Redesign FindGraphviz · 6f404209
  Tomáš Pecka authored 5 years ago
  
  6f404209
- Algo: FA to RE conversion using the algorithm from the proof of the DFA->RE theorem · 95f28a3f
  Tomáš Pecka authored 5 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

Admin message