nitlanguage
/
nit.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge: escape_to_c: Escape trigraphs
[nit.git]
/
src
/
semantize
/
2016-05-13
Jean Privat
model: promote location to any `MEntity`
tree
|
commitdiff
2016-04-14
Jean Privat
Merge: Introducing the do ... catch ... end structure
tree
|
commitdiff
2016-04-12
BlackMinou
Scope & Typing: visits the catch part of a do ... catch...
tree
|
commitdiff
2016-04-12
BlackMinou
Flow: managing the flow context for a do ... catch...
tree
|
commitdiff
2016-04-08
Jean Privat
nitc/scope: attach AReturnExpr to an escape mark of...
tree
|
commitdiff
2016-04-06
Lucas Bajolet
compiler: Added prefixed and suffixed `String` support
tree
|
commitdiff
2016-03-22
Lucas Bajolet
compiler: Added prefix and suffix support for `Char`
tree
|
commitdiff
2016-02-25
Jean Privat
typing: include a hook to enable more precise error...
tree
|
commitdiff
2015-12-08
Jean Privat
autosuper: remove most historic heuristics on implicitl...
tree
|
commitdiff
2015-12-08
Jean Privat
autosuper: remove heuristic where a homonymous named...
tree
|
commitdiff
2015-11-12
Jean Privat
Merge: Handle gracefuly multi-varargs
tree
|
commitdiff
2015-11-10
Jean Privat
typing: handle multiple vararg
tree
|
commitdiff
2015-11-10
Jean Privat
typing: extact `check_one_vararg` from `check_signature`
tree
|
commitdiff
2015-11-10
Jean Privat
typing: move vararg_length on each argument, instead...
tree
|
commitdiff
2015-11-09
Jean Privat
autosuperinit: do not crash on broken model
tree
|
commitdiff
2015-11-07
Jean Privat
typing: skip error message when dealing with bottom...
tree
|
commitdiff
2015-11-07
Jean Privat
typing: AForBlock propagates error to the main AForExpr
tree
|
commitdiff
2015-10-07
Jean Privat
Merge: Multi iterators
tree
|
commitdiff
2015-10-07
Jean Privat
Merge: Detach CallSite from the AST
tree
|
commitdiff
2015-10-07
Jean Privat
typing: use `location` attribute instead of `node`...
tree
|
commitdiff
2015-10-07
Jean Privat
typing: add a node parameter to `CallSite::check_signature`
tree
|
commitdiff
2015-10-07
Jean Privat
frontend: handle multi-iterators
tree
|
commitdiff
2015-10-06
Jean Privat
typing: make `CallSite` a `MEntity` so that `is_broken...
tree
|
commitdiff
2015-10-06
Jean Privat
semantize: set and use `ANode::is_broken`
tree
|
commitdiff
2015-08-13
Lucas Bajolet
src/compiler: Added fixint variants to compiler
tree
|
commitdiff
2015-08-10
Jean Privat
Merge: Stricter default arguments
tree
|
commitdiff
2015-08-10
Jean Privat
typing: change specification about default arguments...
tree
|
commitdiff
2015-08-07
Jean Privat
src: update AST client to handle qualified identifiers...
tree
|
commitdiff
2015-08-04
Lucas Bajolet
src: Modified compilers for the support of the new...
tree
|
commitdiff
2015-07-22
Jean Privat
Merge: Nitj: A compiler to Java code.
tree
|
commitdiff
2015-07-21
Alexandre Terrasa
typing: also type signature for intern methods
tree
|
commitdiff
2015-07-13
Jean Privat
autosuperinit: constructors can be defined in interface...
tree
|
commitdiff
2015-06-18
Jean Privat
typing: warn about useless null when the target is...
tree
|
commitdiff
2015-06-18
Jean Privat
typing: warnings related to adaptive typing are moved...
tree
|
commitdiff
2015-06-18
Jean Privat
typing: new PostTypingVisitor that is run after the...
tree
|
commitdiff
2015-06-18
Jean Privat
typing: factorize AEqExpr and ANeExpr into AEqFormExpr
tree
|
commitdiff
2015-06-18
Jean Privat
typing: `or else` on null is no more an error
tree
|
commitdiff
2015-06-10
Jean Privat
Merge: Attribute and autoinit annotations
tree
|
commitdiff
2015-06-10
Jean Privat
Merge: nitvm: Basic blocks generation and SSA-algorithm
tree
|
commitdiff
2015-06-08
Jean Privat
modelize: rely on `AAttrPropdef::mreadpropdef` to be...
tree
|
commitdiff
2015-06-08
Jean Privat
modelize: add `AAttrPropdef::mtype` to factorize the...
tree
|
commitdiff
2015-06-08
Jean Privat
Merge: More keep going
tree
|
commitdiff
2015-06-05
Jean Privat
typing: improve reliability of `is_typed`.
tree
|
commitdiff
2015-05-31
Julien Pagès
nitvm: Allow to set some attributes in Variable class
tree
|
commitdiff
2015-05-31
Jean Privat
scope: the `else` of the assert is a scoped block
tree
|
commitdiff
2015-05-30
Jean Privat
Merge: Warn call on nullable receiver
tree
|
commitdiff
2015-05-29
Lucas Bajolet
compiler: Updated toolchain for proper byte literal...
tree
|
commitdiff
2015-05-27
Jean Privat
typing: advice if a receiver is nullable
tree
|
commitdiff
2015-05-27
Jean Privat
typing: use `is_null_safe`
tree
|
commitdiff
2015-04-25
Jean Privat
typing: process named arguments
tree
|
commitdiff
2015-04-24
Jean Privat
Merge: More binary operators
tree
|
commitdiff
2015-04-24
Jean Privat
typing: special message when a single vararg is refused...
tree
|
commitdiff
2015-04-23
Jean Privat
src: use AUnaryopExpr
tree
|
commitdiff
2015-04-18
Jean Privat
typing&engines: implement default arguments
tree
|
commitdiff
2015-04-18
Jean Privat
Merge: Autocast and literal arrays
tree
|
commitdiff
2015-04-16
Jean Privat
typing: do not autocast on arrays or combined assignment
tree
|
commitdiff
2015-04-16
Jean Privat
typing: introduce SignatureMap to factorize parameters...
tree
|
commitdiff
2015-04-15
Jean Privat
typing: use new `operator` and `n_op` from ABinopExpr...
tree
|
commitdiff
2015-04-15
Jean Privat
src: implement unary plus
tree
|
commitdiff
2015-04-15
Jean Privat
src: improve messages (and sometime location) of errors...
tree
|
commitdiff
2015-04-15
Jean Privat
typing: identify the node associated to method name
tree
|
commitdiff
2015-04-14
Jean Privat
Merge: Fix type adaptation when there is loops
tree
|
commitdiff
2015-04-14
Jean Privat
Merge: Intern new
tree
|
commitdiff
2015-04-14
Jean Privat
typing: handle `a == null` when `a` is null
tree
|
commitdiff
2015-04-14
Jean Privat
typing: shortcut `get_variable` on never-adapted variables
tree
|
commitdiff
2015-04-11
Jean Privat
typing: ensure monotony on literal arrays
tree
|
commitdiff
2015-04-11
Jean Privat
typing: revisit on type-adaptation, until there is...
tree
|
commitdiff
2015-04-11
Jean Privat
typing: mark variable dirty on type_adaptation
tree
|
commitdiff
2015-04-11
Jean Privat
typing: compute FlowContext::collect_types without...
tree
|
commitdiff
2015-04-11
Jean Privat
typing: remove cache in FlowContext
tree
|
commitdiff
2015-04-11
Jean Privat
flow: improve dot-rendering for debugging
tree
|
commitdiff
2015-04-11
Jean Privat
flow: fix loop links on continue
tree
|
commitdiff
2015-04-10
Jean Privat
Merge: Sys is top
tree
|
commitdiff
2015-04-10
Jean Privat
typing: remove most top-level things
tree
|
commitdiff
2015-04-10
Jean Privat
typing: look for method in `sys` when they are not...
tree
|
commitdiff
2015-04-10
Jean Privat
typing: `intern` is used to refer to the plain vanilla...
tree
|
commitdiff
2015-04-09
Jean Privat
Merge: new `with` statement
tree
|
commitdiff
2015-04-08
Jean Privat
Merge: Not null types
tree
|
commitdiff
2015-04-08
Jean Privat
typing: on type error, also indicate the resolved type
tree
|
commitdiff
2015-04-08
Jean Privat
model: rename `as_notnullable` to `undecorate`
tree
|
commitdiff
2015-04-08
Jean Privat
typing: add `check_can_be_null` to fix and factorize...
tree
|
commitdiff
2015-04-03
Jean Privat
typing: do not rely on `MModule.object_type` that will...
tree
|
commitdiff
2015-04-03
Jean Privat
typing: be more robust on missing/buggy information
tree
|
commitdiff
2015-04-03
Jean Privat
modelbuilder: promote `get_mclass_by_name` from typing
tree
|
commitdiff
2015-04-03
Jean Privat
various phases: more robust for keep-going
tree
|
commitdiff
2015-03-30
Jean Privat
semantize: handle the with statement
tree
|
commitdiff
2015-03-10
Jean Privat
Merge: Abstract attribute
tree
|
commitdiff
2015-03-06
Jean Privat
autosuperinit: remove old FIXME that prevented autosupe...
tree
|
commitdiff
2015-03-06
Jean Privat
autosuperinit: verbose info for debuging
tree
|
commitdiff
2015-02-26
Jean Privat
src: do not crash if there is not MAttributeDef in...
tree
|
commitdiff
2015-02-10
Lucas Bajolet
lib/standard/stream: Renamed streams for more explicit...
tree
|
commitdiff
2015-01-20
Jean Privat
typing: check missing return in AAttrPropdef with block
tree
|
commitdiff
2015-01-13
Alexis Laferrière
nitc&lib: MapIterator keys can be nullable
tree
|
commitdiff
2015-01-08
Jean Privat
Merge: null as receiver
tree
|
commitdiff
2015-01-05
Jean Privat
typing&engines: accept `is_same_instance` on `null`
tree
|
commitdiff
2015-01-05
Jean Privat
typing: accept `null` as a receiver for some methods...
tree
|
commitdiff
2015-01-05
Jean Privat
typing: remove useless error on null receiver. `get_met...
tree
|
commitdiff
2015-01-04
Jean Privat
typing: reject literal arrays made of `null` (because...
tree
|
commitdiff
2014-12-20
Jean Privat
src: finish documenting some module
tree
|
commitdiff
2014-12-17
Jean Privat
typing: mark expressions that belong to an array compre...
tree
|
commitdiff
next