summaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Expand)Author
2016-10-27Add support for pickles to trace viewerTimotej Lazar
2016-10-04build_web_resources: copy top-level style.cssTimotej Lazar
2016-09-07Improve error handling in build_web_resourcesTimotej Lazar
2016-05-22Add support for per-problem initial codeTimotej Lazar
2016-03-17Improve build_web_resources.pyTimotej Lazar
2016-02-28Add experiments column to codeq_userTimotej Lazar
2016-02-17Also remove --nosignals in the sysvinit scriptTimotej Lazar
2016-02-17Remove --nosignals from the swipl command lineTimotej Lazar
2016-02-11Update systemd unit files and add codeq.targetTimotej Lazar
2015-12-10Add copyright infoTimotej Lazar
2015-11-11Add a script for interactively viewing tracesTimotej Lazar
2015-11-11Add migration script for codeq_user.gui_layoutTimotej Lazar
2015-11-09Missed "Shibboleth.sso" paths in init files.Aleš Smodiš
2015-11-06Fix SAML login: account upgrading is done via the email attribute, username i...Aleš Smodiš
2015-11-05Add a script to generate HTML with problem descriptionTimotej Lazar
2015-10-17Implemented init script for the SAML daemon, modified the refresh-and-deploy ...Aleš Smodiš
2015-10-15Implemented python login using authenticated SAML credentials.Aleš Smodiš
2015-10-14Use sandbox for testing Python programsTimotej Lazar
2015-10-13Update create.sql and add a migration scriptTimotej Lazar
2015-10-13Update Prolog actions in sqlite_to_pg.pyTimotej Lazar
2015-10-12Drop name column from language/group/problem tablesTimotej Lazar
2015-10-12Drop is_visible column from problem tableTimotej Lazar
2015-10-10Rebuild sandbox binaries when deployingTimotej Lazar
2015-10-08Get problems from files in build_web_resourcesTimotej Lazar
2015-10-08Bugfix refresh-deploy script: use = instead of == to test for equality.Aleš Smodiš
2015-10-07Implemented the refresh-and-deploy shell script.Aleš Smodiš
2015-10-07Add init scripts for sysvinit.Aleš Smodiš
2015-10-05Implemented systemd unit files to manage CodeQ daemons.Aleš Smodiš
2015-10-01Build script also produces the web resources tree.Aleš Smodiš
2015-09-29 * Bugfix: always do cur.fetchone() on new iteration.Aleš Smodiš
2015-09-24Create WEB_OUTPUT directory if it doesn't existTimotej Lazar
2015-09-24Update JSON build script: include problem name translations with language ind...Aleš Smodiš
2015-09-23Implemented the script to build static JSON data for problem definitions.Aleš Smodiš
2015-09-14Script for adding problems to DB, update readmeTimotej Lazar
2015-08-19New database tables and data imports: user_group, user_in_group, language, pr...Aleš Smodiš
generated by cgit v1.2.1 (git 2.18.0) at 2024-04-25 20:27:41 +0000