nitlanguage
/
nit.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
benchs: add nitg-s to benchs
2012-12-10
Jean Privat
benchs: add nitg-s to benchs
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-10
Jean Privat
bench: factorize some benchs
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-10
Jean Privat
nitg-s&e: compile module in local knowledge
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-10
Jean Privat
Merge remote-tracking branch 'alexandre/master'
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
Merge remote-tracking branch 'alexandre/master'
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
tests: add test_array_formal.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
tests: add base_virtual_type_variance.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
tests: add base_attr_boxing.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
nitg-e: add option --no-check-erasure-cast to disable...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
nitg-e: implements erasure-cast
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
typing: add CallSite::erasure_cast to indicate if a...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
nitg: add v.compile_callsite to generate the send associated...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
typing: attach CallSite instances to AST nodes
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-09
Jean Privat
typing: new class CallSite
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-08
Jean Privat
nitg-s: instantiate the right array in case of unresolved...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-08
Jean Privat
nitg-s: allocate HashSet[MType] for conflicts_graph_cache
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-08
Jean Privat
bench: split and specialize "options" benchs
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-08
Jean Privat
bench: do not crash on die, just flag the failed command
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-08
Jean Privat
tests: upgrade nitg-s to *.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-08
Jean Privat
nitg: do not compile main during the instantiation
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
Merge remote branch 'alexandre/master'
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
tests: add base_autocast.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
nitg: implements implicit casts for unsafe nexpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
tests: declare Bool to base_types_nullable_formal_and_virtual
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
tests: fix test_attr_easy.res for the new model.
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
niti: implements implicit casts for unsafe nexpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
typing: new attribute AExpr::implicit_cast_to
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
typing: the return of check_subtype can distinguish...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
lib: fix ArrayMapValues::first
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-07
Jean Privat
model: rewrite of MType::is_subtype
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-06
Jean Privat
lib: rewrite Collection::rand without explicit closure
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-06
Jean Privat
tests: test equality on Float
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-06
Jean Privat
tests: add base_attr_init_val_raf.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-06
Jean Privat
tests: add base_gen_variance.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-06
Jean Privat
niti: do not output object_id (not reliable)
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nitg: check_init_instance use a call CHECK_NEW_XXX
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nig: localize init_expr in attributes
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nitg: factorize Compiler#generate_init_attr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nitg: check_init_instance require a type
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
bench: compilation_time: replace nitg.bin by nitg-e
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nitg: two equal C types do not imply equal Nit types
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nitg: add dangerous options to disable runtime tests
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nirg-sep: introduce box_kind to implements the "is...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nitg-sep: add option --no-inline-intern
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nitg-sep: inline primitive call on intern methods
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nitg-e: fix implementation of class_name_string
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-05
Jean Privat
nitg: move engine selection to nitg.nit
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-03
Jean Privat
bench: add a boostrap test to generate compilers
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-03
Jean Privat
bench: add nitg-e as en engine
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-03
Jean Privat
tests: add nitg-s and nitg-e as specific engines
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-03
Jean Privat
tests: put stderr before stdout
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-03
Jean Privat
niti: write fatal error on stderr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-03
Jean Privat
tests: niti skips test_mem
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-03
Jean Privat
nitg-e: remove autobox since the inherited one is identical
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-03
Jean Privat
nitg-sep: BOX_XX does not require a type argument,...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-03
Jean Privat
nitg-sep: partially revert the last commit; do not...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-02
Jean Privat
nitg-sep: improve attribute implementation for primitives
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-02
Jean Privat
nitg-e: type_test do it easy if the result is statically...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-02
Jean Privat
nitg-e: type_test do not box the value.
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-02
Jean Privat
nitg-sep: monomorphic_send if the mcasttype is primitive
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-02
Jean Privat
nitg: implements force_garbage_collection
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-02
Jean Privat
nitg: stop displaying debug info on Unimplemented expr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-01
Jean Privat
nitg: protect empty types `bugtype` in `send`.
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-01
Jean Privat
nitg-sep: signature adaptation is done on the declared...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-01
Jean Privat
nitg-sep: do not put attributes stuff in the class...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-01
Jean Privat
nitg-e: use -1 as hole in type_table
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-12-01
Jean Privat
nitg: exit on bugtype
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-30
Jean Privat
nitg-erase: erase MParameterType and workaround MVirtualType
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-30
Jean Privat
nitg-erase: put 0 in arrays of int, not NULL
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-30
Jean Privat
nitg-erase: reduce duplication with nitg-sep
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-30
Jean Privat
nitg: use new_visitor instead of new XXXCompilerVisitor
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-30
Jean Privat
nitg-erase: update sav/nitg.sav (option --erasure)
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-30
Jean Privat
Merge remote-tracking branch 'alexandre/at/erasure'
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: call bugtype on unexpected empty concrete type
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: check NPE on attribute access and call
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: check null receiver if MNullableType or if MNullType
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: Visitor::send skip if the primitive receiver...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: promote check_recv_notnull to nitg
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: explicit NOT YET IMPLEMENTED at runtime for nitni
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: C comment CustomizedRuntimeFunction indicate...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: type_test handle MNullType the same way than...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
poset: implements "has" to avoid using the NaiveCollection...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
tests: cleanup sav/ files for nitg&niti
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
tests: nitg can compile empty modules
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: generate a runtime error on on ADeferredMethPropdef
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: add type-checks on covariant parameters
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg: type_test assert that the cast-type was detected...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
rta: consider type tests for covariant signatures
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
rta: forgot to call Array#with_native on ASuperstringExpr
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-29
Jean Privat
nitg-sep: implements correctly class_name_string
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-24
Jean Privat
Merge remote-tracking branch 'alexandre/at/sep' into wip
commit
|
commitdiff
|
tree
2012-11-24
Jean Privat
nitg: allow casts on primitive types
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-24
Jean Privat
tests: fix uninitialized attribute test_gen and test_boxing
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-24
Jean Privat
tests: barf on the absence of Object is an acceptable...
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-24
Jean Privat
nitg-sep: detect null receiver on attribute access
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-24
Jean Privat
tests: force Object on some tests.
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-23
Jean Privat
tests: count fixme as todo
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-23
Jean Privat
tests: delete specific skip files
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-23
Jean Privat
nitg-sep: handle send with varargs
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
2012-11-23
Jean Privat
nitg: extract varargize into its own method
Signed-off-by: Jean Privat <
jean@pryen.org
>
commit
|
commitdiff
|
tree
next