aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
...
| * further UI refinements for the batch runner reportsGravatar Rogan Creswick2013-06-24
| * minor reformatting of the headless results pageGravatar Rogan Creswick2013-06-24
| * clarified the wording in the titleNonEmpty ruleGravatar Rogan Creswick2013-06-24
| * resolved some common headless issues relating to (relatively) fixed paths in ...Gravatar Rogan Creswick2013-06-24
* | Better coverage of checkpoint 1.1 requirementsGravatar Trevor Elliott2013-06-24
* | Start work on implmenting the W3C accessibilty guidelinesGravatar Trevor Elliott2013-06-24
* | Move gh-pages management stuff to mk/gh-pages.mkGravatar Trevor Elliott2013-06-21
* | Populate the gh-pages branch of the repoGravatar Trevor Elliott2013-06-21
* | Fix a parallel build bug with the fiveui generic ruleGravatar Trevor Elliott2013-06-21
|/
* Merge branch 'master' of github.com:GaloisInc/FiveUIGravatar Rogan Creswick2013-06-20
|\
* | removed spurious libpeerconnection.log files that chrome started leaving aroundGravatar Rogan Creswick2013-06-20
| * Fix #8Gravatar Trevor Elliott2013-06-20
| * Add the options figureGravatar Trevor Elliott2013-06-20
| * More updates to the gettingStarted guideGravatar Trevor Elliott2013-06-20
* | Merge branch 'master' of github.com:GaloisInc/FiveUIGravatar Rogan Creswick2013-06-19
|\|
* | Merge branch 'master' of src.galois.com:/srv/git/FiveUIGravatar Rogan Creswick2013-06-19
|\ \
| | * Update the gettingStarted part of the manualGravatar Trevor Elliott2013-06-18
| | * Add generate and deploy targets to push extensions to gh-pagesGravatar Trevor Elliott2013-06-18
| |/
* | removed binaries from main source branch (they are in the gh-pages)Gravatar Rogan Creswick2013-06-18
| * Fix a spelling bug in README.mdGravatar Trevor Elliott2013-06-18
| * Merge remote-tracking branch 'github/master'Gravatar Trevor Elliott2013-06-18
| |\ | |/ |/|
* | bumped the extension version to 0.3Gravatar Rogan Creswick2013-06-18
| * Documentation updatesGravatar Trevor Elliott2013-06-18
* | updated packaged extensionsGravatar Rogan Creswick2013-06-18
|/
* Remove the dialog from the dom while running rulesGravatar Trevor Elliott2013-06-17
* Update the location of the color rules in their manifestGravatar Trevor Elliott2013-06-17
* Fix a funny bug that caused a closed port to be usedGravatar Trevor Elliott2013-06-17
* updated RuleSet and Rule documentationGravatar Rogan Creswick2013-06-17
* moved the oldStyle storage into a closure around the show/hide problem displaysGravatar Rogan Creswick2013-06-17
* accounted for background images when highlighting problemsGravatar Rogan Creswick2013-06-17
* Fix the strange phantom ui boxGravatar Trevor Elliott2013-06-17
* big cleanup and reorganization of exampleData directory; bugfixes to the basi...Gravatar Benjamin Jones2013-06-17
* cleanup rule colorBrightnessGravatar Benjamin Jones2013-06-16
* updated top-level READMEGravatar Benjamin Jones2013-06-16
* removed debugging statements from upGoerFive rule, caught some exceptions in ...Gravatar Rogan Creswick2013-06-16
* made the ruleSet path in run descriptions resolve relative to the json file s...Gravatar Rogan Creswick2013-06-16
* removed unused batch run descriptionGravatar Rogan Creswick2013-06-16
* the batch runner now injects dependencies, and a few tests check for this beh...Gravatar Rogan Creswick2013-06-16
* added to the basic rule set parse testsGravatar Rogan Creswick2013-06-16
* added a rule set parsing test for dependenciesGravatar Rogan Creswick2013-06-16
* fixed test errors relating to injected dependencies in batch runnerGravatar Rogan Creswick2013-06-16
* minor cleanup of example dataGravatar Rogan Creswick2013-06-14
* note: report needs a DOM node, not a jquery objectGravatar Rogan Creswick2013-06-14
* fixed some traversal issues with fiveui.query and the uigoerfive ruleGravatar Rogan Creswick2013-06-14
* added upgoerfive ruleGravatar Rogan Creswick2013-06-14
* Merge remote-tracking branch 'origin/master' into nlp-rulesGravatar Rogan Creswick2013-06-14
|\
* | example of up goer five ruleGravatar Rogan Creswick2013-06-14
| * Remove a console.logGravatar Trevor Elliott2013-06-14
| * Display the license on the options pageGravatar Trevor Elliott2013-06-14
| * Better justification for manifest manglingGravatar Trevor Elliott2013-06-14