model: rewrite of MType::is_subtype
[nit.git] / src /
2012-11-13 Alexandre Terrasanitg-sep: change types structures, unanchored type...
2012-11-13 Jean Privatnitg-s: test if receiver is null on method send
2012-11-13 Jean Privatnitg: allow CompilerVisitor::current_node to be any...
2012-11-13 Jean Privatnitg: implements isset
2012-11-13 Jean Privattyping: simplify resolve_signature_for to factorize...
2012-11-13 Alexandre Terrasatyping: change abort to assert in ASendExpr
2012-11-13 Alexandre Terrasatyping: move iterator methods selection from nitg to...
2012-11-09 Jean Privatmodelbuilder: detect invalid generic type (non conform...
2012-11-09 Jean Privatmodel: make MClass::intro public
2012-11-09 Jean Privatmodelbuilder: error when a class defines a property...
2012-11-08 Jean Privatmodelbuilder: stop building a property on 'redef' error
2012-11-08 Jean Privatmodelbuilder: error when a module defines a class more...
2012-11-08 Jean Privatmodelbuilder: fix recursive model building
2012-11-08 Jean Privatnitg-s: bound Coloring on Object, not nullable Object
2012-11-07 Jean PrivatMerge remote-tracking branch 'alexandre/at/sep' into wip
2012-11-07 Alexandre Terrasanitg-sep: add test type against formal parameter type
2012-11-06 Jean Privatnitg-s: implements a basic SeparateCompilerVisitor...
2012-11-06 Jean Privatnitg-s: aborts with NOT YET IMPLEMENTED on TODO stuff
2012-11-06 Jean Privatnitc: remove a warning on casts on MMTypeFormal
2012-11-06 Jean PrivatMerge branch 'clean_model'
2012-11-06 Alexandre Terrasanitg-sep: refactor coloring
2012-11-06 Jean Privatmodel: remove a lot of casts to MGenericType
2012-11-06 Jean Privatmodel: promote MGenericType::arguments to MClassType
2012-11-06 Jean Privatmodel: use in_hierarchy instead of flatten_mclass_hierarchy
2012-11-06 Jean Privatmodel: add MClass::in_hierarchy
2012-11-06 Jean Privatmodel: fix bug where order of classes produces buggy...
2012-11-02 Alexandre Terrasanitg-sep: generic subtyping using heterogeneous tables
2012-11-01 Jean Privatbench: add bintrees as a run_compiler bench
2012-10-31 Jean Privatnitg: implement class_name as a compiler service
2012-10-31 Jean Privatnitg: implement is_same_type as a compiler service
2012-10-31 Jean Privatnitg: fix visibility so global_compiler do not need...
2012-10-30 Jean Privatnitg: implement Char#+ and Char#-
2012-10-30 Jean PrivatMerge branch 'at/nitg--separate'
2012-10-30 Jean Privatnitgs: detect uninitialized attribute
2012-10-30 Jean Privatnitgs: workaround for primitive attributes
2012-10-30 Jean Privatnitgs: add VirtualRuntimeFunction for method on primitive
2012-10-30 Jean Privatnitgs: use the real type of self in SeparateRuntimeFunction
2012-10-30 Jean Privatnitgs: add BOX functions, primitive instances and fix...
2012-10-30 Jean Privatnigs: fix class field in instance: it is names class...
2012-10-30 Jean Privatnitgs: move structure to the .h
2012-10-30 Jean Privatnitgsep: use mtype.c_name instead of mclass.name as...
2012-10-30 Jean Privatnitg: fix a missing ; in GlobalCompilerVisitor::autobox
2012-10-30 Jean Privatnitg: factorize logic of AbstractRuntimeFunction::c_name
2012-10-30 Jean Privatnitg: rename RuntimeFunction to AbstractRuntimeFunction
2012-10-30 Alexandre Terrasanitg sep: refactoring of coloring fonctionnalities
2012-10-27 Alexandre Terrasanitg --separate: generate C for call and attributes
2012-10-27 Alexandre Terrasaseparate_compiler: add properties coloration
2012-10-26 Jean Privatbench: add "nitc --global" and "nitg --separate" to...
2012-10-26 Jean Privatbench: add options and usage
2012-10-26 Jean Privatbench: plot histograms with errorbars
2012-10-26 Jean Privatbench: select which benches to run on the command line
2012-10-25 Jean Privatbench: name generated executables with .bin
2012-10-25 Jean Privatbench: add shoot as a bench
2012-10-25 Alexis Laferrièresyntax: removes test "constructor must be invoked before"
2012-10-25 Alexis Laferrièreseparate_options: improves separate options (.nit.args...
2012-10-25 Jean Privatniti: new option --discover-call-trace to debug niti...
2012-10-25 Jean Privatniti: implements native/extern Float#-, rand, cos,...
2012-10-25 Jean Privatniti: add Instance#to_f
2012-10-22 Jean PrivatMerge branch 'pass_tests'
2012-10-22 Jean Privatmake builds bin/nitg and bin/nit
2012-10-22 Jean Privatmodel: exit(1) on get_primitive_class
2012-10-22 Jean Privatnew model: move force_get_primitive_method to modelbuilder
2012-10-22 Jean Privatnitg&niti: do not crash on invalid arity
2012-10-22 Jean Privatmodelbuilder: do not crash if nclassdef.mclass is not...
2012-10-22 Jean Privatmodelbuilder: check inherited signature arity before...
2012-10-22 Jean Privatmodebuilder: fix some error messages
2012-10-17 Jean Privatnitg: fix a "NOT YET IMPLEMENTED" message
2012-10-11 Jean Privatnitg: add libraries *after* objects that use them
2012-10-11 Jean PrivatMerge 'separate_nitg'
2012-10-11 Jean Privatnitg: ad hoc separate compiler stub module
2012-10-02 Jean PrivatMerge branch 'alexandre/inf7741'
2012-10-02 Alexandre Terrasanit: Add incremental typing to interpretor
2012-10-02 Alexandre Terrasanit: introduce interpretor type test with dynamic loading
2012-10-02 Alexandre Terrasanit: clean run_naive_interpretor method
2012-09-26 Jean Privatnitg: add GlobalCompilerVisitor::monomorphic_send
2012-09-26 Jean Privatnitg: split run_global_compiler to write_and_make
2012-08-24 Jean Privatnitg: do not use RuntimeVariable#mtype when we have...
2012-08-24 Jean Privatnitg: generate BOX_xxx to factorize code
2012-08-23 Jean Privatnitg: generated main returns 0 on success
2012-08-23 Jean Privatnitg: warn conflicting propdefs on GlobalCompilerVisito...
2012-08-23 Jean Privatnitg: correctly handle the calls == and != on a nullabl...
2012-08-23 Jean Privatnitg: use mcasttype instead of mtype in autoadapt
2012-08-22 Jean Privatnitg: use CustomizedRuntimeFunction#c_name instead...
2012-08-22 Jean Privatnitg: do not treat new_var on MNullType distinctly
2012-08-22 Jean Privatnitg: assert that types of RuntimeVariable are not...
2012-08-22 Jean Privatnitg: move compile_to_c from MMethodDef to CustomizedRu...
2012-08-22 Jean Privatnitg: remove the argument `modelbuilder` in compile_to_c
2012-08-22 Jean Privatnitg: use MMethodDef#compile_inside_to_c in MMethodDef...
2012-08-22 Jean Privatnitg: split RuntimeFunction to CustomizedRuntimeFunction
2012-08-22 Jean Privatnitg: add some documentation
2012-08-22 Jean Privatnitg: move collect_types_cache to the GlobalCompiler
2012-08-22 Jean Privatnitg: execute make with -B
2012-08-12 Jean Privatnewmm: parse literal floats using String#to_f
2012-08-12 Jean Privattyping: check literal ranges uses discrete types
2012-08-12 Jean Privatnitc: cannot instantiate a nullable type
2012-08-12 Jean Privattyping: check use of protected methods
2012-08-12 Jean Privatnitc: allow homonymous non-nested labels
2012-08-12 Jean Privattyping: better handling of for forms
2012-08-12 Jean Privatmodeflbuilder: do not crash if a mclassdef cannot be...
2012-08-12 Jean Privatmodelbuilder: check redef signature in getter/setter
next