nitlanguage.org >> Repos - nit.git/search

2019-10-01	Florian Deljarry	contracts: fix usage of contract with `--erasure` Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-09-30	Florian Deljarry	tests: Add tests for generic and virtual types Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-09-30	Florian Deljarry	src/contracts: Fix contracts on virtual and generic... Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-09-26	Florian Deljarry	src/toolcontext: Provide contract options Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-09-26	Florian Deljarry	share/man/nitc: Adding the man explication to disable... Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-09-26	Florian Deljarry	contracts: Adding all contract generation mechanism Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-09-25	Florian Deljarry	tests: adding contract testing files Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-08-28	Florian Deljarry	check_annotation: adding no_contract Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-08-28	Florian Deljarry	check_annotation: Adding ensures annotation Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-08-28	Florian Deljarry	check_annotation: Adding expects annotation Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-08-28	Florian Deljarry	code_gen: Adding contracts phase Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-08-28	Florian Deljarry	scope: Adding variable verification Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-08-28	Florian Deljarry	modelize_property: Adding unsafe method to register... Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2019-02-27	Florian Deljarry	Moving the astvalidation module in astbuilder Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2017-08-02	Florian Deljarry	Nitsmell : Adding new code smells and print console... Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree
2017-06-06	Florian Deljarry	Adding code smell detection : Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>	commit \| commitdiff \| tree

Nit language project; an oo programing language and its tool suite.

RSS Atom