nitlanguage
/
nit.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
nitg-s: cleaned AbstractColoring::colorize method
[nit.git]
/
src
/
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
2012-12-17
Jean Privat
bench: forgot ".dat" on some prepare_res
tree
|
commitdiff
2012-12-17
Jean Privat
fix: bench: ad --no-cc for nitg test on run_compiler
tree
|
commitdiff
2012-12-17
Jean Privat
bench: better order in options-typing and policy
tree
|
commitdiff
2012-12-17
Jean Privat
bench: store count on plot file
tree
|
commitdiff
2012-12-17
Jean Privat
bench: ad --no-cc for nitg test on run_compiler
tree
|
commitdiff
2012-12-16
Jean Privat
nitg-s&e: clean nullable management on type_test
tree
|
commitdiff
2012-12-16
Jean Privat
bench: add bench_typetest_languages
tree
|
commitdiff
2012-12-16
Jean Privat
nitg: add GlobalCompiler::new_file
tree
|
commitdiff
2012-12-15
Jean Privat
model: semi-fixed bounds for VirtualType
tree
|
commitdiff
2012-12-14
Jean Privat
bench: add --fast and reorganize bench
tree
|
commitdiff
2012-12-14
Jean Privat
benchs: add bench_policy
tree
|
commitdiff
2012-12-14
Jean Privat
nitg-s: skip some easy-case tests
tree
|
commitdiff
2012-12-14
Jean Privat
nitg: add option --typing-test-metrics
tree
|
commitdiff
2012-12-14
Jean Privat
nitg: shortcut 'for' loops on explicit ranges
tree
|
commitdiff
2012-12-14
Jean Privat
nitg: autoadapt expression on exit
tree
|
commitdiff
2012-12-14
Jean Privat
nitg: protect for additional arguments
tree
|
commitdiff
2012-12-13
Jean Privat
nitg: use GC_MALLOC_ATOMIC for calloc_string
tree
|
commitdiff
2012-12-13
Jean Privat
nitg-s: shortcut the == invocation
tree
|
commitdiff
2012-12-13
Jean Privat
nitg-s: fix opt_generic_tree with opt_hardening
tree
|
commitdiff
2012-12-13
Jean Privat
fix opt_no_union_attribute
tree
|
commitdiff
2012-12-13
Jean Privat
nitg-s&e: implements attributes in a C union
tree
|
commitdiff
2012-12-12
Jean Privat
nitg: better creation of varargs instances
tree
|
commitdiff
2012-12-12
Jean Privat
niti: *_class_name use the full type name
tree
|
commitdiff
2012-12-12
Jean Privat
nitg-s: add hardening on initialization
tree
|
commitdiff
2012-12-12
Jean Privat
nitg-s: implements unanchored_table correctly
tree
|
commitdiff
2012-12-11
Jean Privat
nitg-s: implements calloc_array by calling native_array...
tree
|
commitdiff
2012-12-11
Jean Privat
nitg-s: remove superfluous autobox
tree
|
commitdiff
2012-12-11
Jean Privat
nitg-s: add primitive types to the set of mtypes
tree
|
commitdiff
2012-12-11
Jean Privat
nitg-s: rename fields Xts to types to be consistant...
tree
|
commitdiff
2012-12-11
Jean Privat
nitg: disable Boehm's GC by defining the macro NOBOEHM
tree
|
commitdiff
2012-12-11
Jean Privat
bench: compare nitg-e with various compiler and -O...
tree
|
commitdiff
2012-12-11
Jean Privat
nitg: add option --make-flags to pass options to make
tree
|
commitdiff
2012-12-11
Jean Privat
bench: add bench_nitc_vc_nitg
tree
|
commitdiff
2012-12-11
Jean Privat
bench: replace shootout_binarytrees with bench_bintree_gen
tree
|
commitdiff
2012-12-11
Jean Privat
nitg-s&e: store class_names directly in the type/class...
tree
|
commitdiff
2012-12-11
Jean Privat
nitg-e: make HASH a macro, not a function
tree
|
commitdiff
2012-12-10
Jean Privat
benchs: add nitg-s to benchs
tree
|
commitdiff
2012-12-10
Jean Privat
bench: factorize some benchs
tree
|
commitdiff
2012-12-10
Jean Privat
nitg-s&e: compile module in local knowledge
tree
|
commitdiff
2012-12-10
Jean Privat
Merge remote-tracking branch 'alexandre/master'
tree
|
commitdiff
2012-12-09
Alexandre Terrasa
nitg-e: avoid automatic boxing in vt resolution
tree
|
commitdiff
2012-12-09
Alexandre Terrasa
nitg-s/-e: avoid compilation of emtpy vt/ft/unanchored...
tree
|
commitdiff
2012-12-09
Alexandre Terrasa
nitg-s: merged fts, vts and unanchored struct types...
tree
|
commitdiff
2012-12-09
Alexandre Terrasa
nitg-s: reorder struct type fields
tree
|
commitdiff
2012-12-09
Alexandre Terrasa
nitg-s: introduce unanchored resolution tables.
tree
|
commitdiff
2012-12-09
Jean Privat
Merge remote-tracking branch 'alexandre/master'
tree
|
commitdiff
2012-12-09
Jean Privat
nitg-e: add option --no-check-erasure-cast to disable...
tree
|
commitdiff
2012-12-09
Jean Privat
nitg-e: implements erasure-cast
tree
|
commitdiff
2012-12-09
Jean Privat
typing: add CallSite::erasure_cast to indicate if a...
tree
|
commitdiff
2012-12-09
Jean Privat
nitg: add v.compile_callsite to generate the send assoc...
tree
|
commitdiff
2012-12-09
Jean Privat
typing: attach CallSite instances to AST nodes
tree
|
commitdiff
2012-12-09
Alexandre Terrasa
nitg-s: retrieve recursively all partial generic types
tree
|
commitdiff
2012-12-09
Jean Privat
typing: new class CallSite
tree
|
commitdiff
2012-12-09
Alexandre Terrasa
nitg-s: add cast to remove c warnings
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
benchs: add entry for nitg-e with inline colors, bm...
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
coloring: replace static bound of OrderedSet[nullable...
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
nitg-s/-e: rename c variable "type" in body function...
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
Merge remote-tracking branch 'github-privat/master'
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
nitg-s: introduce formal type perfect hashing
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
nitg-s/-e: introduce virtual type perfect hashing
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
nitg-s: limit table access by factoring c code
tree
|
commitdiff
2012-12-08
Jean Privat
nitg-s: instantiate the right array in case of unresolv...
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
nitg-s/-e: make typing related option names simpler
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
nitg-s: option --use-naive-coloring now affects FT...
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
nitg-s/-e: always use coloration for attributes and...
tree
|
commitdiff
2012-12-08
Jean Privat
nitg-s: allocate HashSet[MType] for conflicts_graph_cache
tree
|
commitdiff
2012-12-08
Jean Privat
bench: split and specialize "options" benchs
tree
|
commitdiff
2012-12-08
Jean Privat
bench: do not crash on die, just flag the failed command
tree
|
commitdiff
2012-12-08
Jean Privat
nitg: do not compile main during the instantiation
tree
|
commitdiff
2012-12-08
Alexandre Terrasa
nitg-s/-e: add option --use-*-perfect-hashing
tree
|
commitdiff
2012-12-07
Jean Privat
Merge remote branch 'alexandre/master'
tree
|
commitdiff
2012-12-07
Jean Privat
nitg: implements implicit casts for unsafe nexpr
tree
|
commitdiff
2012-12-07
Jean Privat
niti: implements implicit casts for unsafe nexpr
tree
|
commitdiff
2012-12-07
Jean Privat
typing: new attribute AExpr::implicit_cast_to
tree
|
commitdiff
2012-12-07
Jean Privat
typing: the return of check_subtype can distinguish...
tree
|
commitdiff
2012-12-07
Jean Privat
model: rewrite of MType::is_subtype
tree
|
commitdiff
2012-12-07
Alexandre Terrasa
nitg: refactoring
tree
|
commitdiff
2012-12-06
Alexandre Terrasa
nitg-s/-e: Add option --use-naive-coloring
tree
|
commitdiff
2012-12-06
Alexandre Terrasa
nitg-e: change empty slots representation in vt tables...
tree
|
commitdiff
2012-12-06
Alexandre Terrasa
nitg-s: add --inline-coloring-numbers option
tree
|
commitdiff
2012-12-06
Alexandre Terrasa
nitg-s/-e: refactor property coloring for use of #define
tree
|
commitdiff
2012-12-06
Alexandre Terrasa
nitg-s: rename SeparateCompiler:do_global_type_coloring...
tree
|
commitdiff
2012-12-06
Alexandre Terrasa
nitg-s/-e: move compiler.header initialisation into...
tree
|
commitdiff
2012-12-06
Alexandre Terrasa
nitg/nitg-s: move MParameterType::c_name and MNullableT...
tree
|
commitdiff
2012-12-06
Alexandre Terrasa
Merge remote-tracking branch 'github-privat/master'
tree
|
commitdiff
2012-12-06
Alexandre Terrasa
nitg-s/nitg-e: handles nullable virtual type based...
tree
|
commitdiff
2012-12-06
Jean Privat
niti: do not output object_id (not reliable)
tree
|
commitdiff
2012-12-05
Jean Privat
nitg: check_init_instance use a call CHECK_NEW_XXX
tree
|
commitdiff
2012-12-05
Jean Privat
nig: localize init_expr in attributes
tree
|
commitdiff
2012-12-05
Jean Privat
nitg: factorize Compiler#generate_init_attr
tree
|
commitdiff
2012-12-05
Jean Privat
nitg: check_init_instance require a type
tree
|
commitdiff
2012-12-05
Jean Privat
bench: compilation_time: replace nitg.bin by nitg-e
tree
|
commitdiff
next