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 |