nitlanguage
/
nit.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge remote-tracking branch 'alexandre/master' into master
[nit.git]
/
src
/
2013-03-07
Jean Privat
Merge remote-tracking branch 'alexandre/master' into...
tree
|
commitdiff
2013-03-06
Alexandre Terrasa
layout_builders: optimization of PropertyBMizer using...
tree
|
commitdiff
2013-03-06
Alexandre Terrasa
layout_builders: replaced property extraction in specia...
tree
|
commitdiff
2013-03-06
Alexandre Terrasa
layout_builders: introduced PropertyBMizer
tree
|
commitdiff
2013-03-06
Alexandre Terrasa
layout_builders: modified nitg-s & nitg-e to use Proper...
tree
|
commitdiff
2013-03-06
Alexandre Terrasa
layout_builders: Introduced interface PropertyLayoutBui...
tree
|
commitdiff
2013-03-05
Alexandre Terrasa
layout_builders: Introduced interface ResolutionLayoutB...
tree
|
commitdiff
2013-03-05
Alexandre Terrasa
layout_builders: Introduced ResolutionHasher (for futur...
tree
|
commitdiff
2013-03-05
Alexandre Terrasa
layout_builders: Moved routines from CLResolutionLayout...
tree
|
commitdiff
2013-03-05
Alexandre Terrasa
layout_builders: Introduced ResolutionBMizer (for futur...
tree
|
commitdiff
2013-03-05
Alexandre Terrasa
layout_builders: simplified ResolutionLayoutBuilder...
tree
|
commitdiff
2013-03-05
Alexandre Terrasa
layout_builders: Unified interface for TypingLayoutBuilder
tree
|
commitdiff
2013-03-05
Alexandre Terrasa
layout_builders: Introduce TypingHasher (for future...
tree
|
commitdiff
2013-03-05
Alexandre Terrasa
layout_builders: Introduce BMizer class (for future...
tree
|
commitdiff
2013-03-05
Alexandre Terrasa
layout_builders: merged CLTypeLayoutBuilder and CLClass...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
layout_builders: simplified interface for TypingLayoutB...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
layout_builders: delegated linearization to colorer
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
layout_builders: renamed AbstractColorer in TypingColorer
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
layout_builders: merged PHLayout & PHResolutionLayout
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
layout_builders: renamed PHTypingLayout in PHLayout...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
layout_builders: removed useless ResolutionLayout class
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
layout_builders: renamed TypingLayout in Layout (for...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: renamed unanchored in unresolved
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg: added explicit super calls with arguments to...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
layout_builders: added static bounds to generic types...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
layout_builders: better filtering of mproperties in...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s/u: changed table metrics computation and output
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s removed useless type_layout_builder attribute
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s/e: removed useless classids attribute
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: renamed coloring module in layout_builders
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-se: fixed bug in subtyping type with phmod
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: removed useless perfect hashers from coloring...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: introduced unique perfect hasher
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg: moved model facilities from coloring to abstract_...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-se: MProperty layout does not depend anymore on...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: removed old unanchored coloring
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: separete compiler now use ResolutionLayoutBuilder
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: introduced resolution layout builders
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: moved resolution table building to separate_com...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: removed useless retrieve_anchored_livetype...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: removed useless property and class coloring
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: mproperty layout construction now use new layou...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: introduced PropertyLayoutBuilder
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: cleaned up attributes used for FT coloring
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: removed FTColoring since it was replaced by...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: removed compile_type_fts_table and compile_type...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: removed useless LiveEntryColoring since there...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: moved build_property_table from coloring to...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: merged TypeLayoutBuilder and ClassLayoutBuilder...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: merged TypeLayout and ClassLayout into generic...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: modified PropertyColoring to use mmodule querie...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: cleaned useless ClassColoring uses
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-se: now using ClassLayoutBuilder
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: introduced class table layouts
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: introduced ancestor AbstractHasher for MTypeHasher
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: organized and cleaned coloring module
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: merged build_type_table and hash_type_table
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: merged typeids, type_colors and type_masks...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: replaced TypePerfectHashing by PHTypeLayoutBuilder
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: replaced TypeColoring by CLTypeLayoutBuilder
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: replaced NaiveTypeColoring by BMTypeLayoutBuilder
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: inserted layout builder concept in coloring
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: moved class tables building from coloring to...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: moved type tables building from coloring to...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: changed module importation for module coloring
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: element set is no more required at colorer...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: cleaned AbstractColoring::colorize method
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: changed signature of colorize method to accept...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: replaced model queries from colorers by MModule...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: added model exploration facilities in redef...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: removed OrderedSet replaced it by refinements...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: removed generic tree option
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg: added class AbstractCompiler to refactor nitg...
tree
|
commitdiff
2013-03-04
Alexandre Terrasa
nitg-s: Added stats output for compilation process
tree
|
commitdiff
2013-02-07
Jean Privat
Merge remote-tracking branch 'alexis/ffi-in-nitc'
tree
|
commitdiff
2013-02-06
Alexis Laferrière
nitc/ffi: adds full FFI support for C to nitc
tree
|
commitdiff
2013-02-06
Alexis Laferrière
nitc/ffi: allows to declare C type of extern classes...
tree
|
commitdiff
2013-02-06
Alexis Laferrière
nitc/ffi: adds a variable to know if a module uses...
tree
|
commitdiff
2013-02-06
Alexis Laferrière
nitc/ffi: adds the extern_inline module to manage forei...
tree
|
commitdiff
2013-02-06
Alexis Laferrière
compiling: moves up the compiling_writer module to...
tree
|
commitdiff
2013-02-06
Alexis Laferrière
niti: adds tools to compile C code
tree
|
commitdiff
2013-02-06
Alexis Laferrière
nitc: adds module name and license to separate_options
tree
|
commitdiff
2013-02-05
Jean Privat
flow: force the creation of a specific merge after...
tree
|
commitdiff
2013-02-05
Jean Privat
flow: AProxyExpr do not lose true/false context information
tree
|
commitdiff
2013-02-05
Jean Privat
flow: fix dot file---forgot the closing }
tree
|
commitdiff
2013-02-05
Jean Privat
flow: use the correct entry point in visit_expr
tree
|
commitdiff
2013-02-05
Jean Privat
flow: rewrite AOrExpr to be symmetric with AAndExpr
tree
|
commitdiff
2013-02-05
Jean Privat
flow: do not lose the after_expr context in AAssertExpr
tree
|
commitdiff
2013-02-01
Alexis Laferrière
ffi: adds the FFI syntax to the grammar
tree
|
commitdiff
2013-01-31
Jean Privat
typing: remove NOT YET IMPLEMENTED in ASuperExpr
tree
|
commitdiff
2013-01-31
Jean Privat
model: implements lookup_*_definition with linearization
tree
|
commitdiff
2013-01-31
Jean Privat
model: add linearize_mclasses, linearize_mclassdefs...
tree
|
commitdiff
2013-01-31
Jean Privat
POSet is an AbstractSorter
tree
|
commitdiff
2013-01-25
Jean Privat
nitg: new complier service supercall
tree
|
commitdiff
2013-01-25
Jean Privat
model: implements lookup_next_definition
tree
|
commitdiff
2013-01-25
Jean Privat
typing: enable calls on a conflicting local property...
tree
|
commitdiff
2013-01-25
Jean Privat
niti, nitg & rta: use lookup_first_definition
tree
|
commitdiff
2013-01-25
Jean Privat
model: implements lookup_first_definition with a defaul...
tree
|
commitdiff
2013-01-25
Jean Privat
modelbuilder: check inheritance loops
tree
|
commitdiff
2013-01-24
Jean Privat
niti: disable interpretor_type_test
tree
|
commitdiff
next