Skip to content

More thorough quick, and a quicker one#186

Merged
ggreif merged 16 commits intomasterfrom
gabor/parallel-test
Mar 9, 2019
Merged

More thorough quick, and a quicker one#186
ggreif merged 16 commits intomasterfrom
gabor/parallel-test

Conversation

@ggreif
Copy link
Contributor

@ggreif ggreif commented Feb 24, 2019

quicker: these don't run dfinity tests; good for fast, shallow testing

In turn now target quick runs all dfinity dvm tests in parallel, passing individual DB folders to dvm.

Usage:

make quicker
# or
make quick

Suggestions welcome!

these don't run dfinity tests
but in turn now target 'quick' runs all dfinity dvm tests in parallel
@ggreif ggreif requested review from FloorLamp and nomeata February 24, 2019 09:53
Copy link
Contributor

@nomeata nomeata left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

See inline comment.

@nomeata
Copy link
Contributor

nomeata commented Feb 27, 2019

Also:

  • Can you rename quick to parallel and quickest to quick
  • Use parallel in default.nix.

there is now 'parallel' which runs all the tests in parallel,
and 'quick' which does the same, but without the dfinity tests.

Moved tmpdir-related logic into `dvm.sh`.
run parallel tests from nix too
So that one can run

    make test ASC=asc

where `asc` is on the PATH.
@nomeata
Copy link
Contributor

nomeata commented Feb 27, 2019

I fixed some problems of running it from nix for you.

@ggreif
Copy link
Contributor Author

ggreif commented Feb 28, 2019

Somehow Jenkins is still unhappy, local nix-build works flawlessly.

make --no-print-directory --load-average -j -C run-dfinity quick
overflow: [tc] [run] [run-low] [run-ir] [wasm] [dvm]
--- overflow.dvm-run (expected)
+++ overflow.dvm-run (actual)
@@ -1,4 +1,5 @@
 W, hypervisor: call failed with trap message: Uncaught RuntimeError: unreachable
+W, hypervisor: call failed with trap message: Uncaught RuntimeError: unreachable
 Top-level code done.
 This is reachable.
 This is reachable.
Some tests failed.

Copy link
Contributor

@nomeata nomeata left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good to me so far.

@nomeata
Copy link
Contributor

nomeata commented Feb 28, 2019

Somehow Jenkins is still unhappy, local nix-build works flawlessly.

This is indeed odd, and somewhat unrelated to your change. I actually expect two traps to be reported here. I don’t know why only one is reported. Maybe somehow related to https://github.com/dfinity-lab/dev/commit/21a5f27c9a382a1e462e48ffe6971697c2820eb6?
@jwiegley Do you have an idea why, given a call tree with two trapping messages, dvm would sometimes print one and sometimes print two?

@nomeata
Copy link
Contributor

nomeata commented Feb 28, 2019

To unblock this, Gabor, feel free to clean up the test case a bit to only trap once, possibly by splitting it up into multiple files. In fact, if you split it up in one file per test, we don’t even need to (ab)use async blocks this way.

@jwiegley
Copy link

jwiegley commented Mar 1, 2019

@nomeata Sadly I know very little about dvm, perhaps @blynn can help?

@FloorLamp
Copy link
Contributor

I see it trapping twice:

T, hypervisor/sys: runFunction: 1.func$62(6)
T, hypervisor/sys: runFunction: actor hash: ce455108efe743938d380dd05563a347421381c0
T, hypervisor/sys: runFunction: persisted globals = fromList [...]
T, hypervisor/sys: runFunction: globals refs = [(0,WI32 93),(1,WI32 94)]
T, hypervisor/memory: persistent memory: actor is transient
T, hypervisor/sys: invoking module function func$62
D, hypervisor/V8 creating store
D, hypervisor/V8 stack base at store creation time = 0x00007ffee468b4bc
D, hypervisor/V8 creating instance
D, hypervisor/V8 creating module
D, hypervisor/V8 initializing handle
D, hypervisor/V8 registering cleanup actions
D, hypervisor/V8 module instantiated
D, hypervisor/V8 resolving imports and creating instance
...
D, hypervisor/V8 determining module exports
D, hypervisor/V8 retrieving function exports
D, hypervisor/V8 retrieving global exports
D, hypervisor/V8 setting global 0 to WI32 93
D, hypervisor/V8 setting global 1 to WI32 94
D, hypervisor/V8 > getFunctionByName(name: func$62)
D, hypervisor/V8 > type (i32) -> ()
D, hypervisor/V8 > invoke(args: [WI32 6])
D, hypervisor/V8 stack base at invocation time = 0x00007ffee468b4bc
D, hypervisor/V8 expecting args array of size 1
D, hypervisor/V8 allocating result array of size 0
T, hypervisor/sys: data.length(ref: 93, value: ...
T, hypervisor/sys: data.internalize(dst: 4096, len: 4992, src: 93, offset: 0) = value: ...
T, hypervisor/sys: elem.length(src: 94) = length: 12, value: ...
T, hypervisor/sys: elem.internalize(dst: 0, len: 12, src: 94, offset: 0) = value: ...
D, hypervisor/V8 function call FAILED
D, hypervisor/V8 > globals() = globals: [(0,WI32 93),(1,WI32 94)]
D, hypervisor/V8 maybe deleting wasm_table_t
D, hypervisor/V8 maybe deleting wasm_memory_t
D, hypervisor/V8 deleting exports
D, hypervisor/V8 deleting imports
D, hypervisor/V8 deleting wasm_instance_t
D, hypervisor/V8 deleting wasm_module_t
D, hypervisor/V8 deleting store
W, hypervisor: call failed with trap message: Uncaught RuntimeError: unreachable
T, hypervisor/memory: persistent memory: no memory working copy to remove
T, hypervisor/sys: runFunction: 1.func$68(8)
T, hypervisor/sys: runFunction: actor hash: ce455108efe743938d380dd05563a347421381c0
T, hypervisor/sys: runFunction: persisted globals = fromList [...]
T, hypervisor/sys: runFunction: globals refs = [(0,WI32 93),(1,WI32 94)]
T, hypervisor/memory: persistent memory: actor is transient
T, hypervisor/sys: invoking module function func$68
D, hypervisor/V8 creating store
D, hypervisor/V8 stack base at store creation time = 0x00007ffee468b4bc
D, hypervisor/V8 creating instance
D, hypervisor/V8 creating module
D, hypervisor/V8 initializing handle
D, hypervisor/V8 registering cleanup actions
D, hypervisor/V8 module instantiated
D, hypervisor/V8 resolving imports and creating instance
...
D, hypervisor/V8 determining module exports
D, hypervisor/V8 retrieving function exports
D, hypervisor/V8 retrieving global exports
D, hypervisor/V8 setting global 0 to WI32 93
D, hypervisor/V8 setting global 1 to WI32 94
D, hypervisor/V8 > getFunctionByName(name: func$68)
D, hypervisor/V8 > type (i32) -> ()
D, hypervisor/V8 > invoke(args: [WI32 8])
D, hypervisor/V8 stack base at invocation time = 0x00007ffee468b4bc
D, hypervisor/V8 expecting args array of size 1
D, hypervisor/V8 allocating result array of size 0
T, hypervisor/sys: data.length(ref: 93, value: ...
T, hypervisor/sys: data.internalize(dst: 4096, len: 4992, src: 93, offset: 0) = value: ...
T, hypervisor/sys: elem.length(src: 94) = length: 12, value: ...
T, hypervisor/sys: elem.internalize(dst: 0, len: 12, src: 94, offset: 0) = value: ...
D, hypervisor/V8 function call FAILED
D, hypervisor/V8 > globals() = globals: [(0,WI32 93),(1,WI32 94)]
D, hypervisor/V8 maybe deleting wasm_table_t
D, hypervisor/V8 maybe deleting wasm_memory_t
D, hypervisor/V8 deleting exports
D, hypervisor/V8 deleting imports
D, hypervisor/V8 deleting wasm_instance_t
D, hypervisor/V8 deleting wasm_module_t
D, hypervisor/V8 deleting store
W, hypervisor: call failed with trap message: Uncaught RuntimeError: unreachable
T, hypervisor/memory: persistent memory: no memory working copy to remove

@ggreif
Copy link
Contributor Author

ggreif commented Mar 1, 2019

@nomeata the obvious difference is that we now have potentially several dvms running on the same host. Is there a possibility of interference (shared system resources, files, etc.)?

@nomeata
Copy link
Contributor

nomeata commented Mar 2, 2019

@nomeata the obvious difference is that we now have potentially several dvms running on the same host. Is there a possibility of interference (shared system resources, files, etc.)?

I sincerely hope that with different --db parameters, that they would not interfere.

default.nix Outdated
'' +
(if test-dvm then ''
make -C test/run-dfinity VERBOSE=1 ASC=asc quick
make --load-average -j -C test/run-dfinity VERBOSE=1 ASC=asc quick
Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

without this, there was no failure, so there is some kind of crosstalk between VMs :-(

This should be investigated seriously.

@ggreif ggreif marked this pull request as ready for review March 9, 2019 15:57
@ggreif ggreif merged commit 16f26cc into master Mar 9, 2019
dfinity-bot added a commit that referenced this pull request Feb 12, 2021
Branch: master
Commits: [dfinity/candid@25fb8470...6e35c0e2](dfinity/candid@25fb847...6e35c0e)

* [`ea2c72f5`](dfinity/candid@ea2c72f) support reference types ([dfinity/candid⁠#153](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/153))
* [`d48bc04c`](dfinity/candid@d48bc04) fix record_nesting_depth for native Rust types ([dfinity/candid⁠#155](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/155))
* [`e54d3e4a`](dfinity/candid@e54d3e4) support more Rust built-in types ([dfinity/candid⁠#156](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/156))
* [`3b3637e1`](dfinity/candid@3b3637e) release ([dfinity/candid⁠#157](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/157))
* [`98d73586`](dfinity/candid@98d7358) debug print for values ([dfinity/candid⁠#159](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/159))
* [`620ad802`](dfinity/candid@620ad80) fix debug print
* [`01d23d61`](dfinity/candid@01d23d6) Candid test suite: More tests related to references ([dfinity/candid⁠#160](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/160))
* [`c59c2fd1`](dfinity/candid@c59c2fd) release
* [`3ac7e9d3`](dfinity/candid@3ac7e9d) fix type annotation in parser ([dfinity/candid⁠#162](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/162))
* [`432c4289`](dfinity/candid@432c428) A Candid users’s guide ([dfinity/candid⁠#158](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/158))
* [`315cb991`](dfinity/candid@315cb99) Coq: MiniCandid ([dfinity/candid⁠#147](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/147))
* [`83fdff28`](dfinity/candid@83fdff2) Improve wording for type mismatches ([dfinity/candid⁠#167](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/167))
* [`3028f5ed`](dfinity/candid@3028f5e) Lg/candid rev pre split ([dfinity/candid⁠#169](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/169))
* [`6c8d4e39`](dfinity/candid@6c8d4e3) Lg/candid users guide ([dfinity/candid⁠#170](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/170))
* [`0c2205fc`](dfinity/candid@0c2205f) FIx typo toll>tool ([dfinity/candid⁠#172](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/172))
* [`63d9f6fd`](dfinity/candid@63d9f6f) Test suite: A test that invalid unicode in method names is rejected ([dfinity/candid⁠#174](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/174))
* [`dad82102`](dfinity/candid@dad8210) generate random candid values ([dfinity/candid⁠#166](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/166))
* [`2720d995`](dfinity/candid@2720d99) Release ([dfinity/candid⁠#176](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/176))
* [`9fbffdcc`](dfinity/candid@9fbffdc) Meta-Theory: Clarify transitive coherence ([dfinity/candid⁠#173](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/173))
* [`8acbbd47`](dfinity/candid@8acbbd4) Update README.md
* [`05ff9f82`](dfinity/candid@05ff9f8) Fix RUSTSEC-2020-0122 by upgrading logos which upgrades beef ([dfinity/candid⁠#179](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/179))
* [`b65c0859`](dfinity/candid@b65c085) Candid test suite: Method sorting test ([dfinity/candid⁠#177](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/177))
* [`8df6e6c0`](dfinity/candid@8df6e6c) bump ui
* [`1977fdb3`](dfinity/candid@1977fdb) Typescript binding for Candid ([dfinity/candid⁠#181](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/181))
* [`0c988a9a`](dfinity/candid@0c988a9) Lg/rust js type mapping ([dfinity/candid⁠#180](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/180))
* [`b80a2389`](dfinity/candid@b80a238) Doc typo ([dfinity/candid⁠#182](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/182))
* [`b4a73dea`](dfinity/candid@b4a73de) support more Rust types for serialization ([dfinity/candid⁠#185](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/185))
* [`14f50bc6`](dfinity/candid@14f50bc) fix typescript binding for references ([dfinity/candid⁠#184](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/184))
* [`6e35c0e2`](dfinity/candid@6e35c0e) Release ([dfinity/candid⁠#186](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/186))
dfinity-bot added a commit that referenced this pull request Feb 13, 2021
Branch: master
Commits: [dfinity/candid@25fb8470...6e35c0e2](dfinity/candid@25fb847...6e35c0e)

* [`ea2c72f5`](dfinity/candid@ea2c72f) support reference types ([dfinity/candid⁠#153](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/153))
* [`d48bc04c`](dfinity/candid@d48bc04) fix record_nesting_depth for native Rust types ([dfinity/candid⁠#155](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/155))
* [`e54d3e4a`](dfinity/candid@e54d3e4) support more Rust built-in types ([dfinity/candid⁠#156](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/156))
* [`3b3637e1`](dfinity/candid@3b3637e) release ([dfinity/candid⁠#157](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/157))
* [`98d73586`](dfinity/candid@98d7358) debug print for values ([dfinity/candid⁠#159](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/159))
* [`620ad802`](dfinity/candid@620ad80) fix debug print
* [`01d23d61`](dfinity/candid@01d23d6) Candid test suite: More tests related to references ([dfinity/candid⁠#160](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/160))
* [`c59c2fd1`](dfinity/candid@c59c2fd) release
* [`3ac7e9d3`](dfinity/candid@3ac7e9d) fix type annotation in parser ([dfinity/candid⁠#162](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/162))
* [`432c4289`](dfinity/candid@432c428) A Candid users’s guide ([dfinity/candid⁠#158](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/158))
* [`315cb991`](dfinity/candid@315cb99) Coq: MiniCandid ([dfinity/candid⁠#147](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/147))
* [`83fdff28`](dfinity/candid@83fdff2) Improve wording for type mismatches ([dfinity/candid⁠#167](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/167))
* [`3028f5ed`](dfinity/candid@3028f5e) Lg/candid rev pre split ([dfinity/candid⁠#169](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/169))
* [`6c8d4e39`](dfinity/candid@6c8d4e3) Lg/candid users guide ([dfinity/candid⁠#170](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/170))
* [`0c2205fc`](dfinity/candid@0c2205f) FIx typo toll>tool ([dfinity/candid⁠#172](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/172))
* [`63d9f6fd`](dfinity/candid@63d9f6f) Test suite: A test that invalid unicode in method names is rejected ([dfinity/candid⁠#174](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/174))
* [`dad82102`](dfinity/candid@dad8210) generate random candid values ([dfinity/candid⁠#166](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/166))
* [`2720d995`](dfinity/candid@2720d99) Release ([dfinity/candid⁠#176](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/176))
* [`9fbffdcc`](dfinity/candid@9fbffdc) Meta-Theory: Clarify transitive coherence ([dfinity/candid⁠#173](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/173))
* [`8acbbd47`](dfinity/candid@8acbbd4) Update README.md
* [`05ff9f82`](dfinity/candid@05ff9f8) Fix RUSTSEC-2020-0122 by upgrading logos which upgrades beef ([dfinity/candid⁠#179](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/179))
* [`b65c0859`](dfinity/candid@b65c085) Candid test suite: Method sorting test ([dfinity/candid⁠#177](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/177))
* [`8df6e6c0`](dfinity/candid@8df6e6c) bump ui
* [`1977fdb3`](dfinity/candid@1977fdb) Typescript binding for Candid ([dfinity/candid⁠#181](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/181))
* [`0c988a9a`](dfinity/candid@0c988a9) Lg/rust js type mapping ([dfinity/candid⁠#180](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/180))
* [`b80a2389`](dfinity/candid@b80a238) Doc typo ([dfinity/candid⁠#182](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/182))
* [`b4a73dea`](dfinity/candid@b4a73de) support more Rust types for serialization ([dfinity/candid⁠#185](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/185))
* [`14f50bc6`](dfinity/candid@14f50bc) fix typescript binding for references ([dfinity/candid⁠#184](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/184))
* [`6e35c0e2`](dfinity/candid@6e35c0e) Release ([dfinity/candid⁠#186](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/186))
dfinity-bot added a commit that referenced this pull request Feb 16, 2021
Branch: master
Commits: [dfinity/candid@25fb8470...6e35c0e2](dfinity/candid@25fb847...6e35c0e)

* [`ea2c72f5`](dfinity/candid@ea2c72f) support reference types ([dfinity/candid⁠#153](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/153))
* [`d48bc04c`](dfinity/candid@d48bc04) fix record_nesting_depth for native Rust types ([dfinity/candid⁠#155](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/155))
* [`e54d3e4a`](dfinity/candid@e54d3e4) support more Rust built-in types ([dfinity/candid⁠#156](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/156))
* [`3b3637e1`](dfinity/candid@3b3637e) release ([dfinity/candid⁠#157](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/157))
* [`98d73586`](dfinity/candid@98d7358) debug print for values ([dfinity/candid⁠#159](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/159))
* [`620ad802`](dfinity/candid@620ad80) fix debug print
* [`01d23d61`](dfinity/candid@01d23d6) Candid test suite: More tests related to references ([dfinity/candid⁠#160](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/160))
* [`c59c2fd1`](dfinity/candid@c59c2fd) release
* [`3ac7e9d3`](dfinity/candid@3ac7e9d) fix type annotation in parser ([dfinity/candid⁠#162](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/162))
* [`432c4289`](dfinity/candid@432c428) A Candid users’s guide ([dfinity/candid⁠#158](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/158))
* [`315cb991`](dfinity/candid@315cb99) Coq: MiniCandid ([dfinity/candid⁠#147](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/147))
* [`83fdff28`](dfinity/candid@83fdff2) Improve wording for type mismatches ([dfinity/candid⁠#167](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/167))
* [`3028f5ed`](dfinity/candid@3028f5e) Lg/candid rev pre split ([dfinity/candid⁠#169](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/169))
* [`6c8d4e39`](dfinity/candid@6c8d4e3) Lg/candid users guide ([dfinity/candid⁠#170](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/170))
* [`0c2205fc`](dfinity/candid@0c2205f) FIx typo toll>tool ([dfinity/candid⁠#172](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/172))
* [`63d9f6fd`](dfinity/candid@63d9f6f) Test suite: A test that invalid unicode in method names is rejected ([dfinity/candid⁠#174](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/174))
* [`dad82102`](dfinity/candid@dad8210) generate random candid values ([dfinity/candid⁠#166](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/166))
* [`2720d995`](dfinity/candid@2720d99) Release ([dfinity/candid⁠#176](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/176))
* [`9fbffdcc`](dfinity/candid@9fbffdc) Meta-Theory: Clarify transitive coherence ([dfinity/candid⁠#173](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/173))
* [`8acbbd47`](dfinity/candid@8acbbd4) Update README.md
* [`05ff9f82`](dfinity/candid@05ff9f8) Fix RUSTSEC-2020-0122 by upgrading logos which upgrades beef ([dfinity/candid⁠#179](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/179))
* [`b65c0859`](dfinity/candid@b65c085) Candid test suite: Method sorting test ([dfinity/candid⁠#177](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/177))
* [`8df6e6c0`](dfinity/candid@8df6e6c) bump ui
* [`1977fdb3`](dfinity/candid@1977fdb) Typescript binding for Candid ([dfinity/candid⁠#181](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/181))
* [`0c988a9a`](dfinity/candid@0c988a9) Lg/rust js type mapping ([dfinity/candid⁠#180](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/180))
* [`b80a2389`](dfinity/candid@b80a238) Doc typo ([dfinity/candid⁠#182](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/182))
* [`b4a73dea`](dfinity/candid@b4a73de) support more Rust types for serialization ([dfinity/candid⁠#185](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/185))
* [`14f50bc6`](dfinity/candid@14f50bc) fix typescript binding for references ([dfinity/candid⁠#184](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/184))
* [`6e35c0e2`](dfinity/candid@6e35c0e) Release ([dfinity/candid⁠#186](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/186))
dfinity-bot added a commit that referenced this pull request Feb 17, 2021
Branch: master
Commits: [dfinity/candid@25fb8470...322ea4a2](dfinity/candid@25fb847...322ea4a)

* [`ea2c72f5`](dfinity/candid@ea2c72f) support reference types ([dfinity/candid⁠#153](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/153))
* [`d48bc04c`](dfinity/candid@d48bc04) fix record_nesting_depth for native Rust types ([dfinity/candid⁠#155](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/155))
* [`e54d3e4a`](dfinity/candid@e54d3e4) support more Rust built-in types ([dfinity/candid⁠#156](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/156))
* [`3b3637e1`](dfinity/candid@3b3637e) release ([dfinity/candid⁠#157](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/157))
* [`98d73586`](dfinity/candid@98d7358) debug print for values ([dfinity/candid⁠#159](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/159))
* [`620ad802`](dfinity/candid@620ad80) fix debug print
* [`01d23d61`](dfinity/candid@01d23d6) Candid test suite: More tests related to references ([dfinity/candid⁠#160](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/160))
* [`c59c2fd1`](dfinity/candid@c59c2fd) release
* [`3ac7e9d3`](dfinity/candid@3ac7e9d) fix type annotation in parser ([dfinity/candid⁠#162](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/162))
* [`432c4289`](dfinity/candid@432c428) A Candid users’s guide ([dfinity/candid⁠#158](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/158))
* [`315cb991`](dfinity/candid@315cb99) Coq: MiniCandid ([dfinity/candid⁠#147](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/147))
* [`83fdff28`](dfinity/candid@83fdff2) Improve wording for type mismatches ([dfinity/candid⁠#167](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/167))
* [`3028f5ed`](dfinity/candid@3028f5e) Lg/candid rev pre split ([dfinity/candid⁠#169](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/169))
* [`6c8d4e39`](dfinity/candid@6c8d4e3) Lg/candid users guide ([dfinity/candid⁠#170](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/170))
* [`0c2205fc`](dfinity/candid@0c2205f) FIx typo toll>tool ([dfinity/candid⁠#172](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/172))
* [`63d9f6fd`](dfinity/candid@63d9f6f) Test suite: A test that invalid unicode in method names is rejected ([dfinity/candid⁠#174](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/174))
* [`dad82102`](dfinity/candid@dad8210) generate random candid values ([dfinity/candid⁠#166](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/166))
* [`2720d995`](dfinity/candid@2720d99) Release ([dfinity/candid⁠#176](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/176))
* [`9fbffdcc`](dfinity/candid@9fbffdc) Meta-Theory: Clarify transitive coherence ([dfinity/candid⁠#173](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/173))
* [`8acbbd47`](dfinity/candid@8acbbd4) Update README.md
* [`05ff9f82`](dfinity/candid@05ff9f8) Fix RUSTSEC-2020-0122 by upgrading logos which upgrades beef ([dfinity/candid⁠#179](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/179))
* [`b65c0859`](dfinity/candid@b65c085) Candid test suite: Method sorting test ([dfinity/candid⁠#177](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/177))
* [`8df6e6c0`](dfinity/candid@8df6e6c) bump ui
* [`1977fdb3`](dfinity/candid@1977fdb) Typescript binding for Candid ([dfinity/candid⁠#181](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/181))
* [`0c988a9a`](dfinity/candid@0c988a9) Lg/rust js type mapping ([dfinity/candid⁠#180](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/180))
* [`b80a2389`](dfinity/candid@b80a238) Doc typo ([dfinity/candid⁠#182](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/182))
* [`b4a73dea`](dfinity/candid@b4a73de) support more Rust types for serialization ([dfinity/candid⁠#185](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/185))
* [`14f50bc6`](dfinity/candid@14f50bc) fix typescript binding for references ([dfinity/candid⁠#184](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/184))
* [`6e35c0e2`](dfinity/candid@6e35c0e) Release ([dfinity/candid⁠#186](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/186))
* [`05df9eb3`](dfinity/candid@05df9eb) Candid users guide: Linebreak example pretty printing ([dfinity/candid⁠#188](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/188))
* [`322ea4a2`](dfinity/candid@322ea4a) [rust] Fix reserved subtyping
dfinity-bot added a commit that referenced this pull request Feb 18, 2021
## Changelog for candid:
Branch: master
Commits: [dfinity/candid@0c2205fc...322ea4a2](dfinity/candid@0c2205f...322ea4a)

* [`63d9f6fd`](dfinity/candid@63d9f6f) Test suite: A test that invalid unicode in method names is rejected ([dfinity/candid⁠#174](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/174))
* [`dad82102`](dfinity/candid@dad8210) generate random candid values ([dfinity/candid⁠#166](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/166))
* [`2720d995`](dfinity/candid@2720d99) Release ([dfinity/candid⁠#176](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/176))
* [`9fbffdcc`](dfinity/candid@9fbffdc) Meta-Theory: Clarify transitive coherence ([dfinity/candid⁠#173](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/173))
* [`8acbbd47`](dfinity/candid@8acbbd4) Update README.md
* [`05ff9f82`](dfinity/candid@05ff9f8) Fix RUSTSEC-2020-0122 by upgrading logos which upgrades beef ([dfinity/candid⁠#179](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/179))
* [`b65c0859`](dfinity/candid@b65c085) Candid test suite: Method sorting test ([dfinity/candid⁠#177](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/177))
* [`8df6e6c0`](dfinity/candid@8df6e6c) bump ui
* [`1977fdb3`](dfinity/candid@1977fdb) Typescript binding for Candid ([dfinity/candid⁠#181](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/181))
* [`0c988a9a`](dfinity/candid@0c988a9) Lg/rust js type mapping ([dfinity/candid⁠#180](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/180))
* [`b80a2389`](dfinity/candid@b80a238) Doc typo ([dfinity/candid⁠#182](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/182))
* [`b4a73dea`](dfinity/candid@b4a73de) support more Rust types for serialization ([dfinity/candid⁠#185](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/185))
* [`14f50bc6`](dfinity/candid@14f50bc) fix typescript binding for references ([dfinity/candid⁠#184](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/184))
* [`6e35c0e2`](dfinity/candid@6e35c0e) Release ([dfinity/candid⁠#186](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/186))
* [`05df9eb3`](dfinity/candid@05df9eb) Candid users guide: Linebreak example pretty printing ([dfinity/candid⁠#188](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/188))
* [`322ea4a2`](dfinity/candid@322ea4a) [rust] Fix reserved subtyping
mergify bot pushed a commit that referenced this pull request Feb 18, 2021
## Changelog for candid:
Branch: master
Commits: [dfinity/candid@0c2205fc...322ea4a2](dfinity/candid@0c2205f...322ea4a)

* [`63d9f6fd`](dfinity/candid@63d9f6f) Test suite: A test that invalid unicode in method names is rejected ([dfinity/candid⁠#174](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/174))
* [`dad82102`](dfinity/candid@dad8210) generate random candid values ([dfinity/candid⁠#166](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/166))
* [`2720d995`](dfinity/candid@2720d99) Release ([dfinity/candid⁠#176](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/176))
* [`9fbffdcc`](dfinity/candid@9fbffdc) Meta-Theory: Clarify transitive coherence ([dfinity/candid⁠#173](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/173))
* [`8acbbd47`](dfinity/candid@8acbbd4) Update README.md
* [`05ff9f82`](dfinity/candid@05ff9f8) Fix RUSTSEC-2020-0122 by upgrading logos which upgrades beef ([dfinity/candid⁠#179](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/179))
* [`b65c0859`](dfinity/candid@b65c085) Candid test suite: Method sorting test ([dfinity/candid⁠#177](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/177))
* [`8df6e6c0`](dfinity/candid@8df6e6c) bump ui
* [`1977fdb3`](dfinity/candid@1977fdb) Typescript binding for Candid ([dfinity/candid⁠#181](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/181))
* [`0c988a9a`](dfinity/candid@0c988a9) Lg/rust js type mapping ([dfinity/candid⁠#180](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/180))
* [`b80a2389`](dfinity/candid@b80a238) Doc typo ([dfinity/candid⁠#182](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/182))
* [`b4a73dea`](dfinity/candid@b4a73de) support more Rust types for serialization ([dfinity/candid⁠#185](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/185))
* [`14f50bc6`](dfinity/candid@14f50bc) fix typescript binding for references ([dfinity/candid⁠#184](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/184))
* [`6e35c0e2`](dfinity/candid@6e35c0e) Release ([dfinity/candid⁠#186](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/186))
* [`05df9eb3`](dfinity/candid@05df9eb) Candid users guide: Linebreak example pretty printing ([dfinity/candid⁠#188](http://r.duckduckgo.com/l/?uddg=https://github.com/dfinity/candid/issues/188))
* [`322ea4a2`](dfinity/candid@322ea4a) [rust] Fix reserved subtyping
dfinity-bot added a commit that referenced this pull request Jun 14, 2023
## Changelog for ic-hs:
Branch: master
Commits: [dfinity/ic-hs@9152a0ff...189b3a3c](dfinity/ic-hs@9152a0f...189b3a3)

* [`c88bb6c7`](dfinity/ic-hs@c88bb6c) trim long blobs in json debug state ([dfinity/ic-hs⁠#192](https://github.com/dfinity/ic-hs/issues/192))
* [`189b3a3c`](dfinity/ic-hs@189b3a3) implement IC-1462 ([dfinity/ic-hs⁠#186](https://github.com/dfinity/ic-hs/issues/186))
dfinity-bot added a commit that referenced this pull request Jun 15, 2023
## Changelog for ic-hs:
Branch: master
Commits: [dfinity/ic-hs@9152a0ff...46287711](dfinity/ic-hs@9152a0f...4628771)

* [`c88bb6c7`](dfinity/ic-hs@c88bb6c) trim long blobs in json debug state ([dfinity/ic-hs⁠#192](https://github.com/dfinity/ic-hs/issues/192))
* [`189b3a3c`](dfinity/ic-hs@189b3a3) implement IC-1462 ([dfinity/ic-hs⁠#186](https://github.com/dfinity/ic-hs/issues/186))
* [`46287711`](dfinity/ic-hs@4628771) bump canister version upon successful message execution and tighten tests ([dfinity/ic-hs⁠#187](https://github.com/dfinity/ic-hs/issues/187))
mergify bot pushed a commit that referenced this pull request Jun 15, 2023
## Changelog for ic-hs:
Branch: master
Commits: [dfinity/ic-hs@9152a0ff...46287711](dfinity/ic-hs@9152a0f...4628771)

* [`c88bb6c7`](dfinity/ic-hs@c88bb6c) trim long blobs in json debug state ([dfinity/ic-hs⁠#192](https://github.com/dfinity/ic-hs/issues/192))
* [`189b3a3c`](dfinity/ic-hs@189b3a3) implement IC-1462 ([dfinity/ic-hs⁠#186](https://github.com/dfinity/ic-hs/issues/186))
* [`46287711`](dfinity/ic-hs@4628771) bump canister version upon successful message execution and tighten tests ([dfinity/ic-hs⁠#187](https://github.com/dfinity/ic-hs/issues/187))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants