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
|
63a695571a
|
Squash migrations
|
2017-09-06 16:16:53 -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
|
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
|
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
|
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 |
|
Nicolas Setton
|
c8d2811f29
|
Style using twitter bootstrap v3
And put editors in nice tabs.
|
2017-09-03 13:57:20 -04:00 |
|
Nicolas Setton
|
26ec72a624
|
Add support for retrieving example contents using AJAX
|
2017-09-03 12:19:52 -04:00 |
|
Nicolas Setton
|
969cb3fae1
|
Add a version of jquery, from jquery.com
|
2017-09-03 12:19:18 -04:00 |
|
Nicolas Setton
|
99739e813f
|
Add static resources and templates to the project
And initial CSS.
|
2017-09-03 10:27:29 -04:00 |
|
Nicolas Setton
|
0bd8d17a43
|
Add platform support for serving pages
... along with instructions on how to get the ACE editor.
|
2017-09-02 14:24:26 -04:00 |
|
Nicolas Setton
|
fc6ccd2717
|
Complete the view of a single example.
|
2017-07-21 15:59:27 -04:00 |
|
Nicolas Setton
|
014ded7ec2
|
Initial implementation for the /example request
|
2017-07-21 15:48:38 -04:00 |
|
Nicolas Setton
|
b36c4d6aed
|
Add support for reading example metadata
|
2017-07-19 16:57:57 -04:00 |
|
Nicolas Setton
|
2a09f6b92f
|
Add a command to fill the examples (first version)
|
2017-07-19 16:42:02 -04:00 |
|
Nicolas Setton
|
a0e20910ad
|
Cleanup the model
Rather than "Program", use "Resource" for a file.
Adapt the views and urls and serializers accordingly.
|
2017-07-19 14:42:35 -04:00 |
|