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