Jean Privat [Sat, 16 Nov 2013 14:49:05 +0000 (09:49 -0500)]
cleanup some remaining nitc
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 16 Nov 2013 14:45:38 +0000 (09:45 -0500)]
provide nitc as a wrapper to nitg
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 16 Nov 2013 14:29:10 +0000 (09:29 -0500)]
tests: remove old nitc
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 16 Nov 2013 14:21:38 +0000 (09:21 -0500)]
src: remove old metamodel and nitc
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Sat, 16 Nov 2013 14:04:51 +0000 (09:04 -0500)]
use nitg to bootstrap; drop bootstrap of nitc
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 19 Nov 2013 01:14:31 +0000 (20:14 -0500)]
mkcsrc: copy .c and .h file to avoid the break of the bootstrap
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 14 Nov 2013 20:00:05 +0000 (15:00 -0500)]
Merge remote-tracking branch 'lucas/nitx_integration'
Lucas Bajolet [Thu, 14 Nov 2013 18:21:40 +0000 (13:21 -0500)]
Moved NitIndex redefintion from Debugger to Nitx
Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>
Jean Privat [Thu, 14 Nov 2013 12:02:26 +0000 (07:02 -0500)]
Merge remote-tracking branch 'alexis/game_framework'
Alexis Laferrière [Thu, 14 Nov 2013 04:42:57 +0000 (23:42 -0500)]
tests: correct extension of test_a_star expected result
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 14 Nov 2013 04:39:09 +0000 (23:39 -0500)]
lib/a_star: adds doc to Link class
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 14 Nov 2013 04:35:39 +0000 (23:35 -0500)]
lib/a_star: use asserts in module documentation
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 14 Nov 2013 04:33:06 +0000 (23:33 -0500)]
lib/bucketed_game: make the GameEvent an interface
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Thu, 14 Nov 2013 03:17:45 +0000 (22:17 -0500)]
Merge remote-tracking branch 'lucas/nitx_integration'
Jean Privat [Thu, 14 Nov 2013 03:17:36 +0000 (22:17 -0500)]
Merge remote-tracking branch 'alexis/ready-for-ffi'
Alexis Laferrière [Thu, 14 Nov 2013 00:55:32 +0000 (19:55 -0500)]
lib/bucketed_game: add Apply logic to game events
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 14 Nov 2013 00:53:23 +0000 (19:53 -0500)]
lib/bucketed_game: fix virtual type usage
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 14 Nov 2013 00:41:40 +0000 (19:41 -0500)]
Merge branch 'privat' into game_framework
Lucas Bajolet [Wed, 13 Nov 2013 20:50:01 +0000 (15:50 -0500)]
Added nit index to debugger.nit
Signed-off-by: Lucas Bajolet <r4pass@hotmail.com>
Alexis Laferrière [Wed, 13 Nov 2013 20:33:25 +0000 (15:33 -0500)]
Merge branch 'privat' into ready-for-ffi
Conflicts:
lib/md5/md5.nit
lib/md5/md5.nit.c
Jean Privat [Tue, 12 Nov 2013 15:02:40 +0000 (10:02 -0500)]
phases: remove useless module dependencies
now that the super of nitc is fixed
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 15:01:26 +0000 (10:01 -0500)]
tests: add base_orelse2
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 06:47:19 +0000 (01:47 -0500)]
typing: `or else` fallback to Object
now you can write
print "bla: {toto or else "n/a"}"
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 05:54:28 +0000 (00:54 -0500)]
model: really implement precondition of lookup_first_definition
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 05:38:08 +0000 (00:38 -0500)]
modelbuilder: extra-warn useless type declaration of attributes
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 03:21:46 +0000 (22:21 -0500)]
src: remove old style attributes in nitg-related clases
parser and lib remains
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 03:02:09 +0000 (22:02 -0500)]
modelbuilder: prevent names of formal type to have lowercases
fixes #97
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 12 Nov 2013 01:12:58 +0000 (20:12 -0500)]
lib: move counter more_collections and poset to lib/
They may be useful to other, even if not really API-clean.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 11 Nov 2013 18:27:42 +0000 (13:27 -0500)]
Merge branch 'tests'
Jean Privat [Mon, 11 Nov 2013 18:27:07 +0000 (13:27 -0500)]
tests: add missing sav for libs nitcc_runtime and sqlite3
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 11 Nov 2013 13:53:03 +0000 (08:53 -0500)]
tests: strict order on tests.sh
Each engine has a strict order for sav/ to look at.
Error is issued if the first in the order is not the expected result.
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Mon, 11 Nov 2013 13:51:18 +0000 (08:51 -0500)]
tests: cleanup sav directory
only .res (no more .sav or .fail)
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 8 Nov 2013 05:38:49 +0000 (00:38 -0500)]
tests: remove store_save.sh
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Sun, 10 Nov 2013 15:16:05 +0000 (10:16 -0500)]
lib: adds Discrete::times as a shortcut to Range
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 8 Nov 2013 20:39:17 +0000 (15:39 -0500)]
lib: update signals module to use FFI
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Fri, 8 Nov 2013 20:26:24 +0000 (15:26 -0500)]
lib: update module md5 to use FFI
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Fri, 8 Nov 2013 21:26:24 +0000 (16:26 -0500)]
tools: add mkcsrc2 prototype to bootstrap with nitg from C
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 8 Nov 2013 21:17:42 +0000 (16:17 -0500)]
tests: update nitg.res
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 8 Nov 2013 21:15:44 +0000 (16:15 -0500)]
nitg: add option --compile-dir to change the default compile directory
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Fri, 8 Nov 2013 21:15:03 +0000 (16:15 -0500)]
nitg: path in Makefile is relative to the compile_dir
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 7 Nov 2013 21:49:29 +0000 (16:49 -0500)]
Merge remote-tracking branch 'alexandre/nitdoc'
Alexandre Terrasa [Thu, 7 Nov 2013 18:48:43 +0000 (13:48 -0500)]
nitg: fixes iterators crashes for test in
62cdb9a9633767baafb04f66fdad79a46d2e9a69
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Thu, 7 Nov 2013 18:16:25 +0000 (13:16 -0500)]
make: add --private to newmodel documentation
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Jean Privat [Thu, 7 Nov 2013 17:56:41 +0000 (12:56 -0500)]
tests: display binary, name and options of current engine
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 7 Nov 2013 16:41:40 +0000 (11:41 -0500)]
tests: rename engine `nitg` to `nitg-g` ; alias `nitg` to `nitg-s`
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 7 Nov 2013 16:24:23 +0000 (11:24 -0500)]
tests: FIXME `for` crashes with formal types
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 7 Nov 2013 04:58:26 +0000 (23:58 -0500)]
lib/mnit: do not use "loop do"
the break is now attached to the do, not the loop
Signed-off-by: Jean Privat <jean@pryen.org>
Alexis Laferrière [Thu, 7 Nov 2013 04:37:29 +0000 (23:37 -0500)]
lib/a_star: fix check for max_cost (is more reliable)
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 7 Nov 2013 04:16:36 +0000 (23:16 -0500)]
tests/a_star: adds a test using heuristics
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 7 Nov 2013 04:15:10 +0000 (23:15 -0500)]
lib/a_star: fix use of virtual types in PathContext
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Wed, 6 Nov 2013 20:20:51 +0000 (15:20 -0500)]
lib/a_star: use heuristic (it is now A*)
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sun, 3 Nov 2013 03:07:43 +0000 (23:07 -0400)]
lib/a_star: minor clean up
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sun, 3 Nov 2013 02:29:19 +0000 (22:29 -0400)]
lib/a_star: adds a larger test
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sun, 3 Nov 2013 02:28:49 +0000 (22:28 -0400)]
lib/a_star: replace some class parameters with virtual types
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 2 Nov 2013 20:36:40 +0000 (16:36 -0400)]
lib/a_star: renames virtual type E to N
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 2 Nov 2013 16:57:31 +0000 (12:57 -0400)]
lib: intro the a_star module (even though it is not yet A*)
Still need to support the heuristic.
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 2 Nov 2013 17:19:33 +0000 (13:19 -0400)]
lib: adds sqrt, sin and cos to Int
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 2 Nov 2013 17:19:11 +0000 (13:19 -0400)]
lib: intro the bucketed_game module, providing basic game logic
Used by LoL and Nit forest simulator.
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Thu, 7 Nov 2013 04:19:12 +0000 (23:19 -0500)]
scope: break and continue affect the nearest do/end
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 6 Nov 2013 15:46:07 +0000 (07:46 -0800)]
doc: add a unit test for has_prefix
Jean Privat <jean@pryen.org>
Jean Privat [Wed, 6 Nov 2013 15:47:55 +0000 (10:47 -0500)]
Makefile: use `git rev-parse HEAD` instead of crazy `git show` commands
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 6 Nov 2013 11:53:47 +0000 (06:53 -0500)]
Merge remote-tracking branch 'alexandre/nitdoc'
Alexandre Terrasa [Wed, 6 Nov 2013 00:55:27 +0000 (19:55 -0500)]
nitdoc: Replace old nitdoc by nitdoc_ni
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Nov 2013 00:54:30 +0000 (19:54 -0500)]
added swap files, tests results and Eclipse project file to git ignore
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexandre Terrasa [Wed, 6 Nov 2013 00:53:39 +0000 (19:53 -0500)]
modelbuilder: avoid multiple load of the same module
Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
Alexis Laferrière [Sat, 2 Nov 2013 14:46:11 +0000 (10:46 -0400)]
lib/mnit: adds missing link with X11 lib
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Fri, 1 Nov 2013 00:19:25 +0000 (20:19 -0400)]
nitcc: remove the use of NaiveCollection
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 22:37:14 +0000 (18:37 -0400)]
Merge branch 'nitcc'
Jean Privat [Thu, 31 Oct 2013 22:33:28 +0000 (18:33 -0400)]
nitcc: cleanup README (TODO use github Task List)
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 16:32:53 +0000 (12:32 -0400)]
nitcc: add test/ignored
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 16:32:23 +0000 (12:32 -0400)]
nitcc: allows elem_list in Ignored
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 20:40:26 +0000 (16:40 -0400)]
nitcc: avoid conflict in ignored for test/empty
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 16:27:53 +0000 (12:27 -0400)]
nitcc: add Token::build_nfa to isolate concerns
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 15:12:45 +0000 (11:12 -0400)]
nitcc: classes and elements allow any forms of text
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 14:27:17 +0000 (10:27 -0400)]
nitcc: add Empty keyword
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 03:08:56 +0000 (23:08 -0400)]
nitcc: add test/conflict-bracket and test/conflitc-dangling
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 03:07:37 +0000 (23:07 -0400)]
nitcc: improve auto-dangling
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Thu, 31 Oct 2013 03:06:34 +0000 (23:06 -0400)]
nitcc: improve displaying of firsts/afters/lookahead
since thez are now Items, not Tokens
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 20:17:20 +0000 (16:17 -0400)]
nitcc: add test/priority.input1
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 20:12:35 +0000 (16:12 -0400)]
nitcc: add automatic Dangling
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 18:57:56 +0000 (14:57 -0400)]
Merge remote-tracking branch 'alexis/ready-for-ffi'
Alexis Laferrière [Fri, 2 Aug 2013 16:23:37 +0000 (12:23 -0400)]
model: all extern classes are subclasses of Pointer
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 31 Aug 2013 14:55:46 +0000 (10:55 -0400)]
nitg: adds process_nclassdef to Phase
Will be used by FFI's language visitors.
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Sat, 19 Oct 2013 14:01:21 +0000 (10:01 -0400)]
lib: adds `from_a` constructor to all processes (and cleanup whitespaces)
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Thu, 13 Jun 2013 12:10:55 +0000 (08:10 -0400)]
lib: adds Pointer::address_is_null to kernel module
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Alexis Laferrière [Wed, 31 Jul 2013 01:51:47 +0000 (21:51 -0400)]
tests: adds a FFI test for casts
Signed-off-by: Alexis Laferrière <alexis.laf@xymus.net>
Jean Privat [Wed, 30 Oct 2013 16:10:16 +0000 (12:10 -0400)]
nitcc: store item instead of tokens in lookahead
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 14:02:44 +0000 (10:02 -0400)]
nitcc: Automaton::to_dot does not display the objectid
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 14:02:04 +0000 (10:02 -0400)]
nitcc: solve inclusion before outputting the DFA
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 13:53:00 +0000 (09:53 -0400)]
nitcc: remove forgotten debugging print
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 13:50:11 +0000 (09:50 -0400)]
nitcc: remove buggy LALR, use SLR instead
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 03:39:53 +0000 (23:39 -0400)]
nitcc: add new PoV Node::depth
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 03:09:18 +0000 (23:09 -0400)]
nitcc: merge Nodes#items and Node#children
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 02:59:58 +0000 (22:59 -0400)]
nitcc: add tests/lexer-aaa
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 02:55:08 +0000 (22:55 -0400)]
nitcc: add Automaton::reverse
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 02:54:47 +0000 (22:54 -0400)]
nitcc: uptate tests wrt DFA minimization
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Wed, 30 Oct 2013 02:54:12 +0000 (22:54 -0400)]
nitcc: minimize DFA
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 29 Oct 2013 16:05:39 +0000 (12:05 -0400)]
misc/source-highlight: multiline-strings
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 29 Oct 2013 04:07:58 +0000 (00:07 -0400)]
nitcc: efficient intervals in nfa/dfa
Signed-off-by: Jean Privat <jean@pryen.org>
Jean Privat [Tue, 29 Oct 2013 03:54:36 +0000 (23:54 -0400)]
nitcc: use 'Any' in minilang and json
Signed-off-by: Jean Privat <jean@pryen.org>
nitlanguage / nit.git / log