nitlanguage / nit.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
tests: Add contract test
2020-11-16 Deljatests: Add contract test
Signed-off-by: Delja <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-08-20 Deljasrc/contracts: Fix `null` omit argument error
Signed-off-by: Delja <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-07-08 Florian Deljarrytests: Update nit test args
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-07-01 Florian Deljarrynit: Add `run_global_phases` call
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-07-01 Florian Deljarryerasure_compiler: Add contract phase dependency
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-07-01 Florian Deljarryseparate_compiler: Add contract phase dependency
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-07-01 Florian Deljarryglobal_compiler: Add contract phase dependency
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-07-01 Florian Deljarryabstract_compiler: Add import contract
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-07-01 Florian Deljarrysrc/contracts: Modification of contract weaving
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-05 Florian Deljarrytests/sav: Update tests results
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-05 Florian Deljarrycontracts: Improvement contract implementation
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-05 Florian Deljarrycontracts: Modification contracts creation
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-05 Florian Deljarrycontracts: Remove `contract_name` property
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-05 Florian Deljarrycontracts: Update contracts declaration
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-05 Florian Deljarrycontracts: Remove useless return parameter
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-04 Florian Deljarrycontracts: Improvement CallSiteVisitor
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-04 Florian Deljarrymodel/model_contract: Move contract model representation
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-02 Florian Deljarrysrc/astbuilder: generalize `create_callsite`
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-06-02 Florian Deljarrysrc/astbuilder: move `do_all` method in ASTBuilder
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-05-25 Florian Deljarrycontracts: Add `in_contract` attribute
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-05-25 Florian Deljarrycontracts: Signatures improvement (ASignature and MSignature)
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-05-25 Florian Deljarrycontract: Documentation improvement
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-04-29 Florian Deljarryastbuilder: Add new AST creation services
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-04-20 Florian Deljarrymodelize_property: Define a new API to modify AAttrPropdef
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-04-20 Florian Deljarrytyping: Add `do_typing` on AExpr
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-04-20 Florian Deljarrytyping: text formatting
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-04-20 Florian Deljarrytyping: Add a way to disable warnings
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-04-09 Florian Deljarrymodelbuilder_base: Define ANode as nullable
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-04-09 Florian Deljarrymodelize_property: Add `unsafe_add_mclassdef2nclassdef`
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-03-16 Florian Deljarrymodelize_property: Split model build of AAttrPropdef
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-03-16 Florian Deljarryneo: Move neo node creation
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2020-03-16 Florian Deljarrysrc/astbuilder: Add new nodes makers
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-12-21 Florian DeljarryModel: Add get_direct_supermtype
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-12-21 Florian Deljarrybucketed_game: Old_style_init
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-12-21 Florian Deljarrytest_neo: Fix error when mparameter is duplicated
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-12-21 Florian Deljarrymodelize: Get most specific init from mclass hierarchy
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-12-21 Florian Deljarrytyping: Add error when init is not found
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-12-21 Florian Deljarrysrc: Update init
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-12-21 Florian Deljarrytests: Fix tests
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-11-06 Florian Deljarrypep8analysis: Fix no init call
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-11-06 Florian Deljarryhtml_model: Remove new_msignature
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-11-06 Florian DeljarryMerge remote-tracking branch 'upstream/master' into...
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-11-06 Florian Deljarrymodelize_property: Remove root_init in MClass
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
2019-10-21 Florian Deljarrytests: Test result update for `curl_http`
Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
 commit | commitdiff | tree
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.