Commits · 911eb52f06f76184de3ed7183a8a395636506b69 · Spot / spot-web-app · GitLab

10 Aug, 2018 2 commits
- Add licenses · 911eb52f
  Alexandre Duret-Lutz authored Aug 10, 2018
  
  911eb52f
- automatically switch between horizontal and vertical display · c789d196
  Alexandre Duret-Lutz authored Aug 10, 2018
  
  c789d196
09 Aug, 2018 3 commits
- add icon to randomize the formula + PSL>LTL diagnostics · fa9e86df
  Alexandre Duret-Lutz authored Aug 09, 2018
  
  fa9e86df
- URIEncode the ltl formula before sending it · 7af6c76a
  Alexandre Duret-Lutz authored Aug 09, 2018
  
  7af6c76a
- reformat using prettier · 3d91033e
  Alexandre Duret-Lutz authored Aug 09, 2018
  
  3d91033e
08 Aug, 2018 8 commits
- revert most of previous patch · 06ac94ff
  Alexandre Duret-Lutz authored Aug 08, 2018
  
  06ac94ff
- adjust path to logo and spot.css files · 7e3a9abb
  Alexandre Duret-Lutz authored Aug 08, 2018
  
  7e3a9abb
- add spot2 logo and css · a627932b
  Alexandre Duret-Lutz authored Aug 08, 2018
  
  a627932b
- help text for error code 500 · 11e3ab65
  Alexandre Duret-Lutz authored Aug 08, 2018
  
  11e3ab65
- clearTimeout also on network errors · 80ae5e0c
  Alexandre Duret-Lutz authored Aug 08, 2018
  
  80ae5e0c
- display a CircularProgress for long fetches · 239e97e3
  Alexandre Duret-Lutz authored Aug 08, 2018
  
  239e97e3
- align top-level containers on flex-start · 8d240f92
  Alexandre Duret-Lutz authored Aug 08, 2018
  
  8d240f92
- add tooltips · 2fc0f175
  Alexandre Duret-Lutz authored Aug 08, 2018
  
  2fc0f175
07 Aug, 2018 6 commits
- fine tuning automaton margin and plural · d30fb047
  Alexandre Duret-Lutz authored Aug 07, 2018
  
  d30fb047
- use overflow auto instead of scroll · d1c8574d
  Alexandre Duret-Lutz authored Aug 07, 2018
  
  d1c8574d
- better styling for chrome · de7e27e3
  Alexandre Duret-Lutz authored Aug 07, 2018
  
  de7e27e3
- report fetch errors · ea7da5e1
  Alexandre Duret-Lutz authored Aug 07, 2018
  
  ea7da5e1
- improve responsive design, limit automata sizes · 4f6a8474
  Alexandre Duret-Lutz authored Aug 07, 2018
  
  4f6a8474
- add caching for succesfull requests and README for dev · 918ae503
  Alexandre Duret-Lutz authored Aug 07, 2018
  
  918ae503
06 Aug, 2018 6 commits
- adjust for different api endpoints and protocols · 66ae10ca
  Alexandre Duret-Lutz authored Aug 06, 2018
  
  66ae10ca
- handle different api for development and production · acd2addf
  Alexandre Duret-Lutz authored Aug 06, 2018
  
  acd2addf
- update package.json · 0b46bf2c
  Alexandre Duret-Lutz authored Aug 06, 2018
  
  0b46bf2c
- run npm install · e573c570
  Alexandre Duret-Lutz authored Aug 06, 2018
  
  e573c570
- install gitlab-ci.yml · e129a5e6
  Alexandre Duret-Lutz authored Aug 06, 2018
  
  e129a5e6
- update versions · 989afd23
  Alexandre Duret-Lutz authored Aug 06, 2018
  
  989afd23
05 Aug, 2018 1 commit
- initial version · c8afd067
  Alexandre Duret-Lutz authored Aug 05, 2018
  
  c8afd067