Nicolas Setton
|
c9ca24e99d
|
Use Django directly to set the Allow-Access-Control-Origin
Since the cors plugin seems to only set it when an origin
header is passed to the request, which Chrome does not do.
|
2017-10-10 15:53:04 -04:00 |
|
Nicolas Setton
|
5c5a21811f
|
Allow anyone to make requests to this server
This is done by using django-cors-headers and telling
it to set Access-Control-Allow-Origin.
|
2017-10-10 14:07:00 -04:00 |
|
Nicolas Setton
|
85bb873d17
|
Add the possibility to run programs
This is deactivated for now.:
|
2017-10-10 12:01:19 -04:00 |
|
Nicolas Setton
|
f79211ee14
|
Allow other hosts to connect to the server
This allows a machine to serve contents for other servers.
|
2017-10-10 11:54:03 -04:00 |
|
Nicolas Setton
|
291b6052be
|
Support several server instances
To do this, we can no longer rely on in-memory sharing of data: instead,
use the filesystem to store the output and status of the running
processes.
|
2017-09-11 15:47:46 -04:00 |
|
Nicolas Setton
|
52ce097894
|
Improve error reporting
|
2017-09-11 11:40:12 -04:00 |
|
Nicolas Setton
|
97d0ff0fb7
|
Minor UI improvements
Fiddle with spacing, margin, fonts.
Improve the display of errors.
Add framework for launching several processes in succession.
|
2017-09-07 16:18:37 -04:00 |
|
Nicolas Setton
|
01b2214082
|
Asynchronousify the running of processes...
... and report the output in real time to the interface.
|
2017-09-07 12:09:54 -04:00 |
|
Nicolas Setton
|
6c3302249c
|
Polishing touches
Minor UI fixes and doc cleanup.
|
2017-09-07 09:43:34 -04:00 |
|
Nicolas Setton
|
8330c4adf3
|
Merge pull request #4 from setton/master
Squash migrations
|
2017-09-07 09:14:03 -04:00 |
|
Nicolas Setton
|
63a695571a
|
Squash migrations
|
2017-09-06 16:16:53 -04:00 |
|
Nicolas Setton
|
099251c289
|
Merge pull request #3 from setton/master
Implement code checker
|
2017-09-06 15:57:15 -04:00 |
|
Nicolas Setton
|
22668eb9e4
|
Do not rely on the gnatprove error return
... it returns 0 even if messages were found.
|
2017-09-06 15:56:34 -04:00 |
|
Nicolas Setton
|
71b219ce6f
|
Implement the code checker
The 'Check' button now launches GNATprove
|
2017-09-06 15:50:03 -04:00 |
|
Nicolas Setton
|
4215818249
|
Merge pull request #2 from setton/master
Initial revision of checker
|
2017-09-06 09:15:07 -04:00 |
|
Nicolas Setton
|
6e41451a08
|
Initial revision of checker, work in progress
|
2017-09-06 09:14:18 -04:00 |
|
Nicolas Setton
|
54a1ce7b4f
|
(WIP) work on checker
|
2017-09-04 20:16:02 -04:00 |
|
Nicolas Setton
|
b011b1252d
|
Add a page which lists all the examples.
And slightly improve the decision as to which file(s) to import
as an example.
|
2017-09-04 14:01:38 -04:00 |
|
Nicolas Setton
|
f96b572b68
|
Add missing pyyaml requirement
|
2017-09-04 13:20:30 -04:00 |
|
Nicolas Setton
|
2553de3e2b
|
Goto line 1 in editors after refresh
Fixes an issue where the initial content was
selected.
|
2017-09-04 13:16:18 -04:00 |
|
Nicolas Setton
|
56efec20e1
|
Merge pull request #1 from setton/master
Initial implementation of the frontend
|
2017-09-04 11:45:55 -04:00 |
|
Nicolas Setton
|
1e548a4ebc
|
Add a TODO list, for myself
|
2017-09-04 11:44:02 -04:00 |
|
Nicolas Setton
|
886f00e483
|
Templatify the HTML pages.
And add a "reset" button on editors.
|
2017-09-04 11:23:08 -04:00 |
|
Nicolas Setton
|
33a37401b6
|
Separate the javascript for populating editors
|
2017-09-04 10:56:18 -04:00 |
|
Nicolas Setton
|
ece6bf5584
|
Initial revision of a "Check" button
|
2017-09-03 21:45:08 -04:00 |
|