Skip to content
Commits on Dec 26, 2011
  1. bug fixes to avoid edge cases, and to correct behavior for set/clear

    handlers.  also tweak filter function so it preserves states just
    before interesting transitions; otherwise it's hard to tell what the
    interesting transition is doing.
    Ben Lerner committed Dec 26, 2011
Commits on Dec 25, 2011
  1. First pass at explaining whether add/remove/set/clear operations will

    have any effect on the current dispatch.  Not fully tested, yet, but
    it's a start
    Ben Lerner committed Dec 25, 2011
Commits on Dec 23, 2011
  1. new version of supporting handlers: instead of collecting the handler

    body when lookup-listeners is called, we merely mark where in the
    candidate list the handler belongs, and then when we arrive at the
    (gethandler) marker, lookup in the node what the current handler is,
    if any.  this brings our behavior more into line with Firefox and
    Chrome, and more out of line with IE.  note that the handler support
    will have to be rewritten when we merge \JS, since it really ought to
    be a listener implemented in JS, and not a few special-cased reduction
    rules.
    Ben Lerner committed Dec 23, 2011
  2. generating better tests. output now tracks what the tests actually

    do, the "expected" output no longer includes "default-prevented!", and
    the generator can be run in parallel for nice speedups
    Ben Lerner committed Dec 23, 2011
Commits on Dec 20, 2011
  1. generating suites of randomized test cases, take 1

    Ben Lerner committed Dec 20, 2011
Commits on Dec 16, 2011
  1. @mjc1283
  2. @mjc1283

    fixed annotation line numbers

    mjc1283 committed Dec 16, 2011
Commits on Dec 15, 2011
  1. Removing paper from this repo, moving to papers repo

    Ben Lerner committed Dec 15, 2011
  2. @mjc1283

    HTML5 6.1.6.1 annotations

    mjc1283 committed Dec 15, 2011
  3. @mjc1283

    setHandler comment

    mjc1283 committed Dec 15, 2011
Commits on Dec 14, 2011
  1. text for 2.0, 2.1, 3.2, 3.3, 4.2, and 4.4

    Ben Lerner committed Dec 14, 2011
  2. @mjc1283

    annotations through 4

    mjc1283 committed Dec 14, 2011
  3. @mjc1283
  4. @mjc1283
Commits on Dec 13, 2011
  1. @dankimmel

    added test case, runner script

    Note: long JS source attributes were moved from the "source" attribute
    of the node objects to the "orig source" attribute and were shortened
    to something more readable.
    dankimmel committed Dec 13, 2011
  2. removing unnecessary temp variable in dom->html

    Ben Lerner committed Dec 13, 2011
  3. Merge remote branch 'origin/master'

    Conflicts:
    	test-domv2.rkt
    
    resolving merge conflict
    Ben Lerner committed Dec 13, 2011
  4. updating the reduction rules to include the new ordering behavior for

    event handlers, and updating dom->html accordingly too
    Ben Lerner committed Dec 13, 2011
Commits on Dec 12, 2011
  1. @mjc1283
  2. @mjc1283

    more annotations

    mjc1283 committed Dec 12, 2011
  3. @mjc1283

    updated annotation line #s

    mjc1283 committed Dec 12, 2011
  4. @dankimmel

    added sample JSON/XML files

    sample-data/TARGETED.* is a reduced version of sample-data/tbird.*,
    where only the DOM nodes in the path to the targeted node are included
    in the document.
    dankimmel committed Dec 12, 2011
  5. @dankimmel

    [parsing] JS "parsing", heap fix, XML handlers

    Simple parsing of JS expressions including:
    - stopPropagation
    - stopImmediate
    - preventDefault
    - "other" = skip
    which does a decent job of pulling out relevant info. Still needs:
    - add/removeEventListener
    - setEventHandler
    - return
    - if-curTarget, if-phase
    Heap fix (storing listeners in heap).
    XML handlers are now loaded as handlers (although bubble/capture phase
    is always bubble instead of depending on type).
    dankimmel committed Dec 12, 2011
Commits on Dec 10, 2011
  1. updated model->html to work with updated listeners; "pointer equality"

    works between listeners since it's done by location in the map
    Ben Lerner committed Dec 10, 2011
Commits on Dec 9, 2011
  1. updating tests to new format; have not yet updated the model->html

    output yet
    Ben Lerner committed Dec 9, 2011
  2. @mjc1283

    more annotations

    mjc1283 committed Dec 9, 2011
  3. Merge branch 'master' of github.com:mjc1283/DOM-Semantics

    Conflicts:
    	test-domv2.rkt
    Ben Lerner committed Dec 9, 2011
  4. modifying reduction rules to place listeners in the heap instead of

    directly as statements within nodes and dispatch contexts.  this
    allows for "pointer equality" of listeners by checking locations.
    Ben Lerner committed Dec 9, 2011
  5. @mjc1283

    partial annotation of spec 3.1

    mjc1283 committed Dec 9, 2011
  6. @mjc1283
  7. fixing typos and pattern errors

    Ben Lerner committed Dec 8, 2011
  8. adding DOM->HTML serializer, so we can run redex-generated models in

    browsers.  the serializer doesn't quite work right yet, and it's still
    missing the harness to actually run the test.  it's also somewhat
    fragile with respect to pointer-equality of redex terms, which is kind
    of annoying, and I haven't resolved that bug yet.
    Ben Lerner committed Dec 8, 2011
Something went wrong with that request. Please try again.