Default Branch

master e7a122ea01 · Merge pull request #20 from AdaCore/realtime_stdout_fix · Updated 2019-10-24 08:46:03 -07:00

ZIP  TAR.GZ

Branches

dependabot/pip/pygments-2.7.4 34c492b316 · Bump pygments from 2.2.0 to 2.7.4 · Updated 2021-03-29 10:01:48 -07:00    ada	0 1		ZIP  TAR.GZ
dependabot/pip/pyyaml-5.4 0cefb9d8c3 · Bump pyyaml from 3.12 to 5.4 · Updated 2021-03-25 14:40:06 -07:00    ada	0 1		ZIP  TAR.GZ
dependabot/pip/djangorestframework-3.11.2 455507c443 · Bump djangorestframework from 3.6.4 to 3.11.2 · Updated 2021-03-19 14:51:53 -07:00    ada	0 1		ZIP  TAR.GZ
dependabot/pip/django-1.11.29 ea8c16e7ef · Bump django from 1.11.5 to 1.11.29 · Updated 2020-06-05 10:15:36 -07:00    ada	0 1		ZIP  TAR.GZ
dependabot/pip/psutil-5.6.6 3839396b56 · Bump psutil from 5.4.6 to 5.6.6 · Updated 2020-03-12 10:31:13 -07:00    ada	0 1		ZIP  TAR.GZ
typescript_changes 420387d637 · Updating instructions in README. · Updated 2019-10-09 10:52:36 -07:00    ada	3 4		ZIP  TAR.GZ
learn_issue/236 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. · Updated 2019-07-16 09:03:54 -07:00    ada	3 1		ZIP  TAR.GZ
learn_issue/251 1fd4a4aaaf · Fixing main procedure regex to allow for leading spaces to the procedure keyword. · Updated 2019-07-16 08:05:56 -07:00    ada	3 1		ZIP  TAR.GZ
lab_IO_format_change 4e3805f16a · Changing format of lab IO block. · Updated 2019-07-12 08:58:24 -07:00    ada	3 1		ZIP  TAR.GZ
string_literal_refactor 3529a62497 · Removing string mismatch information from lab results. This will be handled by the front-end. · Updated 2019-07-12 07:11:08 -07:00    ada	5 4		ZIP  TAR.GZ