Robert Tice 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.

2019-07-16 12:03:54 -04:00

..

Makefile.safecontainer

Bump to Community 2019

2019-06-24 11:30:52 -04:00

preloader.c

Add support for preventing calls to 'system' in C

2019-02-06 14:35:45 -05:00

run.py

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.

2019-07-16 12:03:54 -04:00