nitlanguage
/
nit.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge: neo4j: Prevent accidental code injections in the tests
2017-06-17
Jean-Christophe...
neo4j: Prevent accidental code injections in the tests
commit
|
commitdiff
|
tree
2017-06-17
Jean-Christophe...
neo4j: Fix the example for `CypherQuery::set`
commit
|
commitdiff
|
tree
2017-06-15
Jean-Christophe...
modelize_property: Add a variable to shorten some code
commit
|
commitdiff
|
tree
2017-06-15
Jean-Christophe...
modelize_class: Link `subset_kind` with its corresponding...
commit
|
commitdiff
|
tree
2017-06-15
Jean-Christophe...
parser: Recompile
commit
|
commitdiff
|
tree
2017-06-15
Jean-Christophe...
parser: Add the concrete grammar for predicate definitions
commit
|
commitdiff
|
tree
2017-06-15
Jean-Christophe...
neo4j: Add a fluent interface to set queries’ parameters
commit
|
commitdiff
|
tree
2017-06-14
Jean-Christophe...
modelize_property: Remove an unreachable case
commit
|
commitdiff
|
tree
2017-06-14
Jean-Christophe...
modelize_property: Implement `is_new` like `is_init`
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
parser: Add the abstract grammar for predicate definitions
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
parser_nodes: Allow to flag predicate definitions
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
parser: Add the grammar for subset definitions
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
parser_nodes: Add a class kind for class subsets
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
model: Add a class kind for class subsets
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
model: Don’t blacklist in specialization rules
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
model: Add `can_customize_isa` and `can_init` attributes...
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
modelize_class: Test the handling of a formal supertypes
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
modelize_class: Fix the wording of an error message.
commit
|
commitdiff
|
tree
2017-06-13
Jean-Christophe...
modelize_class: Don’t crash on a formal supertype
commit
|
commitdiff
|
tree
2017-06-09
Jean-Christophe...
modelize_class: Simplify `collect_supertypes` by defining...
commit
|
commitdiff
|
tree
2017-06-09
Jean-Christophe...
modelize_class: Extract supertype collection logic
commit
|
commitdiff
|
tree
2017-06-09
Jean-Christophe...
modelize_class: Continue supertype collection after...
commit
|
commitdiff
|
tree
2017-06-09
Jean-Christophe...
modelize_class: Minimize the context used to resolve...
commit
|
commitdiff
|
tree
2017-06-09
Jean-Christophe...
modelize_class: Rename `collect_a_mclassdef_inheritance`
commit
|
commitdiff
|
tree
2017-06-09
Jean-Christophe...
modelize_class: Extract the bound collection logic
commit
|
commitdiff
|
tree
2017-06-03
Jean-Christophe...
search_tests.sh: Unquote results
commit
|
commitdiff
|
tree
2017-06-03
Jean-Christophe...
search_tests.sh: Update to the new format of `listfull.sh`
commit
|
commitdiff
|
tree
2017-06-03
Jean-Christophe...
listfull.sh: Quote paths
commit
|
commitdiff
|
tree
2017-06-03
Jean-Christophe...
testfull.sh: Use `xargs`
commit
|
commitdiff
|
tree
2017-06-02
Jean-Christophe...
modelbuilder_base: Refactor the signature of `resolve_mtype*`
commit
|
commitdiff
|
tree
2017-06-02
Jean-Christophe...
modelbuilder_base: Rename some local variables
commit
|
commitdiff
|
tree
2017-06-02
Jean-Christophe...
typing: Make `TypeVisitor::mmodule` implicit
commit
|
commitdiff
|
tree
2017-06-02
Jean-Christophe...
typing: Make `TypeVisitor::anchor` non-nullable
commit
|
commitdiff
|
tree
2017-06-02
Jean-Christophe...
typing: Make `TypeVisitor::mclassdef` non-nullable
commit
|
commitdiff
|
tree
2017-06-02
Jean-Christophe...
typing: Make `TypeVisitor::mpropdef` non-nullable
commit
|
commitdiff
|
tree
2017-06-02
Jean-Christophe...
typing: Remove duplicate assignment to `TypeVisitor...
commit
|
commitdiff
|
tree
2017-06-02
Jean-Christophe...
modelize_class: Fix spacing
commit
|
commitdiff
|
tree
2017-05-30
Jean-Christophe...
parser_nodes: Fix spelling mistakes
commit
|
commitdiff
|
tree
2017-05-30
Jean-Christophe...
modelize_class: Remove the `useless-bound` warning
commit
|
commitdiff
|
tree
2017-05-23
Jean-Christophe...
tests: Update error messages
commit
|
commitdiff
|
tree
2017-05-23
Jean-Christophe...
model: Do not assume enums to be final
commit
|
commitdiff
|
tree
2017-05-23
Jean-Christophe...
tests: Do not rely on the implicit fixing of type bounds
commit
|
commitdiff
|
tree
2017-05-23
Jean-Christophe...
metrics_base: Do not rely on the implicit fixing of...
commit
|
commitdiff
|
tree
2017-05-23
Jean-Christophe...
opts: Do not rely on the implicit fixing of type bounds
commit
|
commitdiff
|
tree
2017-05-21
Jean-Christophe...
coloring: Only generate strictly positive IDs
commit
|
commitdiff
|
tree
2017-05-21
Jean-Christophe...
coloring: Fix documentation formatting
commit
|
commitdiff
|
tree
2017-05-21
Jean-Christophe...
rapid_type_analysis: Fix a spelling mistake
commit
|
commitdiff
|
tree
2017-05-20
Jean-Christophe...
rosettacode: Fix spelling mistakes
commit
|
commitdiff
|
tree
2017-05-19
Jean-Christophe...
parser_nodes: Fix documentation
commit
|
commitdiff
|
tree
2017-05-18
Jean-Christophe...
model: Fix minor documentation mistakes
commit
|
commitdiff
|
tree
2017-05-18
Jean-Christophe...
nitvm: Factorize the loading of superclasses
commit
|
commitdiff
|
tree
2017-05-16
Jean-Christophe...
MultiHashMap: Provide the converse of `add_one`
commit
|
commitdiff
|
tree
2017-05-16
Jean-Christophe...
MultiHashMap: Add a test for `add_one`
commit
|
commitdiff
|
tree
2017-05-15
Jean-Christophe...
model: Specify `MClassDef`s’ order once
commit
|
commitdiff
|
tree
2017-05-15
Jean-Christophe...
model: Register sorters as private attributes of `MModule`
commit
|
commitdiff
|
tree
2017-05-14
Jean-Christophe...
Makefile: Fix glob patterns
commit
|
commitdiff
|
tree
2017-05-14
Jean-Christophe...
separate_compiler: Fix a spelling mistake in a comment
commit
|
commitdiff
|
tree
2017-05-14
Jean-Christophe...
model: Remove truthful conditions
commit
|
commitdiff
|
tree
2017-05-08
Jean-Christophe...
Makefile: Don’t invoke `src/Makefile` twice
commit
|
commitdiff
|
tree
2017-05-07
Jean-Christophe...
Makefile: Document `full` more accurately
commit
|
commitdiff
|
tree
2017-05-07
Jean-Christophe...
tinks/Makefile: Remove an undefined phony target
commit
|
commitdiff
|
tree
2017-05-07
Jean-Christophe...
tests/Makefile: Remove unused macro
commit
|
commitdiff
|
tree
2017-05-07
Jean-Christophe...
Makefile: Remove unused macro
commit
|
commitdiff
|
tree
2017-05-07
Jean-Christophe...
git-gen-version: Simplify a `if`
commit
|
commitdiff
|
tree
2017-05-03
Jean-Christophe...
NOTICE: Update
commit
|
commitdiff
|
tree
2017-05-03
Jean-Christophe...
license: add GNU GPLv3
commit
|
commitdiff
|
tree
2017-03-28
Jean-Christophe...
intrepreter: Fix the documentation of `PrimitiveInstance`
commit
|
commitdiff
|
tree
2017-03-28
Jean-Christophe...
intrepreter: Fix the documentation of `Instance::is_true`
commit
|
commitdiff
|
tree
2017-03-26
Jean-Christophe...
model: Make the `anchor` parameter of `MType::anchor_to...
commit
|
commitdiff
|
tree
2017-03-26
Jean-Christophe...
model: Add a constant for the bottom type
commit
|
commitdiff
|
tree
2017-03-26
Jean-Christophe...
model: Add precision to the documentation of type metrics
commit
|
commitdiff
|
tree
2017-03-26
Jean-Christophe...
model: Fix indentation
commit
|
commitdiff
|
tree
2017-03-26
Jean-Christophe...
java_compiler: Fix the documentation of `is_java_primitive`
commit
|
commitdiff
|
tree
2017-03-26
Jean-Christophe...
compiler: Merge `maybenull` and `maybe_null`
commit
|
commitdiff
|
tree
2017-03-22
Jean-Christophe...
hash_collections: Fix the documentation of `Set::new`
commit
|
commitdiff
|
tree
2017-03-22
Jean-Christophe...
model: Document base cases of `mdoc_or_fallback`
commit
|
commitdiff
|
tree
2017-03-22
Jean-Christophe...
mdoc: Fix documentation of `mdoc_or_fallback`
commit
|
commitdiff
|
tree
2017-03-22
Jean-Christophe...
highlight: Use `mdoc_or_fallback`
commit
|
commitdiff
|
tree
2017-03-22
Jean-Christophe...
model: Promote definitions of `mdoc_or_fallback`
commit
|
commitdiff
|
tree
2016-08-29
Jean-Christophe...
typing: Fix minor mistakes in documentation
commit
|
commitdiff
|
tree
2016-08-25
Jean-Christophe...
pipeline: Introduce `Iterator2`
commit
|
commitdiff
|
tree
2016-08-18
Jean-Christophe...
modelize_property: Remove a unnecessary pre-condition
commit
|
commitdiff
|
tree
2016-08-18
Jean-Christophe...
modelize_property: Promote `refine-type` to an error
commit
|
commitdiff
|
tree
2016-08-04
Jean-Christophe...
modelize_class: Do not crash if `Pointer` is not defined
commit
|
commitdiff
|
tree
2016-08-04
Jean-Christophe...
modelize_class: Force `Object` to be an interface
commit
|
commitdiff
|
tree
2016-08-04
Jean-Christophe...
Add a test for the class kind of `Object`
commit
|
commitdiff
|
tree
2016-08-03
Jean-Christophe...
modelize_class: Remove a dead check
commit
|
commitdiff
|
tree
2016-08-02
Jean-Christophe...
mendel_metrics: Fix the bibliographical reference
commit
|
commitdiff
|
tree
2016-08-02
Jean-Christophe...
mendel_metrics: Fix a spelling mistake
commit
|
commitdiff
|
tree
2016-08-02
Jean-Christophe...
modelize_class: Remove an unnecessary pre-condition
commit
|
commitdiff
|
tree
2016-07-08
Jean-Christophe...
global_compiler: Write errors to stderr
commit
|
commitdiff
|
tree
2016-07-08
Jean-Christophe...
separate_compiler: Write errors to stderr
commit
|
commitdiff
|
tree
2016-07-08
Jean-Christophe...
NOTICE: Fix years
commit
|
commitdiff
|
tree
2016-07-04
Jean-Christophe...
model: Fix a spelling mistake
commit
|
commitdiff
|
tree
2016-07-04
Jean-Christophe...
model: Write errors to stderr
commit
|
commitdiff
|
tree
2016-07-04
Jean-Christophe...
model: Fix an error message
commit
|
commitdiff
|
tree
2016-06-30
Jean-Christophe...
model: Fix a minor documentation mistake
commit
|
commitdiff
|
tree
2016-06-30
Jean-Christophe...
model_collect: Fix a spelling mistake
commit
|
commitdiff
|
tree
2016-06-30
Jean-Christophe...
modelize_class: Fix a verb tense
commit
|
commitdiff
|
tree
2016-06-30
Jean-Christophe...
model: Fix minor documentation mistakes
commit
|
commitdiff
|
tree
next