nitlanguage
/
nit.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
nit.git
2019-10-16
Jean Privat
Merge: Contract: Change mpropdef driving
commit
|
commitdiff
|
tree
|
snapshot
2019-10-09
Florian Deljarry
contracts: change the contract syntax
commit
|
commitdiff
|
tree
|
snapshot
2019-10-09
Florian Deljarry
contracts: Change mpropdef driving
commit
|
commitdiff
|
tree
|
snapshot
2019-10-09
Florian Deljarry
tests: Add contract test with static
commit
|
commitdiff
|
tree
|
snapshot
2019-10-02
Jean Privat
Merge: nitunit the manual
commit
|
commitdiff
|
tree
|
snapshot
2019-10-02
Jean Privat
Merge: contracts: fix usage of contract with `--erasure`
commit
|
commitdiff
|
tree
|
snapshot
2019-10-01
Florian Deljarry
contracts: fix usage of contract with `--erasure`
commit
|
commitdiff
|
tree
|
snapshot
2019-10-01
Jean Privat
manual: add nitish and avoid name conflicts
commit
|
commitdiff
|
tree
|
snapshot
2019-10-01
Jean Privat
manual: fix float comparaison and print
commit
|
commitdiff
|
tree
|
snapshot
2019-10-01
Jean Privat
manual: fix examples to be nitunitables
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Jean Privat
Merge: Contract: bug fix
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Florian Deljarry
tests: Add tests for generic and virtual types
commit
|
commitdiff
|
tree
|
snapshot
2019-09-30
Florian Deljarry
src/contracts: Fix contracts on virtual and generic...
commit
|
commitdiff
|
tree
|
snapshot
2019-09-27
Jean Privat
Merge: Contract implementation
commit
|
commitdiff
|
tree
|
snapshot
2019-09-26
Jean Privat
manual: CI check with nitunit
commit
|
commitdiff
|
tree
|
snapshot
2019-09-26
Florian Deljarry
src/toolcontext: Provide contract options
commit
|
commitdiff
|
tree
|
snapshot
2019-09-26
Florian Deljarry
share/man/nitc: Adding the man explication to disable...
commit
|
commitdiff
|
tree
|
snapshot
2019-09-26
Florian Deljarry
contracts: Adding all contract generation mechanism
commit
|
commitdiff
|
tree
|
snapshot
2019-09-25
Florian Deljarry
tests: adding contract testing files
commit
|
commitdiff
|
tree
|
snapshot
2019-09-16
Jean Privat
Merge: astbuilder: First implementation of clonable...
commit
|
commitdiff
|
tree
|
snapshot
2019-09-16
Jean Privat
Merge: Callref types
commit
|
commitdiff
|
tree
|
snapshot
2019-09-12
Louis-Vincent...
typing: Added typing resolution for `ACallrefExpr`
commit
|
commitdiff
|
tree
|
snapshot
2019-09-11
Florian Deljarry
tests: Add test_astbuilder to the skip list of nitcg...
commit
|
commitdiff
|
tree
|
snapshot
2019-09-11
Florian Deljarry
test_astbuilder: Add a testing tool for the astbuilder
commit
|
commitdiff
|
tree
|
snapshot
2019-09-11
Florian Deljarry
astbuilder: First implementation of clonable for ast...
commit
|
commitdiff
|
tree
|
snapshot
2019-09-05
Jean Privat
Merge: Can comment annotations
commit
|
commitdiff
|
tree
|
snapshot
2019-09-05
Jean Privat
Merge: model: Add `mpackage` importation hierarchy
commit
|
commitdiff
|
tree
|
snapshot
2019-09-05
Jean Privat
Merge: Functional api
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Florian Deljarry
check_annotation: adding no_contract
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Florian Deljarry
check_annotation: Adding ensures annotation
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Florian Deljarry
check_annotation: Adding expects annotation
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Florian Deljarry
code_gen: Adding contracts phase
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Florian Deljarry
scope: Adding variable verification
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Florian Deljarry
modelize_property: Adding unsafe method to register...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Louis-Vincent...
functional: Added universal types to callref
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Louis-Vincent...
functional: Added functional lib
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Florian Deljarry
nitweb: Update to use packages importation graph
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Florian Deljarry
nitdoc: Update to use packages importation graph
commit
|
commitdiff
|
tree
|
snapshot
2019-08-28
Florian Deljarry
test_commands_catalog: Update to use packages importati...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-27
Florian Deljarry
doc/static_structure: Update package importation graph
commit
|
commitdiff
|
tree
|
snapshot
2019-08-27
Florian Deljarry
nitx: Remove the construction of packages importation...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-27
Florian Deljarry
nitcatalog: Update to use the package graph
commit
|
commitdiff
|
tree
|
snapshot
2019-08-27
Florian Deljarry
catalog: Update to use the package graph
commit
|
commitdiff
|
tree
|
snapshot
2019-08-27
Florian Deljarry
digraph: Add feature to get all successors and predecessors
commit
|
commitdiff
|
tree
|
snapshot
2019-08-27
Florian Deljarry
mmodule: Added support of package importation
commit
|
commitdiff
|
tree
|
snapshot
2019-08-27
Florian Deljarry
mpackage: Add `mpackage` importation graph
commit
|
commitdiff
|
tree
|
snapshot
2019-08-26
Jean Privat
tests: add comments in syntax_annotations2.nit
commit
|
commitdiff
|
tree
|
snapshot
2019-08-26
Jean Privat
parser: regenerate with comments in line annotations
commit
|
commitdiff
|
tree
|
snapshot
2019-08-26
Jean Privat
grammar: enable full comments in line annotations ...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-26
Jean Privat
Merge: digraph: Implementation of a reflexive directed...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-23
Jean Privat
Merge: Proposal for lambda expression syntax
commit
|
commitdiff
|
tree
|
snapshot
2019-08-23
Jean Privat
Merge: Wrapper of ICU's UTF-16 encoded strings and...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-23
Jean Privat
Merge: Adding a Windows build test
commit
|
commitdiff
|
tree
|
snapshot
2019-08-23
Jean Privat
Merge: Abstract_text: Add a method to get string repres...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-22
Florian Deljarry
digraph: Implementation of a reflexive directed graph
commit
|
commitdiff
|
tree
|
snapshot
2019-08-22
Florian Deljarry
abstract_text: Refactorisation of the to_s method
commit
|
commitdiff
|
tree
|
snapshot
2019-08-22
Florian Deljarry
abstract_text: Add the `to_sci` to get the string repre...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-20
Ana Daouda
.gitlab-ci.yml: adding a Windows build test
commit
|
commitdiff
|
tree
|
snapshot
2019-08-20
Ana Daouda
lib/core/text: Wrapper of ICU's UTF-16 encoded strings...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-19
Jean Privat
Merge: mongodb: Fixed failing test for `aggregate`...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-19
Jean Privat
Merge: compiler: Refactored `AbstractRuntimeFunction`
commit
|
commitdiff
|
tree
|
snapshot
2019-08-19
Jean Privat
tests: update error message of test_parser_args7.res
commit
|
commitdiff
|
tree
|
snapshot
2019-08-19
Jean Privat
tests: add syntax_lambda to check various forms
commit
|
commitdiff
|
tree
|
snapshot
2019-08-19
Jean Privat
parser: regenerate with lambda
commit
|
commitdiff
|
tree
|
snapshot
2019-08-19
Jean Privat
syntax: add lambda construction with the fun keyword
commit
|
commitdiff
|
tree
|
snapshot
2019-08-16
Louis-Vincent...
mongodb: Fixed failing test for `aggregate` method.
commit
|
commitdiff
|
tree
|
snapshot
2019-08-15
Louis-Vincent...
compiler: Refactor `AbstractRuntimeFunction`
commit
|
commitdiff
|
tree
|
snapshot
2019-08-14
Jean Privat
Merge: abstract_compiler: Replace the use of `n_float...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-14
Jean Privat
Merge: MModule: new method `add_mclassdef` to avoid...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-14
Jean Privat
Merge: Callref syntax
commit
|
commitdiff
|
tree
|
snapshot
2019-08-14
Jean Privat
Merge: fix nitcc assert failure and nitcc continuous...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Florian Deljarry
text/abstract_text: Adds the float conversion in expone...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Florian Deljarry
astbuilder: Add a `create_callsite` method
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Florian Deljarry
astbuilder: Make the construction of the `AMethPropdef...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Jean Privat
tests: add syntax_callref.nit
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Jean Privat
typing: stub to handle callrefs
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Jean Privat
scope: refuse `&x` where x is a local variable
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Jean Privat
parser: regenerate with callrefs
commit
|
commitdiff
|
tree
|
snapshot
2019-08-13
Jean Privat
syntax: add call reference (funref+recv capture) `...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Florian Deljarry
abstract_compiler: Replace the use of `n_float` by...
commit
|
commitdiff
|
tree
|
snapshot
2019-08-12
Louis-Vincent...
MModule: new method `add_mclassdef` to avoid incoherent...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-19
Jean Privat
CI: nitunit_some skips contrib since some code might...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-18
Jean Privat
Merge: Safe call operator
commit
|
commitdiff
|
tree
|
snapshot
2019-07-18
Jean Privat
nitcc: tests script return non-zero on failure (print...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-18
Jean Privat
nitcc: trim also remove tags on bad states
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
Merge: ci: generate metrics output in an artifact file
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
Merge: fix ci nitunit some
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
Merge: Introduce `test_frontend`
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
Merge: doc: Rename `synopsys` into `synopsis`
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
Merge: metrics: ReadmeMetrics uses markdown2
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
Merge: Update basic requirements and document them
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
Merge: Move back manual to the main repo
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
Merge: Clean old projects from `contrib`
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
Merge: github: Summer cleaning
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
ci: generate metrics output in an artifact file
commit
|
commitdiff
|
tree
|
snapshot
2019-07-15
Jean Privat
tests: error_syntax errors on `? now
commit
|
commitdiff
|
tree
|
snapshot
2019-07-14
Alexandre Terrasa
indexing: Use `test_frontend`
commit
|
commitdiff
|
tree
|
snapshot
2019-07-14
Alexandre Terrasa
doc: Commands tests use `test_frontend`
commit
|
commitdiff
|
tree
|
snapshot
2019-07-14
Alexandre Terrasa
frontend: Introduce `test_frontend` to easily test...
commit
|
commitdiff
|
tree
|
snapshot
2019-07-14
Alexandre Terrasa
doc: Rename `synopsys` into `synopsis`
commit
|
commitdiff
|
tree
|
snapshot
next