CSY/reowolf Changelog /src/protocol/eval.rs · Centrum Wiskunde & Informatica (CWI)

Changelog - /src/protocol/eval.rs @ 03af3095927d - showing 36 out of 36 revisions

MH	03af3095927d	4 years ago	remove (de)serialization of AST for now
MH	6929a6091ed6	4 years ago	start on binding expressions
MH	706db38f2849	4 years ago	Preparatory work for union literals Preparatory work for union literals Contains horrible parsing hacks that transmute function calls and enum literals to union literals if appropriate. Pending the implementation of the tokenizer the AST can be constructed more neatly.
MH	f7c20c8ac012	4 years ago	WIP on enum inference and monomorph testing
MH	0bc4606e3920	4 years ago	WIP on struct literal type inference
MH	aaeaf5986496	4 years ago	some refactoring of comma-separated lexing, basic initial lexing tests, WIP on struct literals
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	6938bcacc41e	4 years ago	turn put stmt into call expr, make compiling great again
MH	fdaf709bf0ca	4 years ago	reimplemented type table to somewhat support polymorphism
MH	ca97483c6ec7	4 years ago	rewritten parser to use symbol/type table
MH	6717437470eb	4 years ago	WIP on bugfixing new visitor
mh	33ea10021de4	4 years ago	refactored identifiers, initial symbol table implementation
mh	814be01095d9	4 years ago	implement module/version pragma, WIP on visitor rewrite
Christopher Esterhuyse	c2b16314e873	5 years ago	cleanup of unused code
Christopher Esterhuyse	7419ad308a55	5 years ago	more benchmarking cases. clearer PDL eval errors
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	330b9c117fa5	5 years ago	started refactor (safe state). goals: clarify ownership. make cu immutable while round is fallable. distinguish routing from ownership
Christopher Esterhuyse	b826e300c566	5 years ago	cleaned up warnings
Christopher Esterhuyse	4c9116f4253b	5 years ago	misc visibility and field cleanup
Christopher Esterhuyse	175721d796d7	5 years ago	Included more fields in session optimization
Christopher Esterhuyse	44a98be4e4b4	5 years ago	beginning large overhaul: moving to globally-unique ports & port -> endpoint route mappings
Christopher Esterhuyse	b8c262d37323	5 years ago	component states now implement deserialize
Christopher Esterhuyse	3f236d37dad1	5 years ago	pulled out arena-id dependency in favour of custom (minimal) impl, and to finish making component states serializable with serde
Christopher Esterhuyse	dedf89df1602	5 years ago	retiring `Endpoint Key` term in favor of port
Christopher Esterhuyse	02eb59c6fd66	5 years ago	introduced new Payload type
Christopher Esterhuyse	0a71d0af9edf	5 years ago	histories
Christopher Esterhuyse	800041f16514	5 years ago	playing around with new predicate=>state,payload storages. toward faster querying but also toward deviation detection by way of intelligible error handling
Hans-Dieter Hiep	05c5f19eb371	5 years ago	Implements logical and/or and message equality
Hans-Dieter Hiep	ac7f49602455	5 years ago	Implements array access in evaluator
Hans-Dieter Hiep	f2dca476327a	5 years ago	Fixes fall-through component definition error
Hans-Dieter Hiep	5e11ebce9bc0	5 years ago	Evaluator new_component and new_channel implemented
Christopher Esterhuyse	a226385adc2d	5 years ago	natives working
Christopher Esterhuyse	06f259bf8031	5 years ago	first