nitlanguage
/
nit.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
contracts: change the contract syntax
2019-10-09
Florian Deljarry
contracts: change the contract syntax
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-10-09
Florian Deljarry
contracts: Change mpropdef driving
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-10-09
Florian Deljarry
tests: Add contract test with static
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
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-09-11
Florian Deljarry
tests: Add test_astbuilder to the skip list of nitcg...
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-09-11
Florian Deljarry
test_astbuilder: Add a testing tool for the astbuilder
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-09-11
Florian Deljarry
astbuilder: First implementation of clonable for ast...
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-08-28
Florian Deljarry
nitweb: Update to use packages importation graph
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-28
Florian Deljarry
nitdoc: Update to use packages importation graph
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-28
Florian Deljarry
test_commands_catalog: Update to use packages importation...
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-27
Florian Deljarry
doc/static_structure: Update package importation graph
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-27
Florian Deljarry
nitx: Remove the construction of packages importation...
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-27
Florian Deljarry
nitcatalog: Update to use the package graph
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-27
Florian Deljarry
catalog: Update to use the package graph
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-27
Florian Deljarry
digraph: Add feature to get all successors and predecessors
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-27
Florian Deljarry
mmodule: Added support of package importation
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-27
Florian Deljarry
mpackage: Add `mpackage` importation graph
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-22
Florian Deljarry
digraph: Implementation of a reflexive directed graph
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-22
Florian Deljarry
abstract_text: Refactorisation of the to_s method
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-22
Florian Deljarry
abstract_text: Add the `to_sci` to get the string representa...
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-13
Florian Deljarry
text/abstract_text: Adds the float conversion in exponential...
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-13
Florian Deljarry
astbuilder: Add a `create_callsite` method
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-13
Florian Deljarry
astbuilder: Make the construction of the `AMethPropdef...
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-08-12
Florian Deljarry
abstract_compiler: Replace the use of `n_float` by...
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-07-12
Florian Deljarry
typing: get_method refactoring
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-05-28
Florian Deljarry
lib/core/bytes: Adding a redef of has method
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-05-27
Florian Deljarry
concurrent_collections: Adding implementation of has...
Signed-off-by:
Florian Deljarry
<deljarry.florian@gmail.com>
commit
|
commitdiff
|
tree
2019-05-07
Florian Deljarry
astbuilder: Adding new nodes makers(assert, method...
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