Nicolas Setton
d3959e2ec6
Solidify the .adc mechanism and add protections
...
Make the .adc systematic, and add protection against
pragma Import and the use of machine code.
2018-07-22 18:51:13 -04:00
Nicolas Setton
ea3a7fc6e7
Add an "universal" spec
...
Needed to be able to run all combinations of inlined widgets:
with or without SPARK, and with or without main.
2018-06-20 14:28:30 -04:00
Nicolas Setton
dcfa94321c
Use -gnata for Ada mains as well.
2018-06-18 15:42:30 -04:00
Nicolas Setton
49fbc93401
Use -gnata when compiling SPARK examples
...
Requested by Yannick in R525-028.
2018-06-18 13:59:40 -04:00
Nicolas Setton
317c180aee
R525-028 Add support for editors with just a 'Run' button
...
Enable the running backend (in completely unsafe mode for now)
Code cleanup in editors.js.
For inline editors, do not require an AJAX request to get the
example base, assume everything is provided inline.
Add support for providing shadow files: these will not be displayed
in editors but will be transmitted to the backend.
2018-06-05 12:54:01 -04:00
Nicolas Setton
0905cd2dc7
fixup spark main template
2018-06-01 21:54:23 -04:00
Nicolas Setton
41d10cff79
Add a SPARK Main template
2018-06-01 16:15:24 -04:00
Robert Tice
7454231b02
Adding blank lines in template.
2018-04-12 15:10:36 -04:00
Robert Tice
1dc8f13884
Adding a simple single procedure overrideable example template.
2018-04-12 14:17:34 -04:00
