1. 31 Oct, 2020 1 commit
    • Tomáš Pecka's avatar
      Use ninja in dockerfiles · e046ef3b
      Tomáš Pecka authored
      We are using alt's docker images based on alpine:edge. As of today (Oct
      31, 2020), strange errors began to come from cmake/make.
       -- Check for working C compiler: /usr/bin/cc
       -- Check for working C compiler: /usr/bin/cc - broken
       CMake Error at /usr/share/cmake/Modules/CMakeTestCCompiler.cmake:66 (message):
         The C compiler
         is not able to compile a simple test program.
         It fails with the following output:
           Change Dir: /app/CMakeFiles/CMakeTmp
           Run Build Command(s):/usr/bin/make cmTC_49c71/fast && /usr/bin/make  -f CMakeFiles/cmTC_49c71.dir/build.make CMakeFiles/cmTC_49c71.dir/build
           make: /usr/bin/make: Operation not permitted
           make: *** [Makefile:140: cmTC_49c71/fast] Error 127
         CMake will not be able to correctly generate this project.
       Call Stack (most recent call first):
         CMakeLists.txt:2 (project)
      However, ninja builds seem fine. In the alpine:edge they have the
      samurai[1] implementation of ninja. Let's use that as a workaround.
      [1] https://pkgs.alpinelinux.org/package/edge/main/x86_64/samurai
  2. 30 Oct, 2020 1 commit
  3. 28 Oct, 2020 2 commits
    • Tomáš Pecka's avatar
      Report more detailed ALT errors to WebUI · 015f4717
      Tomáš Pecka authored
      Reporting only the top level exception from ALT is simply not enough.
      Compare the difference between these two errors logs propagated to the
      webui and/or worker's logger.
      Error: Evaluation of algorithm string::Parse failed.
      Evaluation of algorithm string::Parse failed.
       -> Multiple initial states are not avaiable for DFA type
      Closes #41.
    • Tomáš Pecka's avatar
      webui: reset templateParams when updating GhostNode from special nodes · 4c17bec2
      Tomáš Pecka authored
      We encountered a bug #39 that caused DotConverter to fail sometimes.
      After debugging backend we noticed that DotConverter is trying to be
      evaulated with templateParams 'automaton::Automaton' which was weird.
      (It could be also noticed from the JSONs sent to backends, but I was
      super blind.)
      After some messing with the frontend it seemed that DotOutput node (when
      put) on the canvas already has the templateParams set wrong. It seemed
      that this happens only when putting it on the canvas after a node that
      has templateParams specified (like string::Parse).
      The solution is therefore to set templateParams to empty before putting
      any special node on canvas.
      Closes #39.
  4. 25 Oct, 2020 1 commit
    • Tomáš Pecka's avatar
      Announce ALT and WebUI versions in client · 514b3b22
      Tomáš Pecka authored
      This patch announces WebUI and ALT versions in the top bar of
      webui-client page. The ALT version is fetched from the ALIB_VERSION
      macro in ALT's version.hpp. WebUI version must be passed manually.
      Both are stored in a separate json file.
      Also cleanup static files, including algorithms.json. It should always
      be built against current ALT backend and not stored in the repository.
  5. 13 Sep, 2020 2 commits
  6. 15 Jun, 2020 1 commit
  7. 13 Jun, 2020 1 commit
  8. 06 Jun, 2020 2 commits
  9. 31 May, 2020 1 commit
  10. 29 May, 2020 3 commits
  11. 28 May, 2020 12 commits
  12. 27 May, 2020 11 commits
  13. 26 May, 2020 2 commits