git.xn--bdkaa.com Git - jolie.agda.git/shortlog

]> git.xn--bdkaa.com Git - jolie.agda.git/shortlog

2017-02-22	Eugene Akentyev	Add type preservation cases master	commit \| commitdiff \| tree \| snapshot
2017-01-26	Eugene Akentyev	Cosmetic changes	commit \| commitdiff \| tree \| snapshot
2017-01-26	Eugene Akentyev	Rename file and add remaining rules	commit \| commitdiff \| tree \| snapshot
2017-01-26	Eugene Akentyev	Add semantics rules for behavioural layer.	commit \| commitdiff \| tree \| snapshot
2017-01-19	Eugene Akentyev	Update typing rules for network and service layers.	commit \| commitdiff \| tree \| snapshot
2017-01-19	Eugene Akentyev	Replace context's constructors and add new theorems.	commit \| commitdiff \| tree \| snapshot
2017-01-19	Eugene Akentyev	Edit expr	commit \| commitdiff \| tree \| snapshot
2017-01-18	Eugene Akentyev	Update struct theorems and typing rules for network...	commit \| commitdiff \| tree \| snapshot
2017-01-18	Eugene Akentyev	Add typing rules for cases with disjoint union	commit \| commitdiff \| tree \| snapshot
2017-01-18	Eugene Akentyev	Make contexts great again	commit \| commitdiff \| tree \| snapshot
2017-01-18	Eugene Akentyev	Expand behaviour's typing rules. Add network and servic...	commit \| commitdiff \| tree \| snapshot
2017-01-16	Eugene Akentyev	Add t-bsl-choice	commit \| commitdiff \| tree \| snapshot
2017-01-16	Eugene Akentyev	Rename side effect. Add comments.	commit \| commitdiff \| tree \| snapshot
2017-01-08	Eugene Akentyev	Added t-mutate	commit \| commitdiff \| tree \| snapshot
2017-01-08	Eugene Akentyev	Added typingnetwork	commit \| commitdiff \| tree \| snapshot
2017-01-08	Eugene Akentyev	Change to unicode syntax for behaviour	commit \| commitdiff \| tree \| snapshot
2017-01-07	Eugene Akentyev	Clean up	commit \| commitdiff \| tree \| snapshot
2017-01-02	Eugene Akentyev	Added disjoint union	commit \| commitdiff \| tree \| snapshot
2016-12-28	Eugene Akentyev	Add typing service.	commit \| commitdiff \| tree \| snapshot
2016-12-27	Eugene Akentyev	Rename typecheck to typingbehaviour	commit \| commitdiff \| tree \| snapshot
2016-12-27	Eugene Akentyev	Update type rules of behaviour layer.	commit \| commitdiff \| tree \| snapshot
2016-12-20	Eugene Akentyev	Change direction to theorems. Add t-wait and t-exec.	commit \| commitdiff \| tree \| snapshot
2016-12-19	Eugene Akentyev	...	commit \| commitdiff \| tree \| snapshot
2016-12-17	Eugene Akentyev	Add t-choice case.	commit \| commitdiff \| tree \| snapshot
2016-12-15	Eugene Akentyev	in work	commit \| commitdiff \| tree \| snapshot
2016-12-08	Eugene Akentyev	Add context equality	commit \| commitdiff \| tree \| snapshot
2016-12-08	Eugene Akentyev	Replace lemmas with lambdas	commit \| commitdiff \| tree \| snapshot
2016-12-08	Eugene Akentyev	Add 'if case' to check-B	commit \| commitdiff \| tree \| snapshot
2016-12-07	Eugene Akentyev	Inline substCtx	commit \| commitdiff \| tree \| snapshot
2016-12-07	Eugene Akentyev	Fix equality of contexts	commit \| commitdiff \| tree \| snapshot
2016-12-07	Eugene Akentyev	Merge pull request #1 from ak3n/in_types	commit \| commitdiff \| tree \| snapshot
2016-12-07	Eugene Akentyev	Update service	commit \| commitdiff \| tree \| snapshot
2016-12-03	Eugene Akentyev	Simplified variables and finished typing rules for...	commit \| commitdiff \| tree \| snapshot
2016-11-08	Eugene Akentyev	Add t-assign-new	commit \| commitdiff \| tree \| snapshot
2016-11-05	Eugene Akentyev	Add condition for t-par	commit \| commitdiff \| tree \| snapshot
2016-11-05	Eugene Akentyev	Add t-notification	commit \| commitdiff \| tree \| snapshot
2016-11-05	Eugene Akentyev	Express typing rules in types	commit \| commitdiff \| tree \| snapshot
2016-11-04	Eugene Akentyev	TypeTree yes case	commit \| commitdiff \| tree \| snapshot
2016-11-02	Eugene Akentyev	First steps with Equality	commit \| commitdiff \| tree \| snapshot
2016-11-01	Eugene Akentyev	Add type_of_value and type_of_var. Remove maybe from...	commit \| commitdiff \| tree \| snapshot
2016-11-01	Eugene Akentyev	Add check type for behaviour	commit \| commitdiff \| tree \| snapshot
2016-10-27	Eugene Akentyev	Fix binary expr	commit \| commitdiff \| tree \| snapshot
2016-10-25	Eugene Akentyev	Add Network, Queue and Service.	commit \| commitdiff \| tree \| snapshot
2016-10-22	Eugene Akentyev	Add one possible variant	commit \| commitdiff \| tree \| snapshot
2016-10-21	Eugene Akentyev	Create README.md	commit \| commitdiff \| tree \| snapshot
2016-10-21	Eugene Akentyev	init	commit \| commitdiff \| tree \| snapshot
2016-10-21	Eugene Akentyev	Initial commit	commit \| commitdiff \| tree \| snapshot

An attempt to formalize Jolie's type system in Agda

RSS Atom