Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Notify #68

Open
wants to merge 2,896 commits into
base: notifications
Choose a base branch
from
Open

Notify #68

wants to merge 2,896 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Aug 27, 2024

  1. Change enter into push

    @f52985
    f52985 committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    cbdbcc8 View commit details
    Browse the repository at this point in the history

  2. Minor changes

    @presenthee
    presenthee committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    e8bd232 View commit details
    Browse the repository at this point in the history

  3. Fix order of trasnpiled enter

    @f52985
    f52985 committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    61dcf0a View commit details
    Browse the repository at this point in the history

  4. Interpret CompE

    @702fbtngus
    702fbtngus committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    127610a View commit details
    Browse the repository at this point in the history

  5. Prune more dead branch

    @f52985
    f52985 committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    a633b39 View commit details
    Browse the repository at this point in the history

  6. Remove redundant bindings

    @f52985
    f52985 committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    4595386 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Refactor IL to AL preprocess

    @ShinWonho
    ShinWonho committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    d09cbab View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into ho-num

    @f52985
    f52985 committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    bbddce6 View commit details
    Browse the repository at this point in the history

  3. Support DefA in algorithmic backend

    @f52985
    f52985 committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    cb3a68d View commit details
    Browse the repository at this point in the history

  4. Generalize evaluation context handling in AL [1/3]: AL generation

    @Alan-Liang
    Alan-Liang committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    a80e88c View commit details
    Browse the repository at this point in the history

  5. Generalize evaluation context handling in AL [2/3]: interpreter backend

    @Alan-Liang
    Alan-Liang committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    cfe535f View commit details
    Browse the repository at this point in the history

  6. Generalize evaluation context handling in AL [3/3]: backends other th… 

    …an interpreter
    @Alan-Liang
    Alan-Liang committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    5b0a9b5 View commit details
    Browse the repository at this point in the history

  7. Merge pull request WebAssembly#556 from osa1/name_subsection_ids 

    Fix name subsection ids
    @rossberg
    rossberg authored Aug 28, 2024
    Configuration menu
    Copy the full SHA
    f3c4126 View commit details
    Browse the repository at this point in the history

  8. Merge pull request WebAssembly#557 from osa1/type_subsecs 

    List type and field name subsections in namedata
    @rossberg
    rossberg authored Aug 28, 2024
    Configuration menu
    Copy the full SHA
    7c4f303 View commit details
    Browse the repository at this point in the history

  9. [test] Add tests ensuring table type is grown in table.grow (WebAss… 

    …embly#1784)
    @dzfrias
    dzfrias authored Aug 28, 2024
    Configuration menu
    Copy the full SHA
    71755b3 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Merge pull request #118 from Wasm-DSL/ho-num 

    Refactor numerics with higher-order functions
    @rossberg
    rossberg authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    d9a12cf View commit details
    Browse the repository at this point in the history

  2. Attempt to fix CI

    @rossberg
    rossberg committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    2e59ad0 View commit details
    Browse the repository at this point in the history

  3. Fix Bvec

    @rossberg
    rossberg committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    f85d111 View commit details
    Browse the repository at this point in the history

  4. Fix Bvec in legacy doc

    @rossberg
    rossberg committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    7c277f2 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'upstream'

    @rossberg
    rossberg committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    51bc17f View commit details
    Browse the repository at this point in the history

  6. Reactivate Bikeshed

    @rossberg
    rossberg committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    343ec87 View commit details
    Browse the repository at this point in the history

  7. Don't require popping all values before checking context kind

    @f52985
    f52985 committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    c447847 View commit details
    Browse the repository at this point in the history

  8. Flatten ifs of normal blocks into conjuction

    @f52985
    f52985 committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    c7ddf3b View commit details
    Browse the repository at this point in the history

  9. Deactivate Bikeshed

    @rossberg
    rossberg committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    fb57cea View commit details
    Browse the repository at this point in the history

  10. Merge branch 'upstream'

    @rossberg
    rossberg committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    7378434 View commit details
    Browse the repository at this point in the history

  11. Merge remote-tracking branch 'multimem/main' into wasm-3.0

    @rossberg
    rossberg committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    c4dbe88 View commit details
    Browse the repository at this point in the history

  12. Fix merge fallout

    @rossberg
    rossberg committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    f0f9558 View commit details
    Browse the repository at this point in the history

  13. Change signature of AL IterE

    @f52985
    f52985 committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    c348ac1 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. Update DECISION_URL for Wasm 2.0 CR advancement (WebAssembly#1794)

    @dschuff
    dschuff authored Aug 30, 2024
    Configuration menu
    Copy the full SHA
    1c238ab View commit details
    Browse the repository at this point in the history

  2. add a test case (WebAssembly#326) 

    some runtimes implement tag matching as the equality of tag indexes.
(cf. bytecodealliance/wasm-micro-runtime#3109)
i believe it's a wrong interpreteation of the spec.
this test case ensures a failure on such implementations.
    @yamt
    yamt authored Aug 30, 2024
    Configuration menu
    Copy the full SHA
    7e2c27c View commit details
    Browse the repository at this point in the history

  3. Fix typo in 6-typing

    @ShinWonho
    ShinWonho committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    2bbb5cf View commit details
    Browse the repository at this point in the history

  4. WIP: Adapting to new IterE

    @f52985
    f52985 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    e3913ff View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. Fix animation according to new IterE

    @f52985
    f52985 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    d46a086 View commit details
    Browse the repository at this point in the history

  2. Simplify prose of IterE

    @f52985
    f52985 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    63ee65e View commit details
    Browse the repository at this point in the history

  3. Fix IterE as lhs

    @f52985
    f52985 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    b2e10df View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Fix translation of IterPr

    @f52985
    f52985 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    d248199 View commit details
    Browse the repository at this point in the history

  2. Fix PopI of IterE

    @f52985
    f52985 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    66b2462 View commit details
    Browse the repository at this point in the history

  3. Update TEST.md

    @ShinWonho
    ShinWonho committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    2debdbe View commit details
    Browse the repository at this point in the history

  4. Update TEST.md

    @ShinWonho
    ShinWonho committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    e80feb1 View commit details
    Browse the repository at this point in the history

  5. Syntax argument validation

    @702fbtngus
    702fbtngus committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    d44abbb View commit details
    Browse the repository at this point in the history

  6. Remove hard-coded reduction rule rendering in favour of hint

    @rossberg
    rossberg committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    6c58671 View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'gc/main' into wasm-3.0

    @rossberg
    rossberg committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    b829bd8 View commit details
    Browse the repository at this point in the history

  8. Merge remote-tracking branch 'exn/main' into wasm-3.0

    @rossberg
    rossberg committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    ec17fa2 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' into wasm-3.0

    @rossberg
    rossberg committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    64fb8fd View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into iterscope

    @f52985
    f52985 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    77cc97f View commit details
    Browse the repository at this point in the history

  11. Do not generate side condition for iter index

    @f52985
    f52985 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    71836b3 View commit details
    Browse the repository at this point in the history

  12. Merge remote-tracking branch 'relaxed/main' into wasm-3.0+relaxed

    @rossberg
    rossberg committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    3f0bd84 View commit details
    Browse the repository at this point in the history

  13. Minor change

    @702fbtngus
    702fbtngus committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    96c2909 View commit details
    Browse the repository at this point in the history

  14. Function argument validation

    @702fbtngus
    702fbtngus committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    ad08514 View commit details
    Browse the repository at this point in the history

  15. Function argument validation fix

    @702fbtngus
    702fbtngus committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    67c5c35 View commit details
    Browse the repository at this point in the history

  16. Generate deadline and pass to bikeshed as metadata (WebAssembly#1795) 

    The Makefiles now generate a date 30 days in the future, and pass this date to bikeshed as
the standard 'Deadline' metadata.

Along with speced/bikeshed-boilerplate#98, this causes the document
status section to generate with a transition deadline always 30 from the generation time.
    @dschuff
    dschuff authored Sep 3, 2024
    Configuration menu
    Copy the full SHA
    1726692 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. [interpreter] Implement new instance command (WebAssembly#1796)

    @rossberg
    rossberg authored Sep 4, 2024
    Configuration menu
    Copy the full SHA
    f83f810 View commit details
    Browse the repository at this point in the history

  2. Minor fixes

    @f52985
    f52985 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    ac3a789 View commit details
    Browse the repository at this point in the history

  3. Pass all tests

    @f52985
    f52985 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    e2413b0 View commit details
    Browse the repository at this point in the history

  4. Testpromote

    @f52985
    f52985 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    3de0bba View commit details
    Browse the repository at this point in the history

  5. Implement val type function

    @presenthee
    presenthee committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    69cda29 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into iterscope

    @f52985
    f52985 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    2fdbaf7 View commit details
    Browse the repository at this point in the history

  7. Hardcode return value of $Module_ok

    @ShinWonho
    ShinWonho committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    c6e9257 View commit details
    Browse the repository at this point in the history

  8. Hardcode $Externaddr_type

    @ShinWonho
    ShinWonho committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    dd21080 View commit details
    Browse the repository at this point in the history

  9. Minor changes on manual

    @presenthee
    presenthee committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    c408b49 View commit details
    Browse the repository at this point in the history

  10. Naive debugger

    @ShinWonho
    ShinWonho committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    1fb14d9 View commit details
    Browse the repository at this point in the history

  11. [ci] Bump uplooad/download-artifact to v4 (WebAssembly#1798)

    @rossberg
    rossberg authored Sep 4, 2024
    Configuration menu
    Copy the full SHA
    a6a6b9a View commit details
    Browse the repository at this point in the history

  12. [ci] Bump upload/download-artifact to v4 (WebAssembly#327)

    @dependabot
    dependabot[bot] authored Sep 4, 2024
    Configuration menu
    Copy the full SHA
    67436f2 View commit details
    Browse the repository at this point in the history

  13. Tweak

    @rossberg
    rossberg committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    8dea588 View commit details
    Browse the repository at this point in the history

  14. Update debugger

    @ShinWonho
    ShinWonho committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    6a7d25b View commit details
    Browse the repository at this point in the history

  15. old walker removed

    reduction-choi committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    521eb00 View commit details
    Browse the repository at this point in the history

  16. Properly scoped iteration ops for IL ( #119)

    @rossberg
    rossberg authored Sep 4, 2024
    Configuration menu
    Copy the full SHA
    44144bd View commit details
    Browse the repository at this point in the history

  17. Minor edits

    @rossberg
    rossberg committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    9d740b0 View commit details
    Browse the repository at this point in the history

  18. Refactor relaxed ops spec

    @rossberg
    rossberg committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    acb599c View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Add debugger option

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    8e45bd0 View commit details
    Browse the repository at this point in the history

  2. Prohibit AL tailcall in debugger

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    7442bd6 View commit details
    Browse the repository at this point in the history

  3. Minor change

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    f0272dd View commit details
    Browse the repository at this point in the history

  4. Fix compile error

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    0c3fd0d View commit details
    Browse the repository at this point in the history

  5. Minor change

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    8c1a987 View commit details
    Browse the repository at this point in the history

  6. Fix bug in test case

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    3dffedd View commit details
    Browse the repository at this point in the history

  7. Fix bug in the debugger

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    b910e22 View commit details
    Browse the repository at this point in the history

  8. Add store lookup in debugger

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    fb7cf7c View commit details
    Browse the repository at this point in the history

  9. Fix externtype of builtin

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    f5092c3 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'assertion' into debugger

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    6339ca4 View commit details
    Browse the repository at this point in the history

  11. Fix typing relation premise

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    6eaf1a9 View commit details
    Browse the repository at this point in the history

  12. Remove redundant library

    @ShinWonho
    ShinWonho committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    177d014 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. Remove $idx (#122)

    @ShinWonho
    ShinWonho authored Sep 6, 2024
    Configuration menu
    Copy the full SHA
    a2240b2 View commit details
    Browse the repository at this point in the history

  2. Implementation note

    @rossberg
    rossberg committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    bc87071 View commit details
    Browse the repository at this point in the history

  3. WIP: add eval.ml in AL

    @ShinWonho
    ShinWonho committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    c687fee View commit details
    Browse the repository at this point in the history

  4. Adapt sync/async test harness

    @rossberg
    rossberg committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    349929a View commit details
    Browse the repository at this point in the history

Commits on Sep 9, 2024

  1. WIP: impl call expr reduce

    @ShinWonho
    ShinWonho committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    c0f8992 View commit details
    Browse the repository at this point in the history

  2. WIP: fix compile error

    @ShinWonho
    ShinWonho committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    63db66e View commit details
    Browse the repository at this point in the history

  3. WIP: fix compile error

    @702fbtngus
    702fbtngus committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    50105d3 View commit details
    Browse the repository at this point in the history

  4. WIP: fix compile error

    @702fbtngus
    702fbtngus committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    81bd353 View commit details
    Browse the repository at this point in the history

  5. Fix handling of implicit varids from nat/bool/etc

    @rossberg
    rossberg committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    2649dd3 View commit details
    Browse the repository at this point in the history

  6. WIP

    @rossberg
    rossberg committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    d9fc967 View commit details
    Browse the repository at this point in the history

  7. WIP

    @rossberg
    rossberg committed Sep 9, 2024
    Configuration menu
    Copy the full SHA
    caaf4de View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2024

  1. Merge branch 'debugger' into assertion

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    9f32337 View commit details
    Browse the repository at this point in the history

  2. WIP: add clos in module_ok

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    46ec796 View commit details
    Browse the repository at this point in the history

  3. Fix bug in builtin

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    6316fd6 View commit details
    Browse the repository at this point in the history

  4. Fix bug in builtin

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    7a015e3 View commit details
    Browse the repository at this point in the history

  5. Add subst in AL

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    e50334a View commit details
    Browse the repository at this point in the history

  6. Reduce IterE

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    025f8eb View commit details
    Browse the repository at this point in the history

  7. Rename subst

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    acaff8e View commit details
    Browse the repository at this point in the history

  8. Remove super

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    5ab0eb4 View commit details
    Browse the repository at this point in the history

  9. Rename env

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    e4540a9 View commit details
    Browse the repository at this point in the history

  10. Minor change

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    37028f9 View commit details
    Browse the repository at this point in the history

  11. Add variable mapping

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    07664f1 View commit details
    Browse the repository at this point in the history

  12. Add deftype roll in moduleok

    @presenthee
    presenthee committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    59a14c9 View commit details
    Browse the repository at this point in the history

  13. Fix construction error

    @presenthee
    presenthee committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    b78c349 View commit details
    Browse the repository at this point in the history

  14. WIP

    @rossberg
    rossberg committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    76835c5 View commit details
    Browse the repository at this point in the history

  15. Fix construction error

    @presenthee
    presenthee committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    81980d7 View commit details
    Browse the repository at this point in the history

  16. WIP: Impl iter validation in AL

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    f4a3a4c View commit details
    Browse the repository at this point in the history

  17. Merge branch 'main' into al-eval

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    1d04562 View commit details
    Browse the repository at this point in the history

  18. Merge branch 'al-eval'

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    bf29760 View commit details
    Browse the repository at this point in the history

  19. Pass env

    @ShinWonho
    ShinWonho committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    ff759c4 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Minor fix

    @ShinWonho
    ShinWonho committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    5ac7b70 View commit details
    Browse the repository at this point in the history

  2. Add missing SIMD construction

    @presenthee
    presenthee committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    28d724e View commit details
    Browse the repository at this point in the history

  3. Add missing constructions

    @presenthee
    presenthee committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    6d4dc8a View commit details
    Browse the repository at this point in the history

  4. Ignore yet in assertions

    @presenthee
    presenthee committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    a90fa73 View commit details
    Browse the repository at this point in the history

  5. Minor fix

    @ShinWonho
    ShinWonho committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    9ae5080 View commit details
    Browse the repository at this point in the history

  6. Remove ValT hardcoding in translate

    @702fbtngus
    702fbtngus committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    868f4bc View commit details
    Browse the repository at this point in the history

  7. Minor change

    @702fbtngus
    702fbtngus committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    bebb0af View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2024

  1. Update debugger

    @ShinWonho
    ShinWonho committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    255c6b4 View commit details
    Browse the repository at this point in the history

  2. Fix closing of types; fix rendering of nul

    @rossberg
    rossberg committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    692b6e6 View commit details
    Browse the repository at this point in the history

  3. Minor change

    @presenthee
    presenthee committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    1670d3b View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' of https://github.com/Wasm-DSL/spectec into asser… 

    …tion
    @presenthee
    presenthee committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    2bb8bd5 View commit details
    Browse the repository at this point in the history

  5. Bump CI upload/download version

    @rossberg
    rossberg committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    d5e5558 View commit details
    Browse the repository at this point in the history

  6. TODO

    @rossberg
    rossberg committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    5ec16fa View commit details
    Browse the repository at this point in the history

  7. Fix wrong frame translation

    @ShinWonho
    ShinWonho committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    66d4926 View commit details
    Browse the repository at this point in the history

  8. Added TopHandlerE

    @702fbtngus
    702fbtngus committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    95ebcb0 View commit details
    Browse the repository at this point in the history

  9. Turn off assertions in the interpreter

    @presenthee
    presenthee committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    73dc870 View commit details
    Browse the repository at this point in the history

  10. Merge pull request #126 from Wasm-DSL/fix-conditions 

    Fix closing of types; fix rendering of nul
    @rossberg
    rossberg authored Sep 12, 2024
    Configuration menu
    Copy the full SHA
    7fefb27 View commit details
    Browse the repository at this point in the history

  11. Merge branch 'assertion' of https://github.com/Wasm-DSL/spectec

    @presenthee
    presenthee committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    d626ced View commit details
    Browse the repository at this point in the history

  12. test promote

    @presenthee
    presenthee committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    12b6c8b View commit details
    Browse the repository at this point in the history

  13. Added postprocess & merge pop and assert

    @702fbtngus
    702fbtngus committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    56511d9 View commit details
    Browse the repository at this point in the history

  14. Minor fix

    @702fbtngus
    702fbtngus committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    1a1954b View commit details
    Browse the repository at this point in the history

  15. Fix postprocess.ml

    @702fbtngus
    702fbtngus committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    3156bce View commit details
    Browse the repository at this point in the history

  16. [test] Data count without data segment (WebAssembly#1801)

    @SoniEx2
    SoniEx2 authored Sep 12, 2024
    Configuration menu
    Copy the full SHA
    4e722fb View commit details
    Browse the repository at this point in the history

  17. [test] Redundant data count section

    @rossberg
    rossberg committed Sep 12, 2024
    Configuration menu
    Copy the full SHA
    7ff01f5 View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2024

  1. Merge branch 'main' into walker2

    @ShinWonho
    ShinWonho committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    31e52cf View commit details
    Browse the repository at this point in the history

  2. Update W3C TR build from WD to CRD (WebAssembly#1797)

    @dschuff
    dschuff authored Sep 13, 2024
    Configuration menu
    Copy the full SHA
    5042950 View commit details
    Browse the repository at this point in the history

  3. Impl al to import

    @ShinWonho
    ShinWonho committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    990c1ac View commit details
    Browse the repository at this point in the history

  4. Fix bug in construct.ml

    @ShinWonho
    ShinWonho committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    6c6b704 View commit details
    Browse the repository at this point in the history

  5. Enable module validation

    @ShinWonho
    ShinWonho committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    bd6ce15 View commit details
    Browse the repository at this point in the history

  6. Support AssertInvalid

    @ShinWonho
    ShinWonho committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    f1a35b7 View commit details
    Browse the repository at this point in the history

  7. Fix order of handler entrance (WebAssembly#329)

    @CharlieTap
    CharlieTap authored Sep 13, 2024
    Configuration menu
    Copy the full SHA
    79323b5 View commit details
    Browse the repository at this point in the history

  8. Fix throwref execution prose (WebAssembly#330)

    @CharlieTap
    CharlieTap authored Sep 13, 2024
    Configuration menu
    Copy the full SHA
    24f0819 View commit details
    Browse the repository at this point in the history

  9. Fix syntax of tag imports

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    bb0dac3 View commit details
    Browse the repository at this point in the history

  10. Add proposal name to spec

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    12f0bc2 View commit details
    Browse the repository at this point in the history

  11. Fix index.rst

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    6ca3310 View commit details
    Browse the repository at this point in the history

  12. Merge remote-tracking branch 'exn/main' into wasm-3.0

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    7315f7f View commit details
    Browse the repository at this point in the history

  13. Merge branch 'main' into wasm-3.0

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    0ae3513 View commit details
    Browse the repository at this point in the history

  14. [ci] Bump up/download version for code metadata doc

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    e871f9f View commit details
    Browse the repository at this point in the history

  15. Fix xref

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    d2d5bc9 View commit details
    Browse the repository at this point in the history

  16. [spec] Bump copyright date

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    8f4ae91 View commit details
    Browse the repository at this point in the history

  17. Make builds of old spec versions available

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    836b00e View commit details
    Browse the repository at this point in the history

  18. [web] Tweaks

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    51eb50b View commit details
    Browse the repository at this point in the history

  19. [ci] Add dummy targets for WD-echidna CI

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    10a4565 View commit details
    Browse the repository at this point in the history

  20. [web] Fix links

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    8a0d086 View commit details
    Browse the repository at this point in the history

  21. [ci] Add action to actually upload docs

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    bdd94d2 View commit details
    Browse the repository at this point in the history

  22. [ci] Fix syntax

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    06c3624 View commit details
    Browse the repository at this point in the history

  23. [ci] Missing dependency

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    244c6f1 View commit details
    Browse the repository at this point in the history

  24. [web] Add build date

    @rossberg
    rossberg committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    cc7bb73 View commit details
    Browse the repository at this point in the history

  25. Update document status input for W3C publishing to a choice value (We… 

    …bAssembly#1803)

The w3c-status options correspond to the valid options for
Bikeshed's --md-status flag (i.e. Status metadata, https://speced.github.io/bikeshed/#metadata),
and refer to the W3C rec-track document
stages described in https://www.w3.org/policies/process/#maturity-stages
(Editor's Draft, Working Draft, Candidiate Recommendation Draft, and
Candidate Recommendation Snapshot).
    @dschuff
    dschuff authored Sep 13, 2024
    Configuration menu
    Copy the full SHA
    c7c038d View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2024

  1. get_local -> local.get (#27)

    @zapashcanon
    zapashcanon authored Sep 14, 2024
    Configuration menu
    Copy the full SHA
    20a8e4f View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'annot/main' into wasm-3.0

    @rossberg
    rossberg committed Sep 14, 2024
    Configuration menu
    Copy the full SHA
    5c7c1d3 View commit details
    Browse the repository at this point in the history

Commits on Sep 18, 2024

  1. Working with issues

    @rossberg
    rossberg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    a9be523 View commit details
    Browse the repository at this point in the history

  2. Fix layout of module grammar

    @rossberg
    rossberg committed Sep 18, 2024
    Configuration menu
    Copy the full SHA
    72f824b View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2024

  1. Fix al context print

    @ShinWonho
    ShinWonho committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    0b3dd31 View commit details
    Browse the repository at this point in the history

  2. Minor fix

    @ShinWonho
    ShinWonho committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    008978d View commit details
    Browse the repository at this point in the history

  3. Fix error

    @ShinWonho
    ShinWonho committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    fd64c06 View commit details
    Browse the repository at this point in the history

  4. Remove ref.null hardcoding

    @ShinWonho
    ShinWonho committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    5ce6efc View commit details
    Browse the repository at this point in the history

  5. Update debugger

    @ShinWonho
    ShinWonho committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    688ccee View commit details
    Browse the repository at this point in the history

  6. Fix typos in catch validation

    @rossberg
    rossberg committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    517034e View commit details
    Browse the repository at this point in the history

  7. Fix return result type

    @rossberg
    rossberg committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    7eae1f4 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'fix-ctx' of https://github.com/kaist-plrg/spectec into … 

    …kaist-plrg-fix-ctx
    @702fbtngus
    702fbtngus committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    cb5f4d7 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'kaist-plrg-fix-ctx'

    @702fbtngus
    702fbtngus committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    8bd084b View commit details
    Browse the repository at this point in the history

  10. Add macro for reftypediff

    @rossberg
    rossberg committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    3bff8e3 View commit details
    Browse the repository at this point in the history

  11. TODO

    @rossberg
    rossberg committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    6362779 View commit details
    Browse the repository at this point in the history

  12. Recognise NL_NL

    @rossberg
    rossberg committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    16bacbf View commit details
    Browse the repository at this point in the history

  13. Avoid empty lines in grammars

    @rossberg
    rossberg committed Sep 19, 2024
    Configuration menu
    Copy the full SHA
    b6ed15b View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2024

  1. Minor fix

    @702fbtngus
    702fbtngus committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    86858d5 View commit details
    Browse the repository at this point in the history

  2. Update TEST.md

    @702fbtngus
    702fbtngus committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    09774e0 View commit details
    Browse the repository at this point in the history

  3. Operational partial multicol workaround

    @rossberg
    rossberg committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    8054f3d View commit details
    Browse the repository at this point in the history

  4. Fix ChooseE validation

    @ShinWonho
    ShinWonho committed Sep 20, 2024
    Configuration menu
    Copy the full SHA
    8fef547 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2024

  1. [spec] Add missing i32x4.extadd_pairwise_i16x8_u instruction to text … 

    …format
    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    04a39c5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into wasm-3.0

    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    3c001a5 View commit details
    Browse the repository at this point in the history

  3. [spec] Tweak format of changes list

    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    670ae7e View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into wasm-3.0

    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    bb6fc9c View commit details
    Browse the repository at this point in the history

  5. Fix indentation levels

    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    f501994 View commit details
    Browse the repository at this point in the history

  6. Remove half-arsed attempts of working around multicolumn, simple don'… 

    …t use it when we can't
    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    de236e1 View commit details
    Browse the repository at this point in the history

  7. Rip out multicolumn option in favour of dummy macro set for MathJax

    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    799f142 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main' into multicol

    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    4fe3442 View commit details
    Browse the repository at this point in the history

  9. Cleanup

    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    18e371e View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into multicol

    @rossberg
    rossberg committed Sep 21, 2024
    Configuration menu
    Copy the full SHA
    e2349f8 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2024

  1. Fixed recover_state & remove_state

    @702fbtngus
    702fbtngus committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    229b01e View commit details
    Browse the repository at this point in the history

  2. Minor fix

    @702fbtngus
    702fbtngus committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    6cf0808 View commit details
    Browse the repository at this point in the history

  3. Fix iterpr translation

    @presenthee
    presenthee committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    aed7587 View commit details
    Browse the repository at this point in the history

  4. Minor change

    @presenthee
    presenthee committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    535fc6a View commit details
    Browse the repository at this point in the history

  5. Fix popall assertion

    @presenthee
    presenthee committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    48d9cc1 View commit details
    Browse the repository at this point in the history

  6. Turn on assertion in interpreter

    @presenthee
    presenthee committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    f6d168f View commit details
    Browse the repository at this point in the history

  7. Make testpromote

    @presenthee
    presenthee committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    f4682d5 View commit details
    Browse the repository at this point in the history

  8. Changed get_subst

    @702fbtngus
    702fbtngus committed Sep 23, 2024
    Configuration menu
    Copy the full SHA
    c85c0a6 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Merge branch 'wasm-3.0' into wasm-3.0+relaxed

    @rossberg
    rossberg committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    eb8f31c View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/wasm-3.0'

    @rossberg
    rossberg committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    2907d07 View commit details
    Browse the repository at this point in the history

  3. Layout todos

    @rossberg
    rossberg committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    2662295 View commit details
    Browse the repository at this point in the history

  4. Minor

    @rossberg
    rossberg committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    7f10d00 View commit details
    Browse the repository at this point in the history

  5. Update test expects

    @rossberg
    rossberg committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    665ea90 View commit details
    Browse the repository at this point in the history

  6. [test] Fix left-over use of kWasmStmt in wasm-module-builder (WebAsse… 

    …mbly#1812)

This was renamed to kWasmVoid in
WebAssembly/memory64@2f5a7c5.
    @backes
    backes authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    a315401 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2024

  1. Fix rendering of limits ([i .. j])

    @f52985
    f52985 committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    256d798 View commit details
    Browse the repository at this point in the history

  2. Validate CaseE with evalctx id

    @702fbtngus
    702fbtngus committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    e2c4894 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2024

  1. Adapt changes

    @rossberg
    rossberg committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    09cc6c6 View commit details
    Browse the repository at this point in the history

  2. Update Test.md

    @702fbtngus
    702fbtngus committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    30394ff View commit details
    Browse the repository at this point in the history

  3. Eps

    @rossberg
    rossberg committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    8dadd74 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'wasm-3.0+relaxed' into wasm-3.0

    @rossberg
    rossberg committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    95acd3e View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'upstream/wasm-3.0' into relaxed

    @rossberg
    rossberg committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    2b0896a View commit details
    Browse the repository at this point in the history

  6. Add relaxed swizzle, [n]madd, min/max

    @rossberg
    rossberg committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    b315265 View commit details
    Browse the repository at this point in the history

  7. Minor fix

    @ShinWonho
    ShinWonho committed Sep 26, 2024
    Configuration menu
    Copy the full SHA
    1ff9bae View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Add relaxed_q15mul

    @rossberg
    rossberg committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    057b5e3 View commit details
    Browse the repository at this point in the history

  2. [spec] Fix typo in relaxed formula

    @rossberg
    rossberg committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    e9cbf1a View commit details
    Browse the repository at this point in the history

  3. Fix merge bug

    @rossberg
    rossberg committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    00c56da View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. All but laneselect

    @rossberg
    rossberg committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    236f833 View commit details
    Browse the repository at this point in the history

  2. Relaxed SIMD in SpecTec

    @rossberg
    rossberg committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    efa5a82 View commit details
    Browse the repository at this point in the history

Commits on Oct 3, 2024

  1. [spec] Various fixes to SIMD stuff

    @rossberg
    rossberg committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    8e5f4ee View commit details
    Browse the repository at this point in the history

  2. Update and fix spec doc modulo numerics/exec

    @rossberg
    rossberg committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    75ea7be View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'upstream/wasm-3.0' into relaxed

    @rossberg
    rossberg committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    bb6a2cd View commit details
    Browse the repository at this point in the history

  4. Missing xref anchors

    @rossberg
    rossberg committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    02adbd2 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. Change order of prose's instructions

    @f52985
    f52985 committed Oct 4, 2024
    2 Configuration menu
    Copy the full SHA
    1d676e2 View commit details
    Browse the repository at this point in the history

  2. Remove Ocaml 5.1's function

    @f52985
    f52985 committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    6a02390 View commit details
    Browse the repository at this point in the history

Commits on Oct 9, 2024

  1. Merge branch 'main' into relaxed

    @rossberg
    rossberg committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    ff9ed64 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into relaxed

    @rossberg
    rossberg committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    b191310 View commit details
    Browse the repository at this point in the history

  3. Update test expect

    @rossberg
    rossberg committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    379d081 View commit details
    Browse the repository at this point in the history

  4. Add missing context rule

    @rossberg
    rossberg committed Oct 9, 2024
    Configuration menu
    Copy the full SHA
    3b41f7f View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. Reorganise 3.0 spec source

    @rossberg
    rossberg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    50eaec3 View commit details
    Browse the repository at this point in the history

Commits on Oct 12, 2024

  1. First bunch of numerics

    @rossberg
    rossberg committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    8682a9e View commit details
    Browse the repository at this point in the history

  2. Test exp

    @rossberg
    rossberg committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    30ee821 View commit details
    Browse the repository at this point in the history

  3. Renamings

    @rossberg
    rossberg committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    f4522d4 View commit details
    Browse the repository at this point in the history

  4. Refactor more vector stuff

    @rossberg
    rossberg committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    2a00830 View commit details
    Browse the repository at this point in the history

  5. Eps

    @rossberg
    rossberg committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    b5affda View commit details
    Browse the repository at this point in the history

  6. Minor fix

    @rossberg
    rossberg committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    3a9f891 View commit details
    Browse the repository at this point in the history

  7. Remove redundant var decls

    @rossberg
    rossberg committed Oct 12, 2024
    Configuration menu
    Copy the full SHA
    05c7bba View commit details
    Browse the repository at this point in the history

Commits on Oct 14, 2024

  1. More SIMD refactoring

    @rossberg
    rossberg committed Oct 14, 2024
    Configuration menu
    Copy the full SHA
    83aedab View commit details
    Browse the repository at this point in the history

Commits on Oct 15, 2024

  1. Fix TODO comments

    @rossberg
    rossberg committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    7ce6064 View commit details
    Browse the repository at this point in the history

  2. Restrict shape sizes

    @rossberg
    rossberg committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    d3f35fa View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Introduce bshape

    @rossberg
    rossberg committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    4b04daf View commit details
    Browse the repository at this point in the history

  2. Oops

    @rossberg
    rossberg committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    62b6a8f View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2024

  1. Properly distinguish and handle numeric types throughout pipeline

    @rossberg
    rossberg committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    28891cc View commit details
    Browse the repository at this point in the history

  2. Tighten numeric separation

    @rossberg
    rossberg committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    c43d72a View commit details
    Browse the repository at this point in the history

  3. Merge pull request #131 from Wasm-DSL/num 

    Properly distinguish and handle multiple numeric types
    @rossberg
    rossberg authored Oct 29, 2024
    Configuration menu
    Copy the full SHA
    9c7108e View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2024

  1. Update doc

    @rossberg
    rossberg committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    0277521 View commit details
    Browse the repository at this point in the history

  2. Introduce storeop

    @rossberg
    rossberg committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    9653a17 View commit details
    Browse the repository at this point in the history

  3. Simplify ops further with poly variants

    @rossberg
    rossberg committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    ab66ac9 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'num'

    @rossberg
    rossberg committed Oct 30, 2024
    Configuration menu
    Copy the full SHA
    a8000fe View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2024

  1. More use of variants

    @rossberg
    rossberg committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    b662037 View commit details
    Browse the repository at this point in the history