klee/klee-web issues and pull requests

#100 - Frontend: UI, sidebar and editor fixes

Pull Request - State: closed - Opened by jameshreaver about 8 years ago - 8 comments

#99 - Add OAuth login

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 3 comments

#98 - Fix E2E tests

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 1 comment

#97 - Klee_Web: Show worker name and location in manage

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 3 comments

#96 - Frontend: Solve bugs relative to option buttons.

Pull Request - State: closed - Opened by jameshreaver about 8 years ago

#95 - Examples and Tutorials shown when logged in

Pull Request - State: closed - Opened by jameshreaver about 8 years ago

#94 - Hidden Examples and Tutorials when logged in

Issue - State: closed - Opened by jameshreaver about 8 years ago

#93 - Fix /manage

Pull Request - State: closed - Opened by helicopter88 about 8 years ago

#92 - Fix /manage

Issue - State: closed - Opened by helicopter88 about 8 years ago

#91 - Add options and program arguments to Klee Web

Pull Request - State: closed - Opened by jameshreaver about 8 years ago - 2 comments

#90 - Fix the Klee Web coverage report.

Issue - State: closed - Opened by jameshreaver about 8 years ago - 1 comment

#89 - Add Tutorials and Examples as external files.

Pull Request - State: closed - Opened by jameshreaver about 8 years ago - 2 comments

#88 - Support deployment of Klee-web

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 1 comment

#87 - Provisioning: Web: add a variable for the admin password

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 5 comments

#86 - update README.md

Pull Request - State: closed - Opened by helicopter88 about 8 years ago

#85 - WiP: Provisioning: use a docker container for Django & uWSGI

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 2 comments

#84 - Add support for symbolic standard input to Klee Web.

Pull Request - State: closed - Opened by jameshreaver about 8 years ago

#83 - Allow the download of files in development

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 2 comments

#82 - Update python & javascript dependencies

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 4 comments

#81 - Resolve klee/klee_web#80 (Fix end-to-end Klee Web tests)

Pull Request - State: closed - Opened by jameshreaver about 8 years ago - 1 comment

#80 - Fix end-to-end Klee Web tests on CircleCI

Issue - State: closed - Opened by jameshreaver about 8 years ago

#79 - Use a RESTful API to retrieve job status

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 6 comments

#78 - Switch to klee/klee and update expected test outputs

Pull Request - State: closed - Opened by jameshreaver about 8 years ago - 8 comments

#77 - Use REST practices for /job/notify

Issue - State: closed - Opened by andronat about 8 years ago - 3 comments

#76 - Update Node.js into latest version

Issue - State: closed - Opened by andronat about 8 years ago

#75 - Fix CircleCI

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 19 comments

#74 - Provisioning: Switch to PostgreSQL 9.5

Pull Request - State: closed - Opened by helicopter88 about 8 years ago

#73 - Provisioning: Django: create migrations on every provision

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 3 comments

#72 - Add Tutorials and Examples as external files.

Pull Request - State: closed - Opened by jameshreaver about 8 years ago - 13 comments

#71 - Exp

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 1 comment

#70 - Enable downloading raw KLEE results in development mode

Issue - State: closed - Opened by ccadar about 8 years ago

#69 - Switch to GET requests instead of Pusher

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 14 comments

#68 - Use updated ruby from Brightbox PPA

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 3 comments

#67 - Remove some keys from development

Pull Request - State: closed - Opened by helicopter88 about 8 years ago - 7 comments

#66 - Fix backend-frontend communication

Pull Request - State: closed - Opened by jameshreaver over 8 years ago - 7 comments

#65 - Remove deprecated features and switch to klee/klee

Pull Request - State: closed - Opened by helicopter88 over 8 years ago - 6 comments

#64 - Split repository into public and private parts

Issue - State: open - Opened by ccadar over 8 years ago

#63 - `vault_password_file` problem

Issue - State: closed - Opened by muchang almost 9 years ago - 3 comments

#62 - Symbolic arguments not working

Issue - State: closed - Opened by ccadar over 9 years ago - 1 comment

#61 - Reload sym-args on file load

Pull Request - State: closed - Opened by ains over 9 years ago

#60 - Move entirely to DoC cloud

Pull Request - State: closed - Opened by ains over 9 years ago

#59 - Fixed sym-files button

Pull Request - State: closed - Opened by ains over 9 years ago

#58 - Displays the statistics

Pull Request - State: closed - Opened by kahosato over 9 years ago

#57 - Ui fixes

Pull Request - State: closed - Opened by ben-chin over 9 years ago

#56 - Hotfix

Pull Request - State: closed - Opened by ben-chin over 9 years ago

#55 - Added nanobar after submitting job

Pull Request - State: closed - Opened by JamesDavidCarr over 9 years ago

#54 - Changed workers to run inside DoC cloud

Pull Request - State: closed - Opened by ains over 9 years ago

#53 - Reorganisation of worker

Pull Request - State: closed - Opened by ains over 9 years ago

#52 - File upload and interface

Pull Request - State: closed - Opened by ben-chin over 9 years ago

#51 - Python cleanup

Pull Request - State: closed - Opened by ains over 9 years ago

#50 - Updated interface

Pull Request - State: closed - Opened by ben-chin over 9 years ago

#49 - Install aufs on vagrant machines

Pull Request - State: closed - Opened by ains over 9 years ago

#48 - Added coverage support

Pull Request - State: closed - Opened by kahosato over 9 years ago

#47 - Gcoverage

Pull Request - State: closed - Opened by ains over 9 years ago

#46 - Sped up displaying of Celery stats, fixed 500.

Pull Request - State: closed - Opened by ilovepjs over 9 years ago

#45 - enable file using checkbox

Pull Request - State: closed - Opened by kahosato over 9 years ago

#44 - Added ability to manage examples in admin

Pull Request - State: closed - Opened by ains over 9 years ago

#43 - Fix unicode submissions

Pull Request - State: closed - Opened by ains over 9 years ago

#42 - Run klee as non-root user

Pull Request - State: closed - Opened by ains over 9 years ago

#41 - Project structure rejiggering

Pull Request - State: closed - Opened by ains over 9 years ago

#40 - Added example selections

Pull Request - State: closed - Opened by JamesDavidCarr almost 10 years ago

#39 - sym-files and sym-args can be given in a user-friendly way

Pull Request - State: closed - Opened by kahosato almost 10 years ago

#38 - Implementation of admin panel stats.

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago

#37 - Analytics

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago

#36 - heap analytics.

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago - 1 comment

#35 - Switch KLEE Docker to LLVM3.4

Pull Request - State: closed - Opened by ains almost 10 years ago

#34 - Add cleanup to docker run command

Pull Request - State: closed - Opened by ains almost 10 years ago

#33 - Inital commit for invalid test cases.

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago - 2 comments

#32 - Fix running tests locally.

Pull Request - State: closed - Opened by ains almost 10 years ago

#31 - Can delete active and pending tasks.

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago

#30 - Added script to allow tests to be run from within Vagrant

Pull Request - State: closed - Opened by ains almost 10 years ago

#29 - Remove memory limit restrictions from worker

Pull Request - State: closed - Opened by ains almost 10 years ago

#28 - Celery stats for active, pending and done tasks.

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago

#27 - Implement end-to-end webdriver test

Pull Request - State: closed - Opened by kahosato almost 10 years ago

#26 - Implementation of celery stats for active, pending and done tasks.

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago

#25 - Celery stats for admin panel showing active, pending and done tasks.

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago

#24 - Celery minion stats

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago

#23 - Refactored WorkerRunner, Mailer and Storage methods are now injected

Pull Request - State: closed - Opened by ains almost 10 years ago

#22 - Make unittests use the python runner

Pull Request - State: closed - Opened by ains almost 10 years ago

#21 - Admin panel config

Pull Request - State: closed - Opened by JamesDavidCarr almost 10 years ago

#20 - Added unit tests for the Workers

Pull Request - State: closed - Opened by ains almost 10 years ago

#19 - Optional callback

Pull Request - State: closed - Opened by ains almost 10 years ago

#18 - Bugfix for visual feedback of multiple submission

Pull Request - State: closed - Opened by ben-chin almost 10 years ago

#17 - Remove ANSI escape codes from KLEE output

Pull Request - State: closed - Opened by ains almost 10 years ago

#16 - Added timeout to jobs

Pull Request - State: closed - Opened by ains almost 10 years ago

#15 - Refactored worker code & Fixed error propagation

Pull Request - State: closed - Opened by ains almost 10 years ago

#14 - Added worker list to basic admin panel

Pull Request - State: closed - Opened by ains almost 10 years ago

#13 - Switched from RabbitMQ to Redis

Pull Request - State: closed - Opened by ains almost 10 years ago

#12 - Added realtime functionality to submission process

Pull Request - State: closed - Opened by ben-chin almost 10 years ago

#11 - Added ability for programmer to specify program arguments

Pull Request - State: closed - Opened by ains almost 10 years ago

#10 - Disabled network for docker containers

Pull Request - State: closed - Opened by ains almost 10 years ago

#9 - Added sanity check to CircleCI builds

Pull Request - State: closed - Opened by ains almost 10 years ago

#8 - Docker circle cache

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago

#7 - Changed the tar output to only contain KLEE output files

Pull Request - State: closed - Opened by JamesDavidCarr almost 10 years ago - 1 comment

#6 - Migrated from flask to django

Pull Request - State: closed - Opened by ains almost 10 years ago

#5 - Docker

Pull Request - State: closed - Opened by ilovepjs almost 10 years ago - 1 comment

#4 - Email

Pull Request - State: closed - Opened by JamesDavidCarr almost 10 years ago

#3 - Unified ansible environment variables

Pull Request - State: closed - Opened by ains almost 10 years ago

#2 - S3

Pull Request - State: closed - Opened by JamesDavidCarr almost 10 years ago - 1 comment

#1 - move to gitlab?

Issue - State: closed - Opened by ilovepjs almost 10 years ago - 1 comment

GitHub / klee/klee-web issues and pull requests