Robert Tice
|
1933a29808
|
refactoring unneccesary functions. Increasing readability of lab output.
|
2019-04-02 11:49:52 -04:00 |
|
Robert Tice
|
227a1a74d1
|
Fixing print messages for clarity and fixing input arg expansion problem.
|
2019-04-02 10:58:26 -04:00 |
|
Robert Tice
|
0f0f24c497
|
More refactoring.
|
2019-04-01 16:46:15 -04:00 |
|
Robert Tice
|
6bd6bc889f
|
Adding more error checking and refactoring sanity checks.
|
2019-04-01 16:37:50 -04:00 |
|
Robert Tice
|
9d952cc61f
|
Refactoring duplicate code.
|
2019-04-01 16:28:03 -04:00 |
|
Nicolas Setton
|
68e8de2a06
|
Merge pull request #9 from AdaCore/labs_framework
Labs framework
|
2019-04-01 15:12:39 -04:00 |
|
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 |
|