CSY/reowolf Changelog /src/runtime/tests.rs · Centrum Wiskunde & Informatica (CWI)

Changelog - /src/runtime/tests.rs @ 2982ea49738a - showing 49 out of 49 revisions

MH	2982ea49738a	4 years ago	rename 'synchronous' statement to 'sync' feat-api-cmds-and-branching
MH	ce77f83608df	4 years ago	Integrate with old runtime, pending some tiny fixes
MH	b69f417a9972	4 years ago	implement EvalError, slicing expression
MH	d8148185e205	4 years ago	finished initial type inferencer/checker, tests work again
MH	6f859c43213c	4 years ago	initial debugging of type inference
MH	6ec2e0261a03	4 years ago	debugging type inference
MH	72ffb92a766c	4 years ago	temporarily remove type resolver from modules
MH	a22ee3898fc1	4 years ago	make tests great again
MH	ca97483c6ec7	4 years ago	rewritten parser to use symbol/type table
MH	6717437470eb	4 years ago	WIP on bugfixing new visitor
Christopher Esterhuyse	6a7d3acfcb5e	5 years ago	logging feature exposed for ease of use
Christopher Esterhuyse	966ebed86908	5 years ago	simplified the cyclic drainer because it was unnecessarily complex. added a unit test. added some future-proofing for corner case protocols
Christopher Esterhuyse	498c402affb3	5 years ago	ignoring fallable UDP tests by default
Christopher Esterhuyse	b972060a1f92	5 years ago	more optimization-stage benchmarking examples
Christopher Esterhuyse	d5c0b4fdc19b	5 years ago	more robust test dir creation
Christopher Esterhuyse	4bfd6d133687	5 years ago	more unit tests. minor bugfixes in protocol/eval
Christopher Esterhuyse	d76b1fe2648f	5 years ago	mild cleanup and major fleshing out of doc comments
Christopher Esterhuyse	a5c3b27c535e	5 years ago	shortened names
Christopher Esterhuyse	eb8a579782ef	5 years ago	xrouter2 unit test added
Christopher Esterhuyse	f11006c1092d	5 years ago	sequencer 3 primitive and composite unit tests added
Christopher Esterhuyse	330b9c117fa5	5 years ago	started refactor (safe state). goals: clarify ownership. make cu immutable while round is fallable. distinguish routing from ownership
Christopher Esterhuyse	ef64fd0cdb07	5 years ago	correctly merging protocol component branches: forks that create existing predicates MERGE the results, combining their inboxes s.t. there is no race condition on the order of received messages
Christopher Esterhuyse	8278ae29364e	5 years ago	adopt Reo's naming conventions for canonical protocols, e.g., replicator2
Christopher Esterhuyse	391565779bfa	5 years ago	fifo full test
Christopher Esterhuyse	1db6ec21a437	5 years ago	more elegant on-demand native branch indexing with a speculative var
Christopher Esterhuyse	700221108e9f	5 years ago	socket api relaxed. bind and connect in any order. bind once and connect any number of times
Christopher Esterhuyse	ba016c86a2ac	5 years ago	extra tests and cleanup
Christopher Esterhuyse	6c04a99de862	5 years ago	fleshed out socket api. did bugfix: proto components remember whether they did put/get
Christopher Esterhuyse	7f75e1f23836	5 years ago	bugfix: regression from previous vers: proto components correctly enforce that each of their ports' firing variables are assigned FIRING iff that port put or get during the round
Christopher Esterhuyse	a3c92705eeee	5 years ago	bugfix: native component branch forks that clash are MERGED rather than overwritten. Avoids race condition where (1) branch x ends and submits a solution, (2) branch y is created, has same predicate as x and overwrites it, but has a subset of its messages, (3) round ends in success but branch x is gone, so no suitable native branch is found
Christopher Esterhuyse	bdcf814bde8c	5 years ago	first step toward socket-mimicking FFI
Christopher Esterhuyse	fd68eb8aabd0	5 years ago	bidirectional udp endpoints in
Christopher Esterhuyse	0131beae03dc	5 years ago	udp sending and receiving
Christopher Esterhuyse	cf50a74eafd7	5 years ago	setup of udp endpoints partially done
Christopher Esterhuyse	ada07cee1f99	5 years ago	refactored the endpoint manager to support sending and receiving of messages. moved some behavior from src/runtime/communication to src/runtime/endpoints
Christopher Esterhuyse	d23010006486	5 years ago	bugfix: increment round index on recovery to avoid mixing messages once we switch away from tcp. refactoring communication internals to simplify bookkeeping structures. more consts in tests to make them terser
Christopher Esterhuyse	869d51fc1127	5 years ago	refactored predicate methods to be more intuitive
Christopher Esterhuyse	07b6791e8eb0	5 years ago	bumped up bincode dependency version. using varint decoding everywhere to shrink msg lengths
Christopher Esterhuyse	d9774c9084d7	5 years ago	more logging, testing, examples and bugfixes: (1) components remember whether they have submitted a solution; only those are considered when selecting a branch at the end of a round, (2) retrying active connections during setup phase were using the wrong index for looking up their TODO structure, (3) recently failed connections are deregistered from mio and reregistered after the retry process restarts s.t. they don't produce a storm of mio events
Christopher Esterhuyse	aebcee16d6bc	5 years ago	fixed cyclic routing bug. Was actually a one-liner
Christopher Esterhuyse	a6f53f74e58c	5 years ago	fixed bug: failed to restore !sync_batches.is_empty() invariant when the native is immediately inconsistent
Christopher Esterhuyse	63f3efc9c886	5 years ago	more logging, tests and comments. re-implemented checking for consistency for natives (eagerly) and proto components (after run_to_blocker). deduplicated each connector's failure requests toward the sink
Christopher Esterhuyse	b20c3a55156d	5 years ago	dummy scatter/gather wave in
Christopher Esterhuyse	41bf21c39c5b	5 years ago	better testing and logging
Christopher Esterhuyse	65390fb1cdbc	5 years ago	bugfixing and rewrote dist algs to be more readable
Christopher Esterhuyse	d1a70dfdafba	5 years ago	more robust error handling
Christopher Esterhuyse	e7b7d53e6952	5 years ago	more tests
Christopher Esterhuyse	a3ca8e491622	5 years ago	introduced cyclic drain. working on proto comm phase
Christopher Esterhuyse	a34c55297ac2	5 years ago	native -> native messaging working