update NOTICE and LICENSE
[nit.git] / src /
2010-07-16 Jean Privatcompile: filter some loops in program icode generation
2010-07-16 Jean Privatmetamodel: use HashSets instead of Arrays
2010-06-28 Jean PrivatMerge branch 'syntax_flow_and_scope' into wip
2010-06-24 Jean Privattools: add a valgrind helper script
2010-06-24 Jean Privatsyntax: merge ScopeContext and EscapeContext
2010-06-24 Jean Privatsyntax: split the VariableContext into a Scope and...
2010-06-24 Jean Privatsyntax: new enter_visit_block helper function
2010-06-24 Jean Privatsyntax: new mark_unreash helper function
2010-06-24 Jean Privatsyntax: factorize some block/loop structures
2010-06-15 Jean Privatsyntax: new "or else" construction
2010-03-11 Jean Privatsyntax: "super" is a synonym of "special"
2010-02-15 Jean Privaticode: link INative with a MMMethod instead of a raw...
2010-02-15 Jean Privatmetamodel: move the extern name of a method in the...
2010-02-15 Jean Privaticode: add I*Value classes
2010-02-15 Jean Privatcompile: declare NEW_NativeArray in nit_common.h
2010-02-15 Jean Privatcompile: add class compiling::CProgram to manage genera...
2010-02-15 Jean Privatcompile: use writers in icode compilation
2010-02-15 Jean Privatcompile: add module compiling_writer to replace CContext
2010-02-15 Jean Privattools: nc kill showerr on TERM/INT
2010-01-26 Jean Privatsyntax: refuse return in default closure definition
2010-01-22 Jean Privatmetamodel: lazily compute global properties
2010-01-22 Jean Privatsyntax: do not inherit and check all local properties
2010-01-21 Jean Privatanalysis: improve alocate_register_slots
2010-01-21 Jean Privatanalysis: simplify icode inlining
2010-01-19 Jean Privatanalysis: inline Int::enumerate_*
2010-01-18 Jean Privatsyntax: type error when using superstrings with nullables
2010-01-18 Jean Privatsyntax: fix code using superstrings with nullables
2010-01-18 Jean Privatsyntax: remove reachability test in ABreakExpr
2010-01-18 Jean Privatsyntax: do not nest variable context in ABlockExpr
2010-01-15 Jean Privatsyntax: allow 'null == x' and 'null != x'
2010-01-15 Jean Privatsyntax: track exits context in do blocks
2010-01-15 Jean Privatsyntax: remove VariableContex::stype=
2010-01-14 Jean Privatsyntax: stmts after loops without breaks are unreashables
2010-01-14 Jean Privatsyntax: prepare stmts following loops to be unreachable
2010-01-14 Jean Privatsyntax: unreachable statements are errors
2010-01-14 Jean Privatsyntax: while/loop exit type evolution
2010-01-14 Jean Privatsyntax: fix type evolution on non nullable type
2010-01-14 Jean Privatsyntax: comparing a variable with null makes it evolve...
2010-01-14 Jean Privatsyntax: merge nullable information on type evolution
2010-01-14 Jean Privatsyntax: prevent segfault on null types
2010-01-14 Jean Privatsyntax: untyped local variables are 'nullable Object'
2010-01-14 Jean Privatsyntax: real variable type evolution on IfexprExpr
2010-01-14 Jean Privatsyntax: fix variable context merge on unreashable branches
2010-01-14 Jean Privatnitdoc: correctly display the package path before the...
2010-01-14 Jean Privatparser: fix comment in Makefile
2010-01-11 Alexis Laferrièrecompile: add program arguments passed to C compiler...
2010-01-11 Alexis Laferrièrecompile: rename program argument no_cc to no-cc for...
2010-01-11 Jean-Sebastien Gelinascompile: remove '--dump', replaced by '--output-format...
2010-01-11 Jean-Sebastien Gelinascompile: add 'icode' as output type
2010-01-11 Jean-Sebastien Gelinasicode: add a way to output icodes without line numbers...
2010-01-11 Jean-Sebastien Gelinascompile: add a way to choose generated output format
2010-01-11 Jean-Sebastien Gelinasanalysis: add logs to dead method removal optimization
2010-01-11 Jean-Sebastien Gelinasanalysis: add logs for 'out of init getter tests' optim...
2010-01-11 Jean-Sebastien Gelinasanalysis: add 'dump_global_optimizations_information...
2010-01-11 Jean-Sebastien Gelinasanalysis: add an optimization to remove 'getter' tests...
2010-01-11 Jean-Sebastien Gelinasanalysis: add implementation for reachable methods...
2010-01-11 Jean-Sebastien Gelinasanalysis: add logs for reachable from init analysis
2010-01-11 Jean-Sebastien Gelinasanalysis: add an analysis to know if a method/iroutine...
2010-01-11 Jean-Sebastien Gelinasanalysis: fix RTA implementation for inherited methods
2010-01-11 Jean-Sebastien Gelinasanalysis: add support for 'Inline__' in RTA
2010-01-11 Jean-Sebastien Gelinasanalysis: inline getters/setters before analysis
2010-01-11 Jean-Sebastien Gelinasanalysis: split optimization in two groups: pre and...
2010-01-11 Jean-Sebastien Gelinasanalysis: add logs to reachable as init analysis
2010-01-11 Jean-Sebastien Gelinasanalysis: add the implementation of the reachable as...
2010-01-11 Jean-Sebastien Gelinasanalysis: add an analysis to find reachable init (used...
2010-01-11 Jean-Sebastien Gelinascompile: generate tables only for live local classes
2010-01-11 Jean-Sebastien Gelinasanalysis: fix RTA to say that at least primitive types...
2010-01-11 Jean-Sebastien Gelinasparser: remove useless methods from generated parser...
2010-01-11 Jean-Sebastien Gelinastools: add log information about instantiated and not...
2010-01-11 Jean-Sebastien Gelinastools: add log information about reachable and unreacha...
2010-01-11 Jean-Sebastien Gelinascompile: use 'with_each_iroutines' to go through irouti...
2010-01-11 Jean-Sebastien Gelinasanalysis: refine with_each_live_local_classes in Instan...
2010-01-11 Jean-Sebastien Gelinastools: generate logs in a selected directory
2010-01-11 Jean-Sebastien Gelinastools: add a function to go through every classes in...
2010-01-11 Jean-Sebastien Gelinastools: add a function to go through every methods in...
2010-01-11 Jean-Sebastien Gelinastools: add a function to go through every IRoutines...
2009-09-15 Jean Privaticode: inline foreign icloscall and ihasclos
2009-09-15 Jean Privatnitdoc: workaround for a broken assertion
2009-09-14 Jean-Sebastien Gelinasoptimize: add a callgraph builder: RTA
2009-09-14 Jean-Sebastien Gelinasoptimize: add a callgraph builder: CHA
2009-09-14 Jean-Sebastien Gelinasoptimize: add a dead method removal optimization
2009-09-14 Jean-Sebastien Gelinasoptimize: add optimization basis
2009-09-11 Jean-Sebastien Gelinascompile: move table computation after all global analysis
2009-09-11 Jean-Sebastien Gelinascompile: move some class processing to program to do...
2009-09-11 Jean-Sebastien Gelinascompile: remove ClassSorter, use sort with block instead
2009-09-11 Jean-Sebastien Gelinascompile: move MMLocalClass::compare to AbstractMetamode...
2009-09-04 Jean Privatparser: accepts "print a[b]"
2009-09-01 Jean-Sebastien Gelinascompile: add command line option to disable SFT optimiz...
2009-09-01 Jean-Sebastien Gelinascompile: when in global compilation, compile to _glob...
2009-09-01 Jean-Sebastien Gelinascompile: move 'global' option to program instead of...
2009-09-01 Jean-Sebastien Gelinascompile: add ToolContext to Program
2009-09-01 Jean-Sebastien Gelinascompile: rename do_global_analysis to do_global_table_a...
2009-09-01 Jean-Sebastien Gelinascompile: move management and generation of iroutines...
2009-08-31 Jean Privatnitdoc: show closure in signatures
2009-08-28 Jean Privatsyntax: warn on 'while true do' and suggests 'loop'
2009-08-28 Jean Privatsrc: use 'loop' for infinite loop and do-until-like
2009-08-27 Jean Privaticode: shortcut in icode generation of 'for x in [y...
2009-08-27 Jean Privaticode: inline Array::iterate
2009-08-27 Jean Privaticode: generate closure for 'for'
2009-08-27 Jean Privattools: activate -v and sometime -W on some commands
next