Commit Graph

  • 34c492b316 Bump pygments from 2.2.0 to 2.7.4 dependabot/pip/pygments-2.7.4 dependabot[bot] 2021-03-29 17:01:48 +00:00
  • 0cefb9d8c3 Bump pyyaml from 3.12 to 5.4 dependabot/pip/pyyaml-5.4 dependabot[bot] 2021-03-25 21:40:06 +00:00
  • 455507c443 Bump djangorestframework from 3.6.4 to 3.11.2 dependabot/pip/djangorestframework-3.11.2 dependabot[bot] 2021-03-19 21:51:53 +00:00
  • ea8c16e7ef Bump django from 1.11.5 to 1.11.29 dependabot/pip/django-1.11.29 dependabot[bot] 2020-06-05 17:15:36 +00:00
  • 3839396b56 Bump psutil from 5.4.6 to 5.6.6 dependabot/pip/psutil-5.6.6 dependabot[bot] 2020-03-12 17:31:13 +00:00
  • e7a122ea01 Merge pull request #20 from AdaCore/realtime_stdout_fix master Robert Tice 2019-10-24 11:46:03 -04:00
  • dd1a8ad3fb Fixing blocking readline on stderr which was making realtime output on stdout delayed until the program had completed. Robert Tice 2019-10-24 11:04:42 -04:00
  • 420387d637 Updating instructions in README. typescript_changes Robert Tice 2019-10-09 13:52:36 -04:00
  • df80138f71 Updating README with new Vagrant based build instructions. Robert Tice 2019-10-02 12:03:19 -04:00
  • 98e8b5073e Moving builds to vagrant. Robert Tice 2019-10-02 11:48:25 -04:00
  • 1a483ac55c S917-017 limit the size of the journal Nicolas Setton 2019-09-17 10:05:15 -04:00
  • f6f5dfed31 Changing messages to/from server to be friendly with typescript json formats. Robert Tice 2019-08-22 19:01:50 -04:00
  • 0eb848c16a Refactoring duplicate code in prove section and added button for examine report=all. I also added the -q switch to gnatprove to suppress the phase and summary logging messages. Because some example might now complete silently I added a gnatprove completed message after gnatprove finishes running. learn_issue/236 Robert Tice 2019-07-16 12:03:54 -04:00
  • 1fd4a4aaaf Fixing main procedure regex to allow for leading spaces to the procedure keyword. learn_issue/251 Robert Tice 2019-07-16 11:05:56 -04:00
  • 4e3805f16a Changing format of lab IO block. lab_IO_format_change Robert Tice 2019-07-12 11:58:24 -04:00
  • 3529a62497 Removing string mismatch information from lab results. This will be handled by the front-end. string_literal_refactor Robert Tice 2019-07-12 10:11:08 -04:00
  • b0caf382cb Fixing typo. Robert Tice 2019-07-11 15:35:20 -04:00
  • 82c21f36c4 Removing extraneous } from refactor. Robert Tice 2019-07-11 15:33:10 -04:00
  • 6a03d9becf Parsing out static string to top of file for maintainability. Robert Tice 2019-07-11 15:26:54 -04:00
  • 488b2cd1d7 Merge pull request #16 from AdaCore/labs_IO_fix Nicolas Setton 2019-07-10 13:32:36 -04:00
  • 709ad1db1e Adding string decoding to all outputs to avoid python errors when programs try to print unprintable characters. Instead, a suitable replacement is picked using the 'replace' operation in the python decode function. Robert Tice 2019-07-10 13:28:22 -04:00
  • fb95ead376 Merge pull request #15 from AdaCore/labs_IO_fix Nicolas Setton 2019-07-01 16:20:38 -04:00
  • 470a2db555 Modifying validation regex for lab block to account for the extra space emitted by 'Image on positive integer. Also adding internal_error message category. Robert Tice 2019-07-01 14:59:41 -04:00
  • 5000e519a8 Merge pull request #14 from AdaCore/labs_framework Nicolas Setton 2019-07-01 13:38:45 -04:00
  • 3d4b160bd0 Modifying lab io regex to allow for no space between lab identifier and argument string. Robert Tice 2019-07-01 13:36:24 -04:00
  • b2cd4b44e0 Fix logic in handling of messages Nicolas Setton 2019-06-24 16:15:29 -04:00
  • 988c33b3c9 Bump to Community 2019 Nicolas Setton 2019-06-24 11:30:52 -04:00
  • a8ef2580bf Merge pull request #13 from AdaCore/labs_framework Robert Tice 2019-05-31 09:11:29 -07:00
  • 00ae65eb4f Adding lab tagging to stderr messages generated by lab output. Robert Tice 2019-05-31 12:02:11 -04:00
  • 8adf2ff1eb Removing debug ASCII printing. Robert Tice 2019-05-31 11:55:37 -04:00
  • 28072a2c36 Merge pull request #12 from AdaCore/labs_framework Robert Tice 2019-05-31 08:52:51 -07:00
  • d9aed1e0b3 Removing extraneous import. Robert Tice 2019-05-31 11:51:14 -04:00
  • e1c4f79fda Fixing regex in run.py that stripped initial space from expected output. Robert Tice 2019-05-31 11:33:11 -04:00
  • 3e687e5ead Refactoring some code. Robert Tice 2019-05-17 15:17:17 -04:00
  • 499ce2d72d Merge pull request #11 from AdaCore/labs_framework Nicolas Setton 2019-05-17 15:13:23 -04:00
  • 17acc8b52c Fixing error where issues sent on stdout that had a newline on the end were not rendered properly on the frontend with clickable references. Robert Tice 2019-04-08 12:17:48 -04:00
  • bcca2487fb Merge pull request #10 from AdaCore/labs_framework Nicolas Setton 2019-04-04 10:30:43 -04:00
  • 7f25506a1d All messages from the server are json strings now. Also fixing docstrings. Robert Tice 2019-04-04 10:10:08 -04:00
  • 8ef4320920 Adding failure state to labs based on process retcode. Robert Tice 2019-04-03 15:38:25 -04:00
  • e1cd55ba1a Removing all print statements in favor of specialized prints to ensure that all messages coming from backend are put in the correct place in the frontend. Robert Tice 2019-04-02 14:36:05 -04:00
  • 15088ef662 Restructuring print statements so that we can organize them on the frontend. Robert Tice 2019-04-02 14:22:59 -04:00
  • 1933a29808 refactoring unneccesary functions. Increasing readability of lab output. Robert Tice 2019-04-02 11:49:52 -04:00
  • 227a1a74d1 Fixing print messages for clarity and fixing input arg expansion problem. Robert Tice 2019-04-02 10:58:26 -04:00
  • 0f0f24c497 More refactoring. Robert Tice 2019-04-01 16:46:15 -04:00
  • 6bd6bc889f Adding more error checking and refactoring sanity checks. Robert Tice 2019-04-01 16:37:50 -04:00
  • 9d952cc61f Refactoring duplicate code. Robert Tice 2019-04-01 16:28:03 -04:00
  • 68e8de2a06 Merge pull request #9 from AdaCore/labs_framework Nicolas Setton 2019-04-01 15:12:39 -04:00
  • 6397dd9301 Refactoring some redundancies. Robert Tice 2019-04-01 12:17:07 -04:00
  • 3f03ca0ac9 Fixing off-by-one error in run.py arg parsing. Robert Tice 2019-03-28 16:11:28 -04:00
  • e97fb719e0 Strengthening regexes and refactoring debug print logic into debug_print. Robert Tice 2019-03-26 10:27:22 -04:00
  • 506f4d6afa Fixing lab io block regex to allow for blank input or blank output in a test case. Robert Tice 2019-03-26 09:38:24 -04:00
  • 4816baf252 Grabbing process output and comparing against known values for lab submission. Robert Tice 2019-03-25 16:27:56 -04:00
  • 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. Robert Tice 2019-03-22 16:43:55 -04:00
  • 7cca6a37bd Changing DEBUG back to False in run.py. Robert Tice 2019-02-26 10:16:12 -05:00
  • 454cfa518a Adding functionality to allow command line arguments to be passed to executable. Robert Tice 2019-02-26 10:12:47 -05:00
  • 3024c55a46 Adjust regexp to know about underscores in identifiers Nicolas Setton 2019-02-12 15:31:40 -05:00
  • 87cb9eb6ef Improve the heuristics to detect mains Nicolas Setton 2019-02-08 16:25:04 -05:00
  • bb7bef7d56 Do not run if there is no main Nicolas Setton 2019-02-08 13:37:39 -05:00
  • 6ca017238c Activate GNAT warnings when running Ada snippets Nicolas Setton 2019-02-07 11:41:24 -05:00
  • b53ad5363c Remove common.css Nicolas Setton 2019-02-06 15:06:23 -05:00
  • 36173c32ed Add process limits to the container Nicolas Setton 2019-02-06 15:01:42 -05:00
  • 0a9f16395b Add support for running C code Nicolas Setton 2019-02-06 14:36:05 -05:00
  • 5981b64dc5 Add support for preventing calls to 'system' in C Nicolas Setton 2019-02-06 14:35:45 -05:00
  • d8362829d8 Implement the 'flow' and 'full' SPARK modes in the runner Nicolas Setton 2019-02-04 19:40:25 -05:00
  • 513f947978 Implement and support the gnatprove mode Nicolas Setton 2019-02-01 16:39:37 -05:00
  • f987815443 Change the ownership of files on container to the runner id Nicolas Setton 2019-02-01 15:05:23 -05:00
  • 90e7cf1b07 Minor improvements to the handling of mains Nicolas Setton 2019-02-01 15:10:00 -05:00
  • e027209f7c Add as a souce directory the location of site-side javascript Nicolas Setton 2019-02-01 14:54:28 -05:00
  • 256712dfda Move the doctoring of .gpr / definition of main to the runner Nicolas Setton 2019-01-25 11:24:40 -05:00
  • f94740e93c Minor update to the project file Nicolas Setton 2019-01-25 11:23:15 -05:00
  • b4a2e6403c Make runs under the 'unprivileged' user Nicolas Setton 2019-01-23 11:16:48 -05:00
  • f82659d3cf Create a separate payload to run in the safecontainer Nicolas Setton 2019-01-22 13:07:20 -05:00
  • b9dd32f5f3 Rework the way the safecontainer is created Nicolas Setton 2019-01-11 11:10:46 -05:00
  • 8be4e4787b Improve the project to find the learn content. Nicolas Setton 2019-01-07 14:16:39 -05:00
  • 820b5b11ce Add the templates to the test_conf.yaml spec Nicolas Setton 2019-01-04 15:15:01 -05:00
  • 5e31cf3c87 Remove empty directory Nicolas Setton 2019-01-04 12:11:37 -05:00
  • b86557832e Restrict the use of Pragma Interface Nicolas Setton 2018-07-23 01:26:36 -04:00
  • 6a24907d84 Add a step to cleanup the sessions on the container Nicolas Setton 2018-07-23 01:26:17 -04:00
  • afd8a8e824 Protect a bit /var/tmp on the container Nicolas Setton 2018-07-23 01:25:49 -04:00
  • e6c7c9ab91 Adjustments to session cleaner and container prep Nicolas Setton 2018-07-22 19:36:06 -04:00
  • 7eba699b2e Add infrastructure to clear sessions Nicolas Setton 2018-07-22 19:28:58 -04:00
  • d3959e2ec6 Solidify the .adc mechanism and add protections Nicolas Setton 2018-07-22 18:51:13 -04:00
  • 8a4c22bd4b Improve error message in case the process was interrupted Nicolas Setton 2018-07-22 18:48:59 -04:00
  • e7da13c482 Add a preloader mechanism to intercept fork() Nicolas Setton 2018-07-22 18:38:53 -04:00
  • a14d864f8e Add size limit to files we accept to process Nicolas Setton 2018-07-22 12:17:37 -04:00
  • 88bb72e983 Clear up database sessions that are more than 1 min old Nicolas Setton 2018-07-21 04:02:09 -04:00
  • db947c219e Fix Python Nicolas Setton 2018-07-21 04:02:00 -04:00
  • 725ed2d985 Squash migrations Nicolas Setton 2018-07-21 03:49:46 -04:00
  • 7959cc235c Add a message when the run is interrupted Nicolas Setton 2018-07-20 01:12:59 -04:00
  • 9bd1c0ec15 Add a script to prep a container for use Nicolas Setton 2018-07-20 00:53:36 -04:00
  • 8cb4282fd0 Add a soft limit to the number of running processes Nicolas Setton 2018-07-20 00:34:08 -04:00
  • def6e0f21e Add a script to cleanup the container of stray processes and dirs Nicolas Setton 2018-07-20 00:28:29 -04:00
  • 5d905387b1 Revert "Remove static files" Nicolas Setton 2018-07-19 03:03:35 -04:00
  • 60f26a2fd5 Remove static files Nicolas Setton 2018-07-17 07:53:54 -04:00
  • f0dcfe56aa Fix issue with intermingling lines when running two snippets Nicolas Setton 2018-07-16 20:14:50 -04:00
  • a2f77fed9f Remove some obsolete comments and bits Nicolas Setton 2018-07-16 17:57:02 -04:00
  • 40520e4eba Use user "unprivileged" when launching commands Nicolas Setton 2018-07-16 14:23:47 -04:00
  • 8b92f728d3 Disable the buttons while processing is ongoing Nicolas Setton 2018-07-16 13:13:31 -04:00
  • b5f5e60ec3 Run the program in the container under a timeout Nicolas Setton 2018-07-16 10:26:33 -04:00
  • 10160040cd Remove the handling of readonly sections Nicolas Setton 2018-07-16 10:21:03 -04:00