nitlanguage
/
nit.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
ni: fixed display of multiple search results
2013-03-06
Alexandre Terrasa
layout_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 Terrasa
layout_builders: Introduced interface PropertyLayoutBuilder...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-05
Alexandre Terrasa
layout_builders: Introduced interface ResolutionLayoutBuilder
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-05
Alexandre Terrasa
layout_builders: Introduced ResolutionHasher (for future...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-05
Alexandre Terrasa
layout_builders: Moved routines from CLResolutionLayoutBuild...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-05
Alexandre Terrasa
layout_builders: Introduced ResolutionBMizer (for future...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-05
Alexandre Terrasa
layout_builders: simplified ResolutionLayoutBuilder...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-05
Alexandre Terrasa
layout_builders: Unified interface for TypingLayoutBuilder
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-05
Alexandre Terrasa
layout_builders: Introduce TypingHasher (for future...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-05
Alexandre Terrasa
layout_builders: Introduce BMizer class (for future...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-05
Alexandre Terrasa
layout_builders: merged CLTypeLayoutBuilder and CLClassLayou...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
layout_builders: simplified interface for TypingLayoutBuilder
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
layout_builders: delegated linearization to colorer
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
layout_builders: renamed AbstractColorer in TypingColorer
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
layout_builders: merged PHLayout & PHResolutionLayout
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
layout_builders: renamed PHTypingLayout in PHLayout...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
layout_builders: removed useless ResolutionLayout class
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
layout_builders: renamed TypingLayout in Layout (for...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: renamed unanchored in unresolved
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg: added explicit super calls with arguments to...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
layout_builders: added static bounds to generic types...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
tests: updated nitg expected result with new options
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
tests: removed generic tree option from Makefile
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
layout_builders: better filtering of mproperties in...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s/u: changed table metrics computation and output
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s removed useless type_layout_builder attribute
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s/e: removed useless classids attribute
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: renamed coloring module in layout_builders
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-se: fixed bug in subtyping type with phmod
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: removed useless perfect hashers from coloring...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: introduced unique perfect hasher
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg: moved model facilities from coloring to abstract_compiler
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-se: MProperty layout does not depend anymore on...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: removed old unanchored coloring
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: separete compiler now use ResolutionLayoutBuilder
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: introduced resolution layout builders
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: moved resolution table building to separate_compiler
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: removed useless retrieve_anchored_livetype...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: removed useless property and class coloring
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: mproperty layout construction now use new layout...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: introduced PropertyLayoutBuilder
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: cleaned up attributes used for FT coloring
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: removed FTColoring since it was replaced by...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-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 Terrasa
nitg-s: removed useless LiveEntryColoring since there...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: moved build_property_table from coloring to...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: merged TypeLayoutBuilder and ClassLayoutBuilder...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: merged TypeLayout and ClassLayout into generic...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: modified PropertyColoring to use mmodule queries...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: cleaned useless ClassColoring uses
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-se: now using ClassLayoutBuilder
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: introduced class table layouts
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: introduced ancestor AbstractHasher for MTypeHasher
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: organized and cleaned coloring module
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-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 Terrasa
nitg-s: merged typeids, type_colors and type_masks...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: replaced TypePerfectHashing by PHTypeLayoutBuilder
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: replaced TypeColoring by CLTypeLayoutBuilder
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: replaced NaiveTypeColoring by BMTypeLayoutBuilder
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: inserted layout builder concept in coloring
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: moved class tables building from coloring to...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: moved type tables building from coloring to...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: changed module importation for module coloring
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-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 Terrasa
nitg-s: cleaned AbstractColoring::colorize method
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: changed signature of colorize method to accept...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: replaced model queries from colorers by MModule...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: added model exploration facilities in redef...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: removed OrderedSet replaced it by refinements...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: removed generic tree option
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg: added class AbstractCompiler to refactor nitg...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2013-03-04
Alexandre Terrasa
nitg-s: Added stats output for compilation process
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-09
Alexandre Terrasa
nitg-e: avoid automatic boxing in vt resolution
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-09
Alexandre Terrasa
nitg-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 Terrasa
nitg-s: merged fts, vts and unanchored struct types...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-09
Alexandre Terrasa
nitg-s: reorder struct type fields
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-09
Alexandre Terrasa
nitg-s: introduce unanchored resolution tables.
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-09
Alexandre Terrasa
nitg-s: retrieve recursively all partial generic types
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-09
Alexandre Terrasa
nitg-s: add cast to remove c warnings
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-08
Alexandre Terrasa
benchs: 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 Terrasa
tests: 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 Terrasa
tests: 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 Terrasa
coloring: replace static bound of OrderedSet[nullable...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-08
Alexandre Terrasa
nitg-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 Terrasa
Merge remote-tracking branch 'github-privat/master'
commit
|
commitdiff
|
tree
2012-12-08
Alexandre Terrasa
nitg-s: introduce formal type perfect hashing
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-08
Alexandre Terrasa
nitg-s/-e: introduce virtual type perfect hashing
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-08
Alexandre Terrasa
nitg-s: limit table access by factoring c code
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-08
Alexandre Terrasa
nitg-s/-e: make typing related option names simpler
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-08
Alexandre Terrasa
nitg-s: option --use-naive-coloring now affects FT...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-08
Alexandre Terrasa
nitg-s/-e: always use coloration for attributes and...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-08
Alexandre Terrasa
nitg-s/-e: add option --use-*-perfect-hashing
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-07
Alexandre Terrasa
nitg: refactoring
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-06
Alexandre Terrasa
nitg-s/-e: Add option --use-naive-coloring
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-06
Alexandre Terrasa
nitg-e: change empty slots representation in vt tables...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-06
Alexandre Terrasa
nitg: 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 Terrasa
nitg-s: add --inline-coloring-numbers option
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-06
Alexandre Terrasa
nitg-s/-e: refactor property coloring for use of #define
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-06
Alexandre Terrasa
nitg-s: rename SeparateCompiler:do_global_type_coloring...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
2012-12-06
Alexandre Terrasa
nitg-s/-e: move compiler.header initialisation into...
Signed-off-by: Alexandre Terrasa <
alexandre@moz-code.org
>
commit
|
commitdiff
|
tree
next