ada/code_examples_server
0
0
Fork 0
mirror of https://github.com/AdaCore/code_examples_server.git synced 2026-02-12 12:45:18 -08:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 0713dec02c Add a safety net needed when running on nginx Nicolas Setton 2018-07-09 15:41:23 -04:00
  • e4c668a9c5 Add support for sandboxing the executables Nicolas Setton 2018-07-09 14:28:42 -04:00
  • adbe60e7ec Replace use of startsWith by indexOf, for compatibility with IE Nicolas Setton 2018-06-29 15:30:24 -04:00
  • a5dfe8f511 Fix interruption of long processes. Nicolas Setton 2018-06-29 13:38:48 -04:00
  • d14ec2fcb1 Do not count info messages as errors. Nicolas Setton 2018-06-20 15:17:43 -04:00
  • ea3a7fc6e7 Add an "universal" spec Nicolas Setton 2018-06-20 14:28:30 -04:00
  • dcfa94321c Use -gnata for Ada mains as well. Nicolas Setton 2018-06-18 15:42:30 -04:00
  • 6378138746 Rename the "Prove" button to "Examine" when in flow mode Nicolas Setton 2018-06-18 14:27:00 -04:00
  • e3b31ba99f Add support for making the "info" lines blue Nicolas Setton 2018-06-18 14:23:18 -04:00
  • 38166ae13a Run SPARK with --level=0 --no-axiom-guard Nicolas Setton 2018-06-18 14:01:25 -04:00
  • 49fbc93401 Use -gnata when compiling SPARK examples Nicolas Setton 2018-06-18 13:59:40 -04:00
  • d134760fed Add Sphinx and Ipython to the requirements Nicolas Setton 2018-06-06 13:03:24 -04:00
  • 65b5629234 R525-028 Add features for the SPARK course Nicolas Setton 2018-06-05 20:05:37 -04:00
  • 087206674b R525-028 Factor out code Nicolas Setton 2018-06-05 19:35:14 -04:00
  • cde825d723 Buttons now need to be listed explicitly Nicolas Setton 2018-06-05 15:31:25 -04:00
  • e959ffe624 Fix error introduced in refactoring Nicolas Setton 2018-06-05 15:26:40 -04:00
  • 6f3ba6824c Tentative to stabilize waiting for processes Nicolas Setton 2018-06-05 15:00:20 -04:00
  • 317c180aee R525-028 Add support for editors with just a 'Run' button Nicolas Setton 2018-06-05 12:54:01 -04:00
  • d46e6bd7ae R525-008 Fix regexp for detecting file names Nicolas Setton 2018-06-02 13:37:36 -04:00
  • faef8ee40f R525-028 call gnatprove 2018 with --checks-as-errors Nicolas Setton 2018-06-02 13:28:23 -04:00
  • 41f88d850b Add facility to provide files to a code template Nicolas Setton 2018-06-01 21:58:32 -04:00
  • 0905cd2dc7 fixup spark main template Nicolas Setton 2018-06-01 21:54:23 -04:00
  • 41d10cff79 Add a SPARK Main template Nicolas Setton 2018-06-01 16:15:24 -04:00
  • 5c8de067a8 Removing books interface. Robert Tice 2018-04-20 11:01:14 -04:00
  • c20c0cc803 updating documentation to include references to new example filling method. Robert Tice 2018-04-20 10:15:47 -04:00
  • 80c5478fdc Adding script to add examples listed in a conf file. Robert Tice 2018-04-13 10:28:58 -04:00
  • 7454231b02 Adding blank lines in template. Robert Tice 2018-04-12 15:10:36 -04:00
  • 1dc8f13884 Adding a simple single procedure overrideable example template. Robert Tice 2018-04-12 14:17:34 -04:00
  • 4dd0cc4334 Adding ability to make editors read only with readonly attribute on editor container. Robert Tice 2018-04-11 10:34:28 -04:00
  • bb58eeabb0 Working on books styling and features. Adding read only and overrideable sections to editor and templates. Robert Tice 2018-04-11 10:09:01 -04:00
  • 8c931b1147 Removing bootstrap in favor of simpler Pure framework for the menubar. Robert Tice 2018-02-23 16:45:44 -05:00
  • fec9ab91fc Moving structure of reader renderer to enable single page or multiple page documents. The toc gets computed on the fly by parsing the html for headers and links are added for document scroll hotlinking. Robert Tice 2018-02-22 14:47:36 -05:00
  • a14abff8a9 Adding ability to click on links in the side bar and scroll to the correct page. Pages will be loaded on the way. Robert Tice 2018-01-19 10:31:48 -05:00
  • b500ceab09 Replaced custom pagination with django pagination and added jquery waypoints to auto load pages as the user scrolls. Have to add the ability to render and jump to sections of the page. Robert Tice 2018-01-18 17:14:31 -05:00
  • 1f8119c1e0 Adding embedded code samples to example books. Robert Tice 2018-01-18 09:51:28 -05:00
  • 9fcbe97651 Minor fix Nicolas Setton 2017-12-18 08:23:14 -05:00
  • 52efe1812e Freeze requirements Nicolas Setton 2017-12-18 07:57:37 -05:00
  • 4e1908227b Merge pull request #8 from Robert-Tice/master Nicolas Setton 2017-12-01 15:03:14 -05:00
  • 0d6b78f1c7 Adding makemigration output to add table for books model. Robert Tice 2017-12-01 14:58:47 -05:00
  • c64d563690 Merge pull request #7 from Robert-Tice/master Nicolas Setton 2017-11-28 11:40:08 -05:00
  • 62fb95df6e Removing static book_list.yaml and creating workflow like we have for yannicks code examples. README and design notes have been updated with info. An example book is sitting in resources/books. Robert Tice 2017-11-27 17:44:27 -05:00
  • a0d77f2920 Updating link name for new external repo. Robert Tice 2017-11-27 11:04:02 -05:00
  • d34ade0a07 Adding support for static code exmaples in the page and changing C++ book naming to CPP because pluses aren't great in paths. Robert Tice 2017-11-27 09:57:12 -05:00
  • bb472b4ee2 Moving book resources from this directory to external repositories. Robert Tice 2017-11-27 09:28:18 -05:00
  • 8fbff40812 Added full C++ book. Robert Tice 2017-11-22 17:05:45 -05:00
  • 874b417886 Adding ability to parse restructured text in the same way as markdown. Robert Tice 2017-11-22 16:06:49 -05:00
  • 7a92516504 Merge pull request #6 from Robert-Tice/master Nicolas Setton 2017-11-22 14:57:29 -05:00
  • 3d482364e1 Making book list into a table for readability. Also adding Book title to side bar with a back to book list link. Robert Tice 2017-11-22 14:53:59 -05:00
  • 9da8093b0c Changing all relative paths to absolute paths to fix trailing slash problem. Also updating book base to use the new name for the css file. Robert Tice 2017-11-22 14:26:52 -05:00
  • 33e9cf260d Merge pull request #5 from Robert-Tice/master Nicolas Setton 2017-11-22 13:32:13 -05:00
  • 96266ffc48 Returning Run button flag back to false for now. Robert Tice 2017-11-22 09:04:04 -05:00
  • 4a9ee53d82 Am now able to add the div editors tag directly in the markdown and have it be rendered on the webpage. Robert Tice 2017-11-21 17:57:23 -05:00
  • eb6e7ce454 This file was originally just copied from the C book as a placeholder. It now contains the actual chapters from the actual book. Robert Tice 2017-11-21 17:37:09 -05:00
  • dc449d11ed Removing raw markdown from python files for error handling and added error handling pages. Robert Tice 2017-11-21 17:20:22 -05:00
  • 1ce5b8d703 Adding logic to handle get request with part and chapters out of range of the book. Robert Tice 2017-11-21 17:07:01 -05:00
  • eefcedfc4e Added markdown filter to parse content pages written in markdown instead of html. Robert Tice 2017-11-21 16:56:51 -05:00
  • d83f82ea92 Adding support for books subspace. There is now a book list in the resources directory which is used to populate the book list. Each book has a directory and a list of pages. Robert Tice 2017-11-21 16:21:59 -05:00
  • ba93cf9e13 Add missing example files Nicolas Setton 2017-11-20 16:02:14 -05:00
  • 173e6d1f1c Fix style issue Nicolas Setton 2017-10-17 16:43:21 -04:00
  • 0d9cc70e41 Allow embedding the code_embed page Nicolas Setton 2017-10-17 16:13:42 -04:00
  • b293481f12 Remove margins on embeddable editor Nicolas Setton 2017-10-17 15:45:56 -04:00
  • 4e3057a6de Add an URL that provides an embeddable editor Nicolas Setton 2017-10-17 15:36:09 -04:00
  • c9ca24e99d Use Django directly to set the Allow-Access-Control-Origin Nicolas Setton 2017-10-10 15:53:04 -04:00
  • 5c5a21811f Allow anyone to make requests to this server Nicolas Setton 2017-10-10 14:07:00 -04:00
  • 85bb873d17 Add the possibility to run programs Nicolas Setton 2017-10-10 11:52:49 -04:00
  • f79211ee14 Allow other hosts to connect to the server Nicolas Setton 2017-10-10 11:50:22 -04:00
  • 291b6052be Support several server instances Nicolas Setton 2017-09-11 15:47:46 -04:00
  • 52ce097894 Improve error reporting Nicolas Setton 2017-09-11 11:40:12 -04:00
  • 97d0ff0fb7 Minor UI improvements Nicolas Setton 2017-09-07 16:18:37 -04:00
  • 01b2214082 Asynchronousify the running of processes... Nicolas Setton 2017-09-07 12:09:54 -04:00
  • 6c3302249c Polishing touches Nicolas Setton 2017-09-07 09:43:34 -04:00
  • 8330c4adf3 Merge pull request #4 from setton/master Nicolas Setton 2017-09-07 09:14:03 -04:00
  • 63a695571a Squash migrations Nicolas Setton 2017-09-06 16:14:28 -04:00
  • 099251c289 Merge pull request #3 from setton/master Nicolas Setton 2017-09-06 15:57:15 -04:00
  • 22668eb9e4 Do not rely on the gnatprove error return Nicolas Setton 2017-09-06 15:56:34 -04:00
  • 71b219ce6f Implement the code checker Nicolas Setton 2017-09-06 15:50:03 -04:00
  • 4215818249 Merge pull request #2 from setton/master Nicolas Setton 2017-09-06 09:15:07 -04:00
  • 6e41451a08 Initial revision of checker, work in progress Nicolas Setton 2017-09-06 09:14:18 -04:00
  • 54a1ce7b4f (WIP) work on checker Nicolas Setton 2017-09-04 20:16:02 -04:00
  • b011b1252d Add a page which lists all the examples. Nicolas Setton 2017-09-04 14:01:38 -04:00
  • f96b572b68 Add missing pyyaml requirement Nicolas Setton 2017-09-04 13:20:30 -04:00
  • 2553de3e2b Goto line 1 in editors after refresh Nicolas Setton 2017-09-04 13:16:18 -04:00
  • 56efec20e1 Merge pull request #1 from setton/master Nicolas Setton 2017-09-04 11:45:55 -04:00
  • 1e548a4ebc Add a TODO list, for myself Nicolas Setton 2017-09-04 11:44:02 -04:00
  • 886f00e483 Templatify the HTML pages. Nicolas Setton 2017-09-04 11:22:03 -04:00
  • 33a37401b6 Separate the javascript for populating editors Nicolas Setton 2017-09-04 10:40:39 -04:00
  • ece6bf5584 Initial revision of a "Check" button Nicolas Setton 2017-09-03 21:45:08 -04:00
  • c8d2811f29 Style using twitter bootstrap v3 Nicolas Setton 2017-09-03 13:57:20 -04:00
  • 26ec72a624 Add support for retrieving example contents using AJAX Nicolas Setton 2017-09-03 12:19:52 -04:00
  • 969cb3fae1 Add a version of jquery, from jquery.com Nicolas Setton 2017-09-03 12:19:18 -04:00
  • 99739e813f Add static resources and templates to the project Nicolas Setton 2017-09-03 09:50:35 -04:00
  • 0bd8d17a43 Add platform support for serving pages Nicolas Setton 2017-09-02 14:24:26 -04:00
  • fc6ccd2717 Complete the view of a single example. Nicolas Setton 2017-07-21 15:59:27 -04:00
  • 014ded7ec2 Initial implementation for the /example request Nicolas Setton 2017-07-21 15:48:38 -04:00
  • 47c71497d2 Add an example example Nicolas Setton 2017-07-19 16:58:09 -04:00
  • b36c4d6aed Add support for reading example metadata Nicolas Setton 2017-07-19 16:57:57 -04:00
  • 2a09f6b92f Add a command to fill the examples (first version) Nicolas Setton 2017-07-19 16:42:02 -04:00
  • 8cee2d0f8a Add a couple of notes Nicolas Setton 2017-07-19 16:41:51 -04:00
  • a0e20910ad Cleanup the model Nicolas Setton 2017-07-19 14:42:35 -04:00
  • da571a453e Add REQUIREMENTS.txt and bare-bones instructions Nicolas Setton 2017-07-19 13:54:44 -04:00