 Kilian Lieret
|
88cfef873d
Web: Factor out Feed.js; fix highlighting of step == null
|
6 月之前 |
|
Kilian Lieret
|
8567a29981
Web enh: Make sure that killing thread succeeds
|
6 月之前 |
|
Kilian Lieret
|
8b4d8762d2
Web enh: Only scroll and highlight after computation is finished
|
6 月之前 |
|
Kilian Lieret
|
a09a857891
Web enh: Auto-scroll log messages
|
6 月之前 |
|
Kilian Lieret
|
9da5402336
Web enh: Control button activity depending on run state
|
6 月之前 |
|
mikanfactory
|
6d8eee9107
Fix Together model validation error (#236)
|
6 月之前 |
|
Kilian Lieret
|
8f3fe2a4fd
Web feat: Display log messages (partially broken)
|
6 月之前 |
|
Kilian Lieret
|
3982fd3875
Web refactor: Split up server.py
|
6 月之前 |
|
Kilian Lieret
|
7278128757
Web: Remove files from flask prototype
|
6 月之前 |
|
Kilian Lieret
|
2c090dd1e4
Web: Rename folder web -> api
|
6 月之前 |
|
Kilian Lieret
|
48405e6b30
Web feat: Kill running computation
|
6 月之前 |
|
Ofir Press
|
762a963910
Update cursors_edit_linting.sh - fix grammar issue
|
6 月之前 |
|
Ofir Press
|
c786b9a9fc
Update edit_linting.sh - fix grammar issue
|
6 月之前 |
|
Kilian Lieret
|
f3c01a03f6
Web feat: Restore scrolling behavior
|
6 月之前 |
|
John Yang
|
233533a94e
Minor condition changes
|
6 月之前 |
|
John Yang
|
bc4a0c3a58
Merge pull request #271 from waterson/waterson/python-version-environment-yml
|
6 月之前 |
|
Kilian Lieret
|
c5d6e748c0
Web Fix: Every message to appear only once
|
6 月之前 |
|
Carlos E. Jimenez
|
678301abfd
Update swe_env.py
|
6 月之前 |
|
Tam Nguyen
|
e4b0b9d10d
minor changes for server and client endpoints to better handling cors
|
6 月之前 |
|
Kilian Lieret
|
d592bc5a06
Web: Bring back highlighting
|
6 月之前 |
|
Chris Waterson
|
df48294d48
Pass Python version to get_environment_yml
|
6 月之前 |
|
Kilian Lieret
|
b4c725df2b
Web: Moved most of the interface to react
|
6 月之前 |
|
Kilian Lieret
|
10f1127e1c
Web: Add step index and scroll to it
|
6 月之前 |
|
Kilian Lieret
|
a4c05684ce
Web: Switch to using jquery
|
6 月之前 |
|
Kilian Lieret
|
d9a6d50027
Web: Add prompts to feed
|
6 月之前 |
|
Kilian Lieret
|
b826b7ad42
WIP
|
6 月之前 |
|
Kilian Lieret
|
fbfdb96bc5
Web: Separate messages in feeds; markdown support
|
6 月之前 |
|
Kilian Lieret
|
c600c37693
Web: Use agent hooks
|
6 月之前 |
|
Kilian Lieret
|
166e11c51c
Web: Split feed into two
|
6 月之前 |
|
Kilian Lieret
|
640df07e8f
Web: Can start runs from flask
|
6 月之前 |
