nit.git
10 years agolib: intro the android implementation of mnit
Alexis Laferrière [Fri, 7 Feb 2014 15:51:43 +0000 (10:51 -0500)]
lib: intro the android implementation of mnit

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoshare: intro a README file to explain the sub-folders
Alexis Laferrière [Fri, 7 Mar 2014 22:05:05 +0000 (17:05 -0500)]
share: intro a README file to explain the sub-folders

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoMerge remote-tracking branch 'alexis/ffi-fix'
Jean Privat [Fri, 7 Mar 2014 21:15:53 +0000 (16:15 -0500)]
Merge remote-tracking branch 'alexis/ffi-fix'

10 years agonitg: collect_super_send detects callbacks to super from C
Alexis Laferrière [Fri, 7 Mar 2014 20:37:20 +0000 (15:37 -0500)]
nitg: collect_super_send detects callbacks to super from C

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg: activate FFI in all engines
Alexis Laferrière [Wed, 5 Mar 2014 15:30:09 +0000 (10:30 -0500)]
nitg: activate FFI in all engines

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agotests: do not skip opengles2_hello_triangle in nitg-s
Alexis Laferrière [Thu, 6 Mar 2014 13:17:10 +0000 (08:17 -0500)]
tests: do not skip opengles2_hello_triangle in nitg-s

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agotests: skip test_json in both nitg-s and nitg-e
Alexis Laferrière [Fri, 7 Mar 2014 20:42:44 +0000 (15:42 -0500)]
tests: skip test_json in both nitg-s and nitg-e

10 years agoMerge remote-tracking branch 'alexis/cleanup-curl'
Jean Privat [Fri, 7 Mar 2014 20:21:14 +0000 (15:21 -0500)]
Merge remote-tracking branch 'alexis/cleanup-curl'

10 years agoexample: fix and simplify the curl_http example
Alexis Laferrière [Fri, 7 Mar 2014 19:24:31 +0000 (14:24 -0500)]
example: fix and simplify the curl_http example

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoexamples: fix curl_mail with latest changes to the lib
Alexis Laferrière [Fri, 7 Mar 2014 19:24:10 +0000 (14:24 -0500)]
examples: fix curl_mail with latest changes to the lib

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoexamples: fix indentation of curl examples
Alexis Laferrière [Fri, 7 Mar 2014 19:15:22 +0000 (14:15 -0500)]
examples: fix indentation of curl examples

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib/curl: remove indirect creation of basic requests
Alexis Laferrière [Thu, 6 Mar 2014 20:18:32 +0000 (15:18 -0500)]
lib/curl: remove indirect creation of basic requests

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib/curl: clean up CurlMailRequest::init
Alexis Laferrière [Thu, 6 Mar 2014 20:06:07 +0000 (15:06 -0500)]
lib/curl: clean up CurlMailRequest::init

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib/curl: clean up surperfluous types
Alexis Laferrière [Thu, 6 Mar 2014 20:05:25 +0000 (15:05 -0500)]
lib/curl: clean up surperfluous types

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoMerge remote-tracking branch 'alexandre/nitmetrics'
Jean Privat [Fri, 7 Mar 2014 19:23:59 +0000 (14:23 -0500)]
Merge remote-tracking branch 'alexandre/nitmetrics'

10 years agotests: update tests for nitmetrics
Alexandre Terrasa [Fri, 7 Mar 2014 18:44:37 +0000 (13:44 -0500)]
tests: update tests for nitmetrics

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agometrics: introduce Mendel analysis
Alexandre Terrasa [Fri, 7 Mar 2014 06:04:03 +0000 (01:04 -0500)]
metrics: introduce Mendel analysis

This analysis can be used to extract interesting classes from a class hierarchy

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agometrics: min and max return the element instead of a couple
Alexandre Terrasa [Fri, 7 Mar 2014 06:19:44 +0000 (01:19 -0500)]
metrics: min and max return the element instead of a couple

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agometrics: refactor RTA metrics
Alexandre Terrasa [Fri, 7 Mar 2014 01:13:18 +0000 (20:13 -0500)]
metrics: refactor RTA metrics

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agolib: rename Counter::total into Counter::sum
Alexandre Terrasa [Fri, 7 Mar 2014 01:12:45 +0000 (20:12 -0500)]
lib: rename Counter::total into Counter::sum

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agoshare/png: add Android specific makefiles to the png library
Alexis Laferrière [Wed, 19 Feb 2014 19:49:29 +0000 (14:49 -0500)]
share/png: add Android specific makefiles to the png library

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoMerge branch 'callsite'
Jean Privat [Fri, 7 Mar 2014 15:59:39 +0000 (10:59 -0500)]
Merge branch 'callsite'

Annother short clean-n-prepare series for the new inits

10 years agoMerge branch 'fix_hashcol_enlarge'
Jean Privat [Fri, 7 Mar 2014 15:58:47 +0000 (10:58 -0500)]
Merge branch 'fix_hashcol_enlarge'

10 years agoshare/png: configure the png library for android
Alexis Laferrière [Wed, 19 Feb 2014 19:47:44 +0000 (14:47 -0500)]
share/png: configure the png library for android

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoshare/png: intro the libpng base code for the Android platform
Alexis Laferrière [Wed, 19 Feb 2014 19:37:19 +0000 (14:37 -0500)]
share/png: intro the libpng base code for the Android platform

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agometrics: make MetricSet output csv
Alexandre Terrasa [Thu, 6 Mar 2014 06:31:40 +0000 (01:31 -0500)]
metrics: make MetricSet output csv

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agolib: allow client to edit csv header by and instead of set_header
Alexandre Terrasa [Thu, 6 Mar 2014 22:05:41 +0000 (17:05 -0500)]
lib: allow client to edit csv header by and instead of set_header

10 years agolib: csv get file to save in save instead of init
Alexandre Terrasa [Thu, 6 Mar 2014 06:06:23 +0000 (01:06 -0500)]
lib: csv get file to save in save instead of init

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agometrics: add Number of Local MProperty class metric
Alexandre Terrasa [Thu, 6 Mar 2014 15:40:49 +0000 (10:40 -0500)]
metrics: add Number of Local MProperty class metric

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agometrics: print std_dev for each metric
Alexandre Terrasa [Fri, 7 Mar 2014 06:18:12 +0000 (01:18 -0500)]
metrics: print std_dev for each metric

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agolib: add standard derivation computation to counter
Alexandre Terrasa [Thu, 6 Mar 2014 17:55:44 +0000 (12:55 -0500)]
lib: add standard derivation computation to counter

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agometrics: add to_console method to pretty print metrics result in console
Alexandre Terrasa [Fri, 7 Mar 2014 06:17:08 +0000 (01:17 -0500)]
metrics: add to_console method to pretty print metrics result in console

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agometrics: move up collect in MetricSet
Alexandre Terrasa [Thu, 6 Mar 2014 15:36:54 +0000 (10:36 -0500)]
metrics: move up collect in MetricSet

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agometrics: move up collect method in Metric
Alexandre Terrasa [Thu, 6 Mar 2014 15:35:19 +0000 (10:35 -0500)]
metrics: move up collect method in Metric

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agometrics: move up values method in Metric interface
Alexandre Terrasa [Fri, 7 Mar 2014 06:10:14 +0000 (01:10 -0500)]
metrics: move up values method in Metric interface

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agolib/hashcol: forgot to nullify a link in `HashCollection::enlarge`
Jean Privat [Thu, 6 Mar 2014 21:35:14 +0000 (16:35 -0500)]
lib/hashcol: forgot to nullify a link in `HashCollection::enlarge`

Thus caused buggy bucklet-link update in `HashSet::remove`
Thus caused buggy transitive reduction in `POSet::add_edge`
Thus caused buggy coloration in `layout_builders`
Thus caused buggy type test tables in `SeparateCompiler::compile_type_to_c`
Thus caused buggy type tests in programs

Fixes #307
Signed-off-by: Jean Privat <jean@pryen.org>

10 years agolib/curl: fix indentation
Alexis Laferrière [Thu, 6 Mar 2014 18:27:36 +0000 (13:27 -0500)]
lib/curl: fix indentation

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg-e: all extern type use the C structures of kernel::Pointer
Alexis Laferrière [Thu, 6 Mar 2014 12:39:13 +0000 (07:39 -0500)]
nitg-e: all extern type use the C structures of kernel::Pointer

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg-s: all extern type use the C structures of kernel::Pointer
Alexis Laferrière [Tue, 4 Mar 2014 21:45:07 +0000 (16:45 -0500)]
nitg-s: all extern type use the C structures of kernel::Pointer

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg-s: fix importation of custom C header between modules
Alexis Laferrière [Tue, 4 Mar 2014 21:45:32 +0000 (16:45 -0500)]
nitg-s: fix importation of custom C header between modules

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg-s: fix "No provided declaration" with FFI casts
Alexis Laferrière [Wed, 5 Mar 2014 22:45:39 +0000 (17:45 -0500)]
nitg-s: fix "No provided declaration" with FFI casts

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg: fix FFI error with arguments name of extern methods
Alexis Laferrière [Wed, 5 Mar 2014 22:45:04 +0000 (17:45 -0500)]
nitg: fix FFI error with arguments name of extern methods

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg: fix C return type of callbacks to Nit
Alexis Laferrière [Wed, 5 Mar 2014 15:45:53 +0000 (10:45 -0500)]
nitg: fix C return type of callbacks to Nit

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib: fix version of GTK for is_visible
Alexis Laferrière [Thu, 6 Mar 2014 17:10:55 +0000 (12:10 -0500)]
lib: fix version of GTK for is_visible

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoMerge remote-tracking branch 'alexis/android-platform'
Jean Privat [Thu, 6 Mar 2014 18:04:13 +0000 (13:04 -0500)]
Merge remote-tracking branch 'alexis/android-platform'

Add support to compile for Android with nitg. When the "android" module
is imported, nitg will generate an APK instead of a binary,

The option --no-stacktrace must be used for Android. This is why we
expect the test to fail.

The generate applications are not usable (as of yet) since they are only
console

To do next:

* Solve the --no-stacktrace problem.
* Implement mnit for Android

10 years agoMerge branch 'error_req_loop'
Jean Privat [Thu, 6 Mar 2014 18:03:45 +0000 (13:03 -0500)]
Merge branch 'error_req_loop'

10 years agotests: error_req_loop*
Jean Privat [Thu, 6 Mar 2014 13:44:34 +0000 (08:44 -0500)]
tests: error_req_loop*

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agomodelbuilder: display error in case of dependency loop
Jean Privat [Thu, 6 Mar 2014 13:43:46 +0000 (08:43 -0500)]
modelbuilder: display error in case of dependency loop

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agoMerge branch 'fast_nitx'
Jean Privat [Thu, 6 Mar 2014 13:38:15 +0000 (08:38 -0500)]
Merge branch 'fast_nitx'

10 years agomodel_utils: better class hierarchy exploration
Alexandre Terrasa [Thu, 6 Mar 2014 07:36:43 +0000 (02:36 -0500)]
model_utils: better class hierarchy exploration

Now the mainmodule is taken into account to explore the mclass hierarchy
Also, the user can specify a min_visibility to filter things

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agoauto_super_init: use CallSite
Jean Privat [Wed, 5 Mar 2014 20:50:08 +0000 (15:50 -0500)]
auto_super_init: use CallSite

this will simplify calls on (future) new-style init since the logic
will be in the CallSite part.

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agoauto_super_init: clean signature check
Jean Privat [Wed, 5 Mar 2014 20:43:08 +0000 (15:43 -0500)]
auto_super_init: clean signature check

use local variables to improve code

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agonitx: only depends on modelize_property instead of the full frontend
Jean Privat [Wed, 5 Mar 2014 20:20:24 +0000 (15:20 -0500)]
nitx: only depends on modelize_property instead of the full frontend

~~~
$ time ../bin/nitx nitg.nit :q # before
real 0m2.775s
user 0m2.660s
sys 0m0.112s
$ time ./nitx nitg.nit :q # after
real 0m1.436s
user 0m1.328s
sys 0m0.104s
~~~

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agoMerge remote-tracking branch 'alexandre/fix-float'
Jean Privat [Wed, 5 Mar 2014 20:02:17 +0000 (15:02 -0500)]
Merge remote-tracking branch 'alexandre/fix-float'

10 years agomodelbuilder: avoid infinitive recursion in case of module importation loops
Jean Privat [Wed, 5 Mar 2014 19:40:21 +0000 (14:40 -0500)]
modelbuilder: avoid infinitive recursion in case of module importation loops

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agolib: fixed nan on floats
Alexandre Terrasa [Wed, 5 Mar 2014 18:49:51 +0000 (13:49 -0500)]
lib: fixed nan on floats

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agolib: cleaned trailing spaces in string
Alexandre Terrasa [Wed, 5 Mar 2014 16:23:39 +0000 (11:23 -0500)]
lib: cleaned trailing spaces in string

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>

10 years agolib: fixed infinity on floats
Alexandre Terrasa [Wed, 5 Mar 2014 16:23:11 +0000 (11:23 -0500)]
lib: fixed infinity on floats

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>

10 years agoniti: add method `NaiveInterpreter.callsite` to prepare complex callsite
Jean Privat [Wed, 5 Mar 2014 16:39:13 +0000 (11:39 -0500)]
niti: add method `NaiveInterpreter.callsite` to prepare complex callsite

This will enable the extension of the behavior, especially for new init.

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agoMerge branch 'map'
Jean Privat [Wed, 5 Mar 2014 15:34:50 +0000 (10:34 -0500)]
Merge branch 'map'

fixes #303

10 years agolib/more_collection: MultiHashMap associates new arrays to unknown keys
Jean Privat [Tue, 4 Mar 2014 17:03:19 +0000 (12:03 -0500)]
lib/more_collection: MultiHashMap associates new arrays to unknown keys

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agolib: add `provide_default_value` in Map to allow subclasses to provide
Jean Privat [Tue, 4 Mar 2014 17:03:06 +0000 (12:03 -0500)]
lib: add `provide_default_value` in Map to allow subclasses to provide
specific behavior when there is no value associated with a key.

The default behavior is to abort, as usual.

Basically this patch factorizes the `abort` in a single function that can
be redefined.

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agolib: fix extern type of NativeFile
Alexis Laferrière [Wed, 5 Mar 2014 13:08:26 +0000 (08:08 -0500)]
lib: fix extern type of NativeFile

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib: fix missing FFI imports in gtk3_4
Alexis Laferrière [Tue, 4 Mar 2014 21:46:23 +0000 (16:46 -0500)]
lib: fix missing FFI imports in gtk3_4

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoMerge remote-tracking branch 'alexis/ffi-fix'
Jean Privat [Tue, 4 Mar 2014 19:39:13 +0000 (14:39 -0500)]
Merge remote-tracking branch 'alexis/ffi-fix'

In most cases the generated code use a wrong types (Custom types in
extern classes aren't visible inside the main generated code). Also
fixed an alias.

10 years agotests: skip android related test in niti
Alexis Laferrière [Fri, 28 Feb 2014 20:17:29 +0000 (15:17 -0500)]
tests: skip android related test in niti

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agotests: minimal test for compilation to android
Alexis Laferrière [Fri, 28 Feb 2014 20:16:36 +0000 (15:16 -0500)]
tests: minimal test for compilation to android

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoandroid: adds support for the android platform
Alexis Laferrière [Tue, 25 Feb 2014 05:09:57 +0000 (00:09 -0500)]
android: adds support for the android platform

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg: intro the platform concept
Alexis Laferrière [Mon, 17 Feb 2014 14:17:03 +0000 (09:17 -0500)]
nitg: intro the platform concept

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg: refactor the ToolChain class by adding an abstract super class
Alexis Laferrière [Tue, 25 Feb 2014 05:09:11 +0000 (00:09 -0500)]
nitg: refactor the ToolChain class by adding an abstract super class

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg: extract toolchain methods into a new ToolChain class
Alexis Laferrière [Sat, 22 Feb 2014 18:11:33 +0000 (13:11 -0500)]
nitg: extract toolchain methods into a new ToolChain class

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg: fix generated code for call to super from C
Alexis Laferrière [Tue, 4 Mar 2014 17:34:07 +0000 (12:34 -0500)]
nitg: fix generated code for call to super from C

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg: fix generated signature for FFI cast
Alexis Laferrière [Wed, 12 Feb 2014 21:00:38 +0000 (16:00 -0500)]
nitg: fix generated signature for FFI cast

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agonitg: fix FFI _is_null functions
Alexis Laferrière [Thu, 13 Feb 2014 01:03:24 +0000 (20:03 -0500)]
nitg: fix FFI _is_null functions

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoMerge remote-tracking branch 'alexis/various-fixes-for-games'
Jean Privat [Tue, 4 Mar 2014 16:31:09 +0000 (11:31 -0500)]
Merge remote-tracking branch 'alexis/various-fixes-for-games'

Latest additions to the standard library for Round'n Round.

The Float::abs implemetation corrects a bug present in master.

10 years agolib: add `MapRead::get_or_null` to provide a more standard usage of Maps
Jean Privat [Tue, 4 Mar 2014 15:07:15 +0000 (10:07 -0500)]
lib: add `MapRead::get_or_null` to provide a more standard usage of Maps

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agoMerge branch 'benchs'
Jean Privat [Mon, 3 Mar 2014 20:21:39 +0000 (15:21 -0500)]
Merge branch 'benchs'

the `benchmarks/bench_engines.sh` script was not updated for the
*killnitc* transition.

This series cleaup the file, making it usable again.

10 years agobenchs: provide .gitignore to ignore generated files
Jean Privat [Mon, 3 Mar 2014 20:20:47 +0000 (15:20 -0500)]
benchs: provide .gitignore to ignore generated files

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agoMerge remote-tracking branch 'alexis/mnit-fixes-and-numbers'
Jean Privat [Mon, 3 Mar 2014 18:37:24 +0000 (13:37 -0500)]
Merge remote-tracking branch 'alexis/mnit-fixes-and-numbers'

This time we fix the Linux side of mnit and add the NumberImages class
to easily display numbers. Finally you can know your score when playing
Crazy Moles!

10 years agolib/math: fix Float::abs
Alexis Laferrière [Mon, 3 Mar 2014 16:46:25 +0000 (11:46 -0500)]
lib/math: fix Float::abs

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib/sdl: use (or not) SDL mouse motion events
Alexis Laferrière [Mon, 3 Mar 2014 16:46:09 +0000 (11:46 -0500)]
lib/sdl: use (or not) SDL mouse motion events

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib/opengles1: fix duplicated drawing of triangles
Alexis Laferrière [Mon, 3 Mar 2014 16:45:31 +0000 (11:45 -0500)]
lib/opengles1: fix duplicated drawing of triangles

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib/mnit: cleanup code
Alexis Laferrière [Mon, 3 Mar 2014 16:45:17 +0000 (11:45 -0500)]
lib/mnit: cleanup code

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib: adds reference to last turn in bucketed_game
Alexis Laferrière [Mon, 3 Mar 2014 16:42:35 +0000 (11:42 -0500)]
lib: adds reference to last turn in bucketed_game

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoexamples/moles: display score using mnit numbers
Alexis Laferrière [Mon, 3 Mar 2014 14:30:55 +0000 (09:30 -0500)]
examples/moles: display score using mnit numbers

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agomnit: intro the numbers module
Alexis Laferrière [Tue, 11 Feb 2014 15:54:17 +0000 (10:54 -0500)]
mnit: intro the numbers module

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agobenchs: fix bench_compilation_time
Jean Privat [Mon, 3 Mar 2014 15:26:36 +0000 (10:26 -0500)]
benchs: fix bench_compilation_time

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agobenchs: rename bench_nitg-g_options-hardening to slower
Jean Privat [Mon, 3 Mar 2014 15:26:14 +0000 (10:26 -0500)]
benchs: rename bench_nitg-g_options-hardening to slower

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agobenchs: compile last nitg from bin/nitg
Jean Privat [Mon, 3 Mar 2014 15:25:40 +0000 (10:25 -0500)]
benchs: compile last nitg from bin/nitg

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agobenchs: remove old nitc related benchs
Jean Privat [Mon, 3 Mar 2014 15:20:24 +0000 (10:20 -0500)]
benchs: remove old nitc related benchs

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agoexamples: update Makefiles of mnit examples to use nitg-g
Alexis Laferrière [Mon, 3 Mar 2014 14:29:27 +0000 (09:29 -0500)]
examples: update Makefiles of mnit examples to use nitg-g

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoexamples/dino: replace closure by a custom sorter
Alexis Laferrière [Fri, 7 Feb 2014 16:42:42 +0000 (11:42 -0500)]
examples/dino: replace closure by a custom sorter

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib/mnit_linux: use annotations to link with libraries
Alexis Laferrière [Mon, 3 Mar 2014 14:34:43 +0000 (09:34 -0500)]
lib/mnit_linux: use annotations to link with libraries

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib/mnit_linux: very minor style fix
Alexis Laferrière [Mon, 3 Mar 2014 14:34:05 +0000 (09:34 -0500)]
lib/mnit_linux: very minor style fix

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agolib/mnit_linux: update to latest FFI spec
Alexis Laferrière [Fri, 7 Feb 2014 16:58:38 +0000 (11:58 -0500)]
lib/mnit_linux: update to latest FFI spec

Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>

10 years agoMerge branch 'hardening_types'
Jean Privat [Fri, 28 Feb 2014 21:15:36 +0000 (16:15 -0500)]
Merge branch 'hardening_types'

10 years agoversion 0.6.4 v0.6.4
Jean Privat [Fri, 28 Feb 2014 21:03:37 +0000 (16:03 -0500)]
version 0.6.4

Signed-off-by: Jean Privat <jean@pryen.org>

10 years agoMerge remote-tracking branch 'alexandre/nitmetrics'
Jean Privat [Fri, 28 Feb 2014 18:50:20 +0000 (13:50 -0500)]
Merge remote-tracking branch 'alexandre/nitmetrics'

10 years agoMerge remote-tracking branch 'alexandre/nitdoc-requirejs'
Jean Privat [Fri, 28 Feb 2014 18:49:52 +0000 (13:49 -0500)]
Merge remote-tracking branch 'alexandre/nitdoc-requirejs'

Made some cleaning on the nitdoc JS. All JS plugins are migrated to
JQuery widgets. JS is now loaded lazily.

10 years agonitg-s: remove partial_types
Jean Privat [Fri, 28 Feb 2014 18:35:32 +0000 (13:35 -0500)]
nitg-s: remove partial_types

rta and nitg-s now do the right thing for detecting and compiling type tests.
The partial types hack is thus useless.

Signed-off-by: Jean Privat <jean@pryen.org>