nitlanguage / nit.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
layout_builders: optimization of PropertyBMizer using linearization
2013-03-06 Alexandre Terrasalayout_builders: optimization of PropertyBMizer using...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-06 Alexandre Terrasalayout_builders: replaced property extraction in specialized...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-06 Alexandre Terrasalayout_builders: introduced PropertyBMizer
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-06 Alexandre Terrasalayout_builders: modified nitg-s & nitg-e to use PropertyLay...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-06 Alexandre Terrasalayout_builders: Introduced interface PropertyLayoutBuilder...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-05 Alexandre Terrasalayout_builders: Introduced interface ResolutionLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-05 Alexandre Terrasalayout_builders: Introduced ResolutionHasher (for future...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-05 Alexandre Terrasalayout_builders: Moved routines from CLResolutionLayoutBuild...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-05 Alexandre Terrasalayout_builders: Introduced ResolutionBMizer (for future...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-05 Alexandre Terrasalayout_builders: simplified ResolutionLayoutBuilder...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-05 Alexandre Terrasalayout_builders: Unified interface for TypingLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-05 Alexandre Terrasalayout_builders: Introduce TypingHasher (for future...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-05 Alexandre Terrasalayout_builders: Introduce BMizer class (for future...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-05 Alexandre Terrasalayout_builders: merged CLTypeLayoutBuilder and CLClassLayou...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasalayout_builders: simplified interface for TypingLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasalayout_builders: delegated linearization to colorer
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasalayout_builders: renamed AbstractColorer in TypingColorer
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasalayout_builders: merged PHLayout & PHResolutionLayout
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasalayout_builders: renamed PHTypingLayout in PHLayout...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasalayout_builders: removed useless ResolutionLayout class
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasalayout_builders: renamed TypingLayout in Layout (for...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: renamed unanchored in unresolved
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg: added explicit super calls with arguments to...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasalayout_builders: added static bounds to generic types...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasatests: updated nitg expected result with new options
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasatests: removed generic tree option from Makefile
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasalayout_builders: better filtering of mproperties in...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s/u: changed table metrics computation and output
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s removed useless type_layout_builder attribute
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s/e: removed useless classids attribute
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: renamed coloring module in layout_builders
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-se: fixed bug in subtyping type with phmod
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: removed useless perfect hashers from coloring...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: introduced unique perfect hasher
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg: moved model facilities from coloring to abstract_compiler
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-se: MProperty layout does not depend anymore on...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: removed old unanchored coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: separete compiler now use ResolutionLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: introduced resolution layout builders
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: moved resolution table building to separate_compiler
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: removed useless retrieve_anchored_livetype...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: removed useless property and class coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: mproperty layout construction now use new layout...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: introduced PropertyLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: cleaned up attributes used for FT coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: removed FTColoring since it was replaced by...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: removed compile_type_fts_table and compile_type_vts_...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: removed useless LiveEntryColoring since there...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: moved build_property_table from coloring to...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: merged TypeLayoutBuilder and ClassLayoutBuilder...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: merged TypeLayout and ClassLayout into generic...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: modified PropertyColoring to use mmodule queries...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: cleaned useless ClassColoring uses
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-se: now using ClassLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: introduced class table layouts
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: introduced ancestor AbstractHasher for MTypeHasher
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: organized and cleaned coloring module
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: merged build_type_table and hash_type_table
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: merged typeids, type_colors and type_masks...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: replaced TypePerfectHashing by PHTypeLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: replaced TypeColoring by CLTypeLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: replaced NaiveTypeColoring by BMTypeLayoutBuilder
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: inserted layout builder concept in coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: moved class tables building from coloring to...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: moved type tables building from coloring to...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: changed module importation for module coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: element set is no more required at colorer...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: cleaned AbstractColoring::colorize method
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: changed signature of colorize method to accept...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: replaced model queries from colorers by MModule...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: added model exploration facilities in redef...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: removed OrderedSet replaced it by refinements...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: removed generic tree option
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg: added class AbstractCompiler to refactor nitg...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2013-03-04 Alexandre Terrasanitg-s: Added stats output for compilation process
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-09 Alexandre Terrasanitg-e: avoid automatic boxing in vt resolution
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-09 Alexandre Terrasanitg-s/-e: avoid compilation of emtpy vt/ft/unanchored...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-09 Alexandre Terrasanitg-s: merged fts, vts and unanchored struct types...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-09 Alexandre Terrasanitg-s: reorder struct type fields
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-09 Alexandre Terrasanitg-s: introduce unanchored resolution tables.
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-09 Alexandre Terrasanitg-s: retrieve recursively all partial generic types
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-09 Alexandre Terrasanitg-s: add cast to remove c warnings
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasabenchs: add entry for nitg-e with inline colors, bm...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasatests: add goals in makefile for nitg-s/-e with --bm...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasatests: update option list for nitg, nitg-s & nitg-e
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasacoloring: replace static bound of OrderedSet[nullable...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasanitg-s/-e: rename c variable "type" in body function...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre TerrasaMerge remote-tracking branch 'github-privat/master'
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasanitg-s: introduce formal type perfect hashing
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasanitg-s/-e: introduce virtual type perfect hashing
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasanitg-s: limit table access by factoring c code
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasanitg-s/-e: make typing related option names simpler
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasanitg-s: option --use-naive-coloring now affects FT...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasanitg-s/-e: always use coloration for attributes and...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-08 Alexandre Terrasanitg-s/-e: add option --use-*-perfect-hashing
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-07 Alexandre Terrasanitg: refactoring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-06 Alexandre Terrasanitg-s/-e: Add option --use-naive-coloring
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-06 Alexandre Terrasanitg-e: change empty slots representation in vt tables...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-06 Alexandre Terrasanitg: fix tests/sav/nitg with new options added in...
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
2012-12-06 Alexandre Terrasanitg-s: add --inline-coloring-numbers option
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
 commit | commitdiff | tree
next
Nit language project; an oo programing language and its tool suite.