nitlanguage
/
nit.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
cleanup: remove old 'special' keyword
[nit.git]
/
src
/
2013-02-20
Jean Privat
cleanup: remove old 'special' keyword
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
2013-01-23
Jean Privat
niti: test null receiver on attribute access
tree
|
commitdiff
2013-01-23
Jean Privat
niti: add covariance checks
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
next