Robert Tice
|
6397dd9301
|
Refactoring some redundancies.
|
2019-04-01 12:17:07 -04:00 |
|
Robert Tice
|
0ec318391e
|
Adding labs framework. Submit gets labs_io.txt from the frontend and uses that to drive test cases. TODO: need to figure out how to compare test case stdout with expected values to evaluate success.
|
2019-03-22 16:43:55 -04:00 |
|
Nicolas Setton
|
b53ad5363c
|
Remove common.css
This has been moved to the learn repository.
|
2019-02-06 15:06:23 -05:00 |
|
Nicolas Setton
|
d8362829d8
|
Implement the 'flow' and 'full' SPARK modes in the runner
Move the handling of extra args completely to the runner.
|
2019-02-04 19:41:21 -05:00 |
|
Nicolas Setton
|
513f947978
|
Implement and support the gnatprove mode
Factor some code in the runner.
|
2019-02-01 16:39:37 -05:00 |
|
Nicolas Setton
|
f987815443
|
Change the ownership of files on container to the runner id
|
2019-02-01 15:10:16 -05:00 |
|
Nicolas Setton
|
e027209f7c
|
Add as a souce directory the location of site-side javascript
|
2019-02-01 14:54:28 -05:00 |
|
Nicolas Setton
|
256712dfda
|
Move the doctoring of .gpr / definition of main to the runner
One more step to simplify the handling being done at the
server level.
|
2019-01-25 11:24:40 -05:00 |
|
Nicolas Setton
|
b4a2e6403c
|
Make runs under the 'unprivileged' user
Simplify the handling of timeouts.
|
2019-01-23 11:16:48 -05:00 |
|
Nicolas Setton
|
f82659d3cf
|
Create a separate payload to run in the safecontainer
Part of the transition to running everything in the container.
Start a documentation section.
|
2019-01-22 13:14:05 -05:00 |
|
Nicolas Setton
|
5e31cf3c87
|
Remove empty directory
|
2019-01-04 12:11:37 -05:00 |
|
Nicolas Setton
|
b86557832e
|
Restrict the use of Pragma Interface
|
2018-07-23 01:26:36 -04:00 |
|
Nicolas Setton
|
7eba699b2e
|
Add infrastructure to clear sessions
|
2018-07-22 19:28:58 -04:00 |
|
Nicolas Setton
|
d3959e2ec6
|
Solidify the .adc mechanism and add protections
Make the .adc systematic, and add protection against
pragma Import and the use of machine code.
|
2018-07-22 18:51:13 -04:00 |
|
Nicolas Setton
|
8a4c22bd4b
|
Improve error message in case the process was interrupted
|
2018-07-22 18:48:59 -04:00 |
|
Nicolas Setton
|
e7da13c482
|
Add a preloader mechanism to intercept fork()
|
2018-07-22 18:38:53 -04:00 |
|
Nicolas Setton
|
a14d864f8e
|
Add size limit to files we accept to process
|
2018-07-22 12:17:37 -04:00 |
|
Nicolas Setton
|
88bb72e983
|
Clear up database sessions that are more than 1 min old
|
2018-07-21 04:04:19 -04:00 |
|
Nicolas Setton
|
db947c219e
|
Fix Python
|
2018-07-21 04:02:00 -04:00 |
|
Nicolas Setton
|
725ed2d985
|
Squash migrations
|
2018-07-21 03:49:46 -04:00 |
|
Nicolas Setton
|
7959cc235c
|
Add a message when the run is interrupted
|
2018-07-20 01:12:59 -04:00 |
|
Nicolas Setton
|
8cb4282fd0
|
Add a soft limit to the number of running processes
|
2018-07-20 01:08:29 -04:00 |
|
Nicolas Setton
|
5d905387b1
|
Revert "Remove static files"
These files are needed for the iframe version (for instance
for the SPARK Pro page).
This reverts commit 60f26a2fd5.
|
2018-07-19 03:03:35 -04:00 |
|
Nicolas Setton
|
60f26a2fd5
|
Remove static files
Now served by github pages.
|
2018-07-17 07:53:54 -04:00 |
|
Nicolas Setton
|
f0dcfe56aa
|
Fix issue with intermingling lines when running two snippets
|
2018-07-16 20:14:50 -04:00 |
|