Commits · master · Spot / spot-web-app

11 May, 2021 1 commit
- * server/spotapi.py: Typo. · c063241e
  Alexandre Duret-Lutz authored May 11, 2021
  
  c063241e
28 Apr, 2021 1 commit
- Mana -> Manna (reported by Florian Renkin) · 481b016f
  Alexandre Duret-Lutz authored Apr 28, 2021
  
  481b016f
19 Apr, 2021 5 commits
- fix incorrect margins around <pre>formatted text · 13dda336
  Alexandre Duret-Lutz authored Apr 19, 2021
```
these margins are coming from Spot's website CSS
```
  13dda336
- adjust the SVG returned for incomparable formulas · 68270242
  Alexandre Duret-Lutz authored Apr 19, 2021
```
the w₃ label could have the bottom of its "3" clipped
```
  68270242
- fix margins around closing button for help text · 0ccfb56d
  Alexandre Duret-Lutz authored Apr 19, 2021
  
  0ccfb56d
- adjust api_endpoint to work on different ports · 298ddbeb
  Alexandre Duret-Lutz authored Apr 19, 2021
```
update the README to point to the docker container
```
  298ddbeb
- run prettier 2.2.1 · d9c75e57
  Alexandre Duret-Lutz authored Apr 19, 2021
  
  d9c75e57
29 Mar, 2021 1 commit
- remove debugging statements · caab5f7c
  Alexandre Duret-Lutz authored Mar 29, 2021
  
  caab5f7c
11 Mar, 2021 1 commit
- Honor forcetacc for HOA output as well. · e2e51a90
  Alexandre Duret-Lutz authored Mar 11, 2021
```
Suggested by Yann Thierry-Mieg.
```
  e2e51a90
14 Sep, 2020 1 commit
- expire artifacts in 6 months · d2097277
  Alexandre Duret-Lutz authored Sep 14, 2020
  
  d2097277
03 Sep, 2020 1 commit
- update docker registry, for buildenv#1 · f0558d60
  Alexandre Duret-Lutz authored Sep 03, 2020
  
  f0558d60
31 Jul, 2020 2 commits
- * client/src/LtlApp.js: Missing | and & in help text for prefix syntax. · 9cc31c8e
  Alexandre Duret-Lutz authored Jul 31, 2020
  
  9cc31c8e
- * client/src/LtlApp.js: Typo in help text. · 8b59a581
  Alexandre Duret-Lutz authored Jul 31, 2020
  
  8b59a581
24 Jul, 2020 1 commit
- Add Rabin & Streett indices · 9a39bb3d
  Alexandre Duret-Lutz authored Jul 24, 2020
  
  9a39bb3d
25 Jul, 2019 2 commits
- document more operators · 9cb28747
  Alexandre Duret-Lutz authored Jul 25, 2019
  
  9cb28747
- simplify for Spot 2.8 · ea647e16
  Alexandre Duret-Lutz authored Jul 25, 2019
  
  ea647e16
24 May, 2019 1 commit
- Fix spot#388 · 6a0453ab
  Alexandre Duret-Lutz authored May 24, 2019
  
  6a0453ab
18 May, 2019 2 commits
- remove stray print · 518a9608
  Alexandre Duret-Lutz authored May 18, 2019
  
  518a9608
- catch graphviz errors and display a warning · 92e28d1f
  Alexandre Duret-Lutz authored May 18, 2019
  
  92e28d1f
17 May, 2019 3 commits
- typo · bda3cf7e
  Alexandre Duret-Lutz authored May 17, 2019
  
  bda3cf7e
- improve speed of STUDY on formula with lots of AP used together · 77dd8208
  Alexandre Duret-Lutz authored May 17, 2019
  
  77dd8208
- fix display of CircularProgress in all tabs except Translate · b6502c9a
  Alexandre Duret-Lutz authored May 17, 2019
  
  b6502c9a
12 May, 2019 1 commit
- state if a non SSI formula can be simplified to an SSI formula · 61824f9b
  Alexandre Duret-Lutz authored May 12, 2019
  
  61824f9b
02 Apr, 2019 1 commit
- typo: R is spelled V in lbt's syntax · ce984be8
  Alexandre Duret-Lutz authored Apr 02, 2019
  
  ce984be8
13 Mar, 2019 1 commit
- add a drawword route in the server · 5d87a98c
  Alexandre Duret-Lutz authored Mar 13, 2019
```
not yet used in the client
```
  5d87a98c
12 Mar, 2019 3 commits
- more compact help text · cc8daba4
  Alexandre Duret-Lutz authored Mar 12, 2019
  
  cc8daba4
- add help text for acceptance conditions · 503fcc8d
  Alexandre Duret-Lutz authored Mar 12, 2019
  
  503fcc8d
- improve layout of operator lists in help text · 37497ae2
  Alexandre Duret-Lutz authored Mar 12, 2019
  
  37497ae2
11 Mar, 2019 1 commit
- add some help window · bc9a99b5
  Alexandre Duret-Lutz authored Mar 11, 2019
  
  bc9a99b5
13 Dec, 2018 1 commit
- Add safety-liveness classification · dd5ddbd7
  Alexandre Duret-Lutz authored Dec 13, 2018
  
  dd5ddbd7
12 Oct, 2018 1 commit
- fix location of w₃ in the most common case · d3268758
  Alexandre Duret-Lutz authored Oct 12, 2018
  
  d3268758
04 Oct, 2018 2 commits
- fix error message on empty formula2 · 569d9805
  Alexandre Duret-Lutz authored Oct 04, 2018
  
  569d9805
- better presentation of unabbreviation otions · d8edb07f
  Alexandre Duret-Lutz authored Oct 04, 2018
  
  d8edb07f
03 Oct, 2018 2 commits
- improve layout of unabbrev checkboxes · 9f2868f2
  Alexandre Duret-Lutz authored Oct 03, 2018
  
  9f2868f2
- align version button with the rest of the top-line buttons · 25a60ff8
  Alexandre Duret-Lutz authored Oct 03, 2018
  
  25a60ff8
02 Oct, 2018 3 commits
- upgrade react and material-ui to their latest versions · bb341b94
  Alexandre Duret-Lutz authored Oct 02, 2018
  
  bb341b94
- Add warning about completed monitors · 3712de0e
  Alexandre Duret-Lutz authored Oct 02, 2018
```
Fixes #1.
```
  3712de0e
- support multiple notes from the translation · 3092103d
  Alexandre Duret-Lutz authored Oct 02, 2018
  
  3092103d
11 Aug, 2018 1 commit
- ignore spot.css's body's max-width by forcing it to "initial" · 46625f77
  Alexandre Duret-Lutz authored Aug 11, 2018
  
  46625f77
10 Aug, 2018 1 commit
- Add licenses · 911eb52f
  Alexandre Duret-Lutz authored Aug 10, 2018
  
  911eb52f