nitlanguage / nit.git / search
| 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 |