Robert Tice
|
6397dd9301
|
Refactoring some redundancies.
|
2019-04-01 12:17:07 -04:00 |
|
Robert Tice
|
3f03ca0ac9
|
Fixing off-by-one error in run.py arg parsing.
|
2019-03-28 16:11:28 -04:00 |
|
Robert Tice
|
e97fb719e0
|
Strengthening regexes and refactoring debug print logic into debug_print.
|
2019-03-26 10:27:22 -04:00 |
|
Robert Tice
|
506f4d6afa
|
Fixing lab io block regex to allow for blank input or blank output in a test case.
|
2019-03-26 09:38:24 -04:00 |
|
Robert Tice
|
4816baf252
|
Grabbing process output and comparing against known values for lab submission.
|
2019-03-25 16:27:56 -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 |
|
Robert Tice
|
7cca6a37bd
|
Changing DEBUG back to False in run.py.
|
2019-02-26 10:16:12 -05:00 |
|
Robert Tice
|
454cfa518a
|
Adding functionality to allow command line arguments to be passed to executable.
|
2019-02-26 10:12:47 -05:00 |
|
Nicolas Setton
|
3024c55a46
|
Adjust regexp to know about underscores in identifiers
Fixes an issue where mains with underscores weren't considered
as mains.
|
2019-02-12 15:31:40 -05:00 |
|
Nicolas Setton
|
87cb9eb6ef
|
Improve the heuristics to detect mains
|
2019-02-08 16:25:04 -05:00 |
|
Nicolas Setton
|
bb7bef7d56
|
Do not run if there is no main
Allows using the 'Run' button on packages, to have the
compiler validate them.
|
2019-02-08 13:37:39 -05:00 |
|
Nicolas Setton
|
6ca017238c
|
Activate GNAT warnings when running Ada snippets
|
2019-02-07 11:41:24 -05: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
|
36173c32ed
|
Add process limits to the container
|
2019-02-06 15:01:42 -05:00 |
|
Nicolas Setton
|
0a9f16395b
|
Add support for running C code
|
2019-02-06 14:36:05 -05:00 |
|
Nicolas Setton
|
5981b64dc5
|
Add support for preventing calls to 'system' in C
|
2019-02-06 14:35:45 -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
|
90e7cf1b07
|
Minor improvements to the handling of mains
|
2019-02-01 15:10:00 -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
|
f94740e93c
|
Minor update to the project file
Include the root of the learn site, for the "index.rst" file.
|
2019-01-25 11:23:15 -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 |
|