nitlanguage / nit.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
contracts: change the contract syntax
2019-10-09 Florian Deljarrycontracts: change the contract syntax
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-10-09 Florian Deljarrycontracts: Change mpropdef driving
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-10-09 Florian Deljarrytests: Add contract test with static
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-10-01 Florian Deljarrycontracts: fix usage of contract with `--erasure`
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-09-30 Florian Deljarrytests: Add tests for generic and virtual types
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-09-30 Florian Deljarrysrc/contracts: Fix contracts on virtual and generic...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-09-26 Florian Deljarrysrc/toolcontext: Provide contract options
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-09-26 Florian Deljarryshare/man/nitc: Adding the man explication to disable...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-09-26 Florian Deljarrycontracts: Adding all contract generation mechanism
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-09-25 Florian Deljarrytests: adding contract testing files
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-09-11 Florian Deljarrytests: 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 Deljarrytest_astbuilder: Add a testing tool for the astbuilder
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-09-11 Florian Deljarryastbuilder: First implementation of clonable for ast...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-28 Florian Deljarrycheck_annotation: adding no_contract
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-28 Florian Deljarrycheck_annotation: Adding ensures annotation
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-28 Florian Deljarrycheck_annotation: Adding expects annotation
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-28 Florian Deljarrycode_gen: Adding contracts phase
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-28 Florian Deljarryscope: Adding variable verification
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-28 Florian Deljarrymodelize_property: Adding unsafe method to register...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-28 Florian Deljarrynitweb: Update to use packages importation graph
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-28 Florian Deljarrynitdoc: Update to use packages importation graph
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-28 Florian Deljarrytest_commands_catalog: Update to use packages importation...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-27 Florian Deljarrydoc/static_structure: Update package importation graph
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-27 Florian Deljarrynitx: Remove the construction of packages importation...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-27 Florian Deljarrynitcatalog: Update to use the package graph
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-27 Florian Deljarrycatalog: Update to use the package graph
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-27 Florian Deljarrydigraph: Add feature to get all successors and predecessors
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-27 Florian Deljarrymmodule: Added support of package importation
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-27 Florian Deljarrympackage: Add `mpackage` importation graph
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-22 Florian Deljarrydigraph: Implementation of a reflexive directed graph
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-22 Florian Deljarryabstract_text: Refactorisation of the to_s method
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-22 Florian Deljarryabstract_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 Deljarrytext/abstract_text: Adds the float conversion in exponential...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-13 Florian Deljarryastbuilder: Add a `create_callsite` method
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-13 Florian Deljarryastbuilder: Make the construction of the `AMethPropdef...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-08-12 Florian Deljarryabstract_compiler: Replace the use of `n_float` by...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-07-12 Florian Deljarrytyping: get_method refactoring
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-05-28 Florian Deljarrylib/core/bytes: Adding a redef of has method
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-05-27 Florian Deljarryconcurrent_collections: Adding implementation of has...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-05-07 Florian Deljarryastbuilder: Adding new nodes makers(assert, method...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-02-27 Florian DeljarryMoving the astvalidation module in astbuilder
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2017-08-02 Florian DeljarryNitsmell : Adding new code smells and print console...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2017-06-06 Florian DeljarryAdding 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.