nitlanguage.org >> Repos - nit.git/history - src/rapid_type

[nit.git] / src / rapid_type_analysis.nit

2019-10-10	Louis-Vincent Boud...	Callref expression support for Separate Compiler.	blob \| commitdiff
2018-02-16	Alexis Laferrière	rta: visit the superstring created by explain_assert	blob \| commitdiff \| diff to current
2017-05-21	Jean-Christophe...	rapid_type_analysis: Fix a spelling mistake	blob \| commitdiff \| diff to current
2016-12-27	Alexis Laferrière	*: update all clients of the `CString::to_s` services	blob \| commitdiff \| diff to current
2016-12-13	Alexis Laferrière	update all indirect references to native strings	blob \| commitdiff \| diff to current
2016-08-09	Jean Privat	rta: drop local `is_valid_type` and use `is_legal_in...	blob \| commitdiff \| diff to current
2016-08-09	Jean Privat	rta: fast fix to avoid resolving illegal types.	blob \| commitdiff \| diff to current
2016-05-31	Jean Privat	rta: do not analyze abstract methods	blob \| commitdiff \| diff to current
2016-05-29	Jean Privat	rta: resolve the open-types in a depth-first order...	blob \| commitdiff \| diff to current
2016-05-03	Lucas Bajolet	src: Updated uses of CSV library	blob \| commitdiff \| diff to current
2016-04-06	Lucas Bajolet	compiler: Added prefixed and suffixed `String` support	blob \| commitdiff \| diff to current
2016-02-12	Jean Privat	rta: improve code for methods of classes	blob \| commitdiff \| diff to current
2016-02-12	Jean Privat	nitc: remove the redundant property `mfree_init`	blob \| commitdiff \| diff to current
2015-11-30	Jean Privat	src/rta: import csv publicly.	blob \| commitdiff \| diff to current
2015-10-07	Jean Privat	frontend: handle multi-iterators	blob \| commitdiff \| diff to current
2015-08-28	Lucas Bajolet	src: Added complete FlatString generation from compiler	blob \| commitdiff \| diff to current
2015-08-13	Lucas Bajolet	src/compiler: Added fixint variants to compiler	blob \| commitdiff \| diff to current
2015-08-04	Lucas Bajolet	src: Modified compilers for the support of the new...	blob \| commitdiff \| diff to current
2015-06-18	Jean Privat	Merge: Do not compile dead modules	blob \| commitdiff \| diff to current
2015-06-17	Jean Privat	rta: add `RapidTypeAnalysis::live_mmodules`	blob \| commitdiff \| diff to current
2015-06-16	Jean Privat	rta: no-op when AExpr::mtype or AExpr::cast_type is...	blob \| commitdiff \| diff to current
2015-06-16	Jean Privat	rta: new method `allocate_mtype` to factorize some...	blob \| commitdiff \| diff to current
2015-06-10	Jean Privat	Merge: Attribute and autoinit annotations	blob \| commitdiff \| diff to current
2015-06-08	Jean Privat	modelize: rely on `AAttrPropdef::mreadpropdef` to be...	blob \| commitdiff \| diff to current
2015-06-08	Jean Privat	Merge: More keep going	blob \| commitdiff \| diff to current
2015-06-05	Jean Privat	rta: do not visit broken NExpr	blob \| commitdiff \| diff to current
2015-06-05	Jean Privat	rta: do no visit borken method	blob \| commitdiff \| diff to current
2015-05-29	Lucas Bajolet	compiler: Updated toolchain for proper byte literal...	blob \| commitdiff \| diff to current
2015-05-29	Lucas Bajolet	lib/standard: Introduce Byte type in kernel	blob \| commitdiff \| diff to current
2015-05-26	Jean Privat	rta: do not infinite loop if check_depth fails and...	blob \| commitdiff \| diff to current
2015-05-24	Jean Privat	rta: fix the real live type in superstring (that is...	blob \| commitdiff \| diff to current
2015-04-16	Jean Privat	rta: visit implicit methods of literal arrays	blob \| commitdiff \| diff to current
2015-04-15	Jean Privat	src: improve messages (and sometime location) of errors...	blob \| commitdiff \| diff to current
2015-04-08	Jean Privat	model: rename `as_notnullable` to `undecorate`	blob \| commitdiff \| diff to current
2015-03-24	Jean Privat	compiler: compile ASuperstringExpr using `native_to_s`	blob \| commitdiff \| diff to current
2015-03-21	Jean Privat	model: provide direct methods to access primitive types	blob \| commitdiff \| diff to current
2015-03-10	Jean Privat	Merge: Abstract attribute	blob \| commitdiff \| diff to current
2015-02-26	Jean Privat	rta: log results of analysis in the log directory	blob \| commitdiff \| diff to current
2015-02-26	Jean Privat	rta: do not drop abstract methods. abstract method...	blob \| commitdiff \| diff to current
2015-01-05	Jean Privat	rta: `live_targets` do not crash when the receiver...	blob \| commitdiff \| diff to current
2014-12-09	Jean-Christophe...	csv: Allow output customization.	blob \| commitdiff \| diff to current
2014-12-09	Jean-Christophe...	csv: Clean `CsvDocument` a little bit.	blob \| commitdiff \| diff to current
2014-12-04	Jean Privat	modelize: add and use method `collect_attr_propdef`	blob \| commitdiff \| diff to current
2014-12-04	Jean Privat	modelize: add and use method mpropdef2node	blob \| commitdiff \| diff to current
2014-11-05	Jean Privat	src: update most tools to new constructors	blob \| commitdiff \| diff to current
2014-10-31	Jean Privat	tools: accept statement block in attributes	blob \| commitdiff \| diff to current
2014-10-23	Jean Privat	typing: ANew distinguish the type of the class and...	blob \| commitdiff \| diff to current
2014-10-23	Jean Privat	model: `new` factories have a return type.	blob \| commitdiff \| diff to current
2014-10-23	Jean Privat	model-clients: use `is_root_init` instead of `.name...	blob \| commitdiff \| diff to current
2014-10-11	Jean Privat	Merge: new option --define	blob \| commitdiff \| diff to current
2014-10-10	Jean Privat	mixin: introduce -D option to redefine functions from...	blob \| commitdiff \| diff to current
2014-10-09	Jean Privat	compiler: implements method_finish (partially)	blob \| commitdiff \| diff to current
2014-10-01	Jean Privat	Merge: engines: no more `super_inits` method used in...	blob \| commitdiff \| diff to current
2014-10-01	Jean Privat	src: reduce warnings and spelling errors	blob \| commitdiff \| diff to current
2014-10-01	Jean Privat	engines: no more `super_inits` method used in old-style...	blob \| commitdiff \| diff to current
2014-09-10	Alexis Laferrière	Merge branch 'master' into polymorphic_extern_classes	blob \| commitdiff \| diff to current
2014-09-10	Alexis Laferrière	nitg*: extern classes a polymorph in Nit, and unboxed...	blob \| commitdiff \| diff to current
2014-09-03	Jean Privat	src: cleanup importations	blob \| commitdiff \| diff to current
2014-09-03	Jean Privat	src: add new hub modules to regroup related things...	blob \| commitdiff \| diff to current
2014-08-20	Jean Privat	src: introduce new constructors	blob \| commitdiff \| diff to current
2014-08-16	Jean Privat	auto_super_init: handle the case of constructors redefi...	blob \| commitdiff \| diff to current
2014-08-14	Jean Privat	rta: `add_super_send` uses live_classes instead of...	blob \| commitdiff \| diff to current
2014-08-14	Jean Privat	src: add some asserts on `super` related things	blob \| commitdiff \| diff to current
2014-08-12	Alexis Laferrière	nitg & lib: intro `Finalizable` to be called when an...	blob \| commitdiff \| diff to current
2014-08-06	Jean Privat	engines: the entry point is `sys.run` or else `sys...	blob \| commitdiff \| diff to current
2014-07-24	Jean Privat	src: use `as_notnullable` in code	blob \| commitdiff \| diff to current
2014-05-13	Jean Privat	rta: micro-factorization of call on `msignature`	blob \| commitdiff \| diff to current
2014-05-12	Jean Privat	src: remove remaining references of subclasses on AMeth...	blob \| commitdiff \| diff to current
2014-04-25	Jean Privat	rta: do not try to remove things from a set in iteration	blob \| commitdiff \| diff to current
2014-04-25	Jean Privat	rta: add_monomorphic_send mark the mproperty as live	blob \| commitdiff \| diff to current
2014-04-25	Jean Privat	rta: guard `add_send` with a specific set, instead...	blob \| commitdiff \| diff to current
2014-03-28	Jean Privat	Merge: CallSite on AFor and ARange	blob \| commitdiff \| diff to current
2014-03-26	Jean Privat	typing: add `ARangeExpr::init_callsite` and use it...	blob \| commitdiff \| diff to current
2014-03-26	Jean Privat	rta: use callsites in AFor instead re-resolving stuff	blob \| commitdiff \| diff to current
2014-03-26	Jean Privat	rta: add live_callsites and live_callsites	blob \| commitdiff \| diff to current
2014-03-13	Jean Privat	Merge branch 'dump_rta'	blob \| commitdiff \| diff to current
2014-03-12	Jean Privat	rta: add `live_methods_to_tree` to provide human-readab...	blob \| commitdiff \| diff to current
2014-03-12	Jean Privat	rta: add `live_types_to_csv` to provide human-readable...	blob \| commitdiff \| diff to current
2014-03-11	Jean Privat	src: use `ASuperExpr::mpropdef` instead of asking the...	blob \| commitdiff \| diff to current
2014-03-05	Jean Privat	auto_super_init: use CallSite	blob \| commitdiff \| diff to current
2014-02-28	Jean Privat	rta: store real types in live_cast_type	blob \| commitdiff \| diff to current
2014-02-24	Jean Privat	Merge commit 'b7e675f'	blob \| commitdiff \| diff to current
2014-02-24	Jean Privat	RTA: force primitive types to be alive	blob \| commitdiff \| diff to current
2014-02-21	Jean Privat	rta: use callsites to do the analysis	blob \| commitdiff \| diff to current
2014-02-17	Alexis Laferrière	model: rta uses its visitor only to visit FFI extern...	blob \| commitdiff \| diff to current
2014-02-12	Jean Privat	rta: check the type NativeArray before the method with_...	blob \| commitdiff \| diff to current
2014-02-12	Jean Privat	rta: use `to_s_with_length` instead of `to_s` in litera...	blob \| commitdiff \| diff to current
2013-08-29	Lucas Bajolet	nitg: Modified compilation routine to avoid use of...	blob \| commitdiff \| diff to current
2013-08-09	Jean Privat	parser: `Visitor::visit` does not accepts `null`	blob \| commitdiff \| diff to current
2013-08-09	Jean Privat	model: try_get_primitive_method asks for a MClass ...	blob \| commitdiff \| diff to current
2013-08-05	Jean Privat	rta: new RTA without customization nor heterogeneous...	blob \| commitdiff \| diff to current
2013-08-03	Jean Privat	rta: add RapidTypeAnalysis::live_classes	blob \| commitdiff \| diff to current
2013-07-27	Jean Privat	Merge branch 'bench'	blob \| commitdiff \| diff to current
2013-07-27	Jean Privat	Merge branch 'annotations'	blob \| commitdiff \| diff to current
2013-07-26	Jean Privat	rta: ASuperExpr use linearized polymorphic super-call	blob \| commitdiff \| diff to current
2013-07-25	Jean Privat	nitg: add more info (for -v)	blob \| commitdiff \| diff to current
2013-07-25	Jean Privat	rta: do not enter in annotations	blob \| commitdiff \| diff to current
2013-01-25	Jean Privat	niti, nitg & rta: use lookup_first_definition	blob \| commitdiff \| diff to current
2012-12-07	Jean Privat	nitg: implements implicit casts for unsafe nexpr	blob \| commitdiff \| diff to current
2012-11-29	Jean Privat	rta: consider type tests for covariant signatures	blob \| commitdiff \| diff to current
next

Nit language project; an oo programing language and its tool suite.

RSS Atom