diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4,998 Commits 2 Branches 6 Tags 146 MiB
dfb81fc217
Commit Graph

2306 Commits

Author SHA1 Message Date
Vitor Santos Costa
49b3f4e7b6 fix case where we just clean a single atom, the last one. 2011-06-27 22:55:30 +01:00
Vítor Santos Costa
e74a25d366 handle slowdown when retracting clauses. 2011-06-24 21:08:22 +01:00
Ricardo Rocha
e1fdbd7537 fix incompatibilities with string patch 2011-06-21 16:53:17 +01:00
Ricardo Rocha
7c6b4bf489 removing macro SEQUENTIAL_IS_DEFAULT 2011-06-21 15:43:50 +01:00
Ricardo Rocha
0929dc4fc0 Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-06-21 15:21:46 +01:00
Ricardo Rocha
8116aac432 parallel execution is now explicit using one of the new built-in 
predicates: parallel/1, parallel_findall/3 or parallel_once/1.
 2011-06-21 15:19:07 +01:00
Vítor Santos Costa
8c5a87d389 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-06-21 15:11:49 +01:00
Vítor Santos Costa
ded6b2435c improve BigNum handling. 2011-06-21 15:11:07 +01:00
Vítor Santos Costa
42ebf1db4b commits have no end of file. 2011-06-21 15:09:30 +01:00
Vítor Santos Costa
7e7bc06d07 check for problems in bignums. 2011-06-21 15:08:58 +01:00
Vítor Santos Costa
f6133f70b1 fix storage computing for big nums.wq 2011-06-21 15:07:54 +01:00
Joao
77171d4179 fix Yap debug. 2011-06-20 14:49:24 +01:00
Vítor Santos Costa
866d2130af disable make_index for now. 2011-06-14 09:39:19 +01:00
Vítor Santos Costa
5614d05a03 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-06-14 09:23:32 +01:00
Vitor Santos Costa
2177b4a63f new string_to_list and fix string_to_atom/2. 2011-06-14 08:59:17 +01:00
Vitor Santos Costa
8991b5247a fixes to scanner code. 2011-06-14 08:58:51 +01:00
Vitor Santos Costa
ad58ff3ecc oops, posfix was looking for infix :( 2011-06-14 08:58:10 +01:00
Vitor Santos Costa
4e5c3b9103 delay unification with start of term, in case we come up with comments. 2011-06-14 08:57:23 +01:00
Vitor Santos Costa
a84b865231 fix string size for garbage collection. 2011-06-14 08:56:21 +01:00
Vitor Santos Costa
ede482521d improve code to search for operator definitions. 2011-06-14 08:55:44 +01:00
Vitor Santos Costa
2aa76a546c string_to_atom/2. 2011-06-13 01:43:03 +01:00
Vitor Santos Costa
2bc9f6093c type error for string 2011-06-13 01:42:32 +01:00
Vitor Santos Costa
261e02b43e support for option comments(X) in read_term/1. 2011-06-12 17:23:10 +01:00
Vitor Santos Costa
787ca8fd05 fix strings. 2011-06-12 17:22:45 +01:00
Vítor Santos Costa
03fe3285e9 fix warnings. 2011-06-06 10:32:58 +01:00
Vitor Santos Costa
8d4f51e098 Merge branch 'master' of ssh://yap.git.sf.net/gitroot/yap/yap-6.3 2011-06-04 09:33:50 +01:00
Vitor Santos Costa
8bd406bfc9 fix processing of undefined arithmetic argument (obs from J Santos) 2011-06-04 09:33:26 +01:00
Vitor Santos Costa
8275a33b76 improve warning messages for undefined arithmetic arguments. 2011-06-04 09:32:51 +01:00
Ricardo Rocha
d601ba9caf fix yapor memory allocation 2011-06-02 17:01:00 +01:00
Ricardo Rocha
dfe0e1854f init_yapor_workers -> Yap_init_yapor_workers 2011-06-01 18:51:12 +01:00
Joao
e319b2fbf9 fix YAPOR THREADS. fix threads + tabling. 2011-05-27 17:21:03 +01:00
Joao
f658a99dad fix C/scanner.c. change some misc/LOCALS initializations. 2011-05-26 15:02:00 +01:00
Joao
98e35b16e8 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-05-25 16:41:39 +01:00
Joao
971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +01:00
Vítor Santos Costa
14bdc262df export TermToStream 2011-05-25 13:10:39 +01:00
Vítor Santos Costa
a57cd039d8 fix bug in handling very many comments. 2011-05-24 12:26:37 +01:00
Joao
8170f6d3cb Some global variables(Yap_thread_gl) in C/init.c are now declared in misc/LOCALS 2011-05-23 16:19:47 +01:00
Vítor Santos Costa
2f964c9f51 remove unused files. 2011-05-13 11:45:23 +01:00
Joao
bce888bd6d Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-05-11 18:24:25 +01:00
Joao
ab63cd190b LOCALS and GLOBALS are now generated by misc/buildlocalglobal. 2011-05-11 18:22:58 +01:00
Vitor Santos Costa
31679df9ce Merge branch 'master' of ssh://yap.git.sf.net/gitroot/yap/yap-6.3 2011-05-11 09:29:43 +01:00
Vitor Santos Costa
2064e304ac new library to replace elements in queue 2011-05-11 09:29:07 +01:00
Joao
d6fc76faf1 Remove GLOBAL_AGcLastCall. Fix GLOBAL_check_sg_fr. 2011-05-10 12:20:22 +01:00
Joao
ebd0e8a7c0 change global_optyap_data macros to GLOBAL_. 2011-05-10 11:47:18 +01:00
Joao
676dd26c90 change macros in misc/GLOBALS to GLOBAL_. 2011-05-10 10:06:51 +01:00
Ricardo Rocha
026616963c remove FOREIGN_ macros and use REMOTE_ instead 2011-05-09 20:19:49 +01:00
Ricardo Rocha
f22994edf9 remove macro MY_ThreadHandle and use LOCAL_ThreadHandle instead 2011-05-09 19:55:06 +01:00
Ricardo Rocha
94cd7466a1 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-05-09 19:38:28 +01:00
Ricardo Rocha
a532b6cff3 struct local_optyap_data is now part of struct worker_local (generated from the file LOCALS) 2011-05-09 19:36:51 +01:00
Vítor Santos Costa
0474df0b1f improve error message. 2011-05-09 19:13:36 +01:00
Vítor Santos Costa
a9899c5443 ifix bad registers corrupting garbage collection. 2011-05-09 19:13:10 +01:00
Joao
bada4ddfcf Remove LOCAL_ variables declaration from heapgc.c. 2011-05-05 17:41:05 +01:00
Joao
65a514349f Remove LOCAL_WPP. 2011-05-05 09:32:04 +01:00
Joao
d9cee607e9 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 
Conflicts:
	C/cdmgr.c
 2011-05-04 11:10:20 +01:00
Joao
dc3c54c164 change LOCALS macros. 2011-05-04 10:11:41 +01:00
Vitor Santos Costa
f0a617a01f allow assert to be independent of file. 2011-05-02 23:29:48 +01:00
Paulo Moura
5c9d62e16e Make the support for 0'\s and 0'\z conditional on the ISO escape sequences flag. 2011-04-30 19:51:40 +02:00
Paulo Moura
f83cdde766 Reapplied patch to support 0'\s and 0'\z. 2011-04-30 18:12:56 +02:00
Vítor Santos Costa
d041ca7a9a Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-04-30 01:17:09 +01:00
Vítor Santos Costa
de0f8a8236 dbload 2011-04-30 01:16:40 +01:00
Vítor Santos Costa
6a3e422c11 timestamps are stored as terms! (fix also uninportant bug). 2011-04-30 01:08:48 +01:00
Joao
18ce4dd78b remove YAPOR_PURE. 2011-04-29 19:29:22 +01:00
Joao
affaeb4092 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 
Conflicts:
	H/dlocals.h
	H/hlocals.h
	H/ilocals.h
	H/rlocals.h
 2011-04-29 16:44:59 +01:00
Joao
c27f79eeb1 fix YapOr threads. 2011-04-29 14:59:17 +01:00
Joao
d4825159ee fix configure file. change memory management in YapOr. 2011-04-28 09:48:42 +01:00
Vítor Santos Costa
417df2e85a Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-04-27 10:04:57 +01:00
Vítor Santos Costa
f4b218b50d Yap_ErrorMessage should never point at an atom! 2011-04-27 10:04:26 +01:00
Vitor Santos Costa
9f6426fb95 imake sure -1 is read independently of the current syntax operator. 2011-04-26 18:51:02 +01:00
Vítor Santos Costa
697f7c650c I/O fixes. 2011-04-22 15:29:41 +01:00
Vítor Santos Costa
b23f2c92af fix bad error message for div 0 (UN #217). 2011-04-22 14:48:33 +01:00
Vítor Santos Costa
c940245182 make consult_level a local variable 
assert() within consult should act as a normal assert.
 2011-04-22 13:01:10 +01:00
Vítor Santos Costa
f49459fcfc Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-04-22 12:21:38 +01:00
Vítor Santos Costa
4eeb977c2c fix backtracking from generators to dynamic predicates. 2011-04-22 12:20:52 +01:00
Joao
3ebfafc36b Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-04-18 15:01:53 +01:00
Joao
274de7652f fix error messages in configure file. 2011-04-18 14:59:17 +01:00
Vítor Santos Costa
915b794130 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-04-16 00:32:35 +01:00
Vítor Santos Costa
5946c111f5 can't tryst Yap_HeapTop in malloc memory manager. 2011-04-16 00:31:51 +01:00
Vítor Santos Costa
a7079bd770 don't reset frozen refernces to clauses. 2011-04-16 00:31:25 +01:00
Vítor Santos Costa
0b0d887275 initialise H0[-1]: avoid complaints from valgrind during gc. 2011-04-15 23:07:56 +01:00
Vítor Santos Costa
7a78d5c200 initialise initial ENV fully. 2011-04-15 23:05:03 +01:00
Vítor Santos Costa
442e5e0b81 make sure we always allocate aligned quantities. 2011-04-15 23:04:23 +01:00
Joao
4d537f1536 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 
Conflicts:
	H/Yap.h
	packages/YapR
 2011-04-14 20:00:35 +01:00
Joao
b6e0a64e56 fix memory allocation for YapOR 2011-04-14 19:19:13 +01:00
Vítor Santos Costa
8fb8aec9bf MULTIPLE_STACKS - or-parallelism/threads/tabling 
YAPOR_THREADS - threads with or-parallelism
make tabling require reference counting for dynamic predicates.
 2011-04-14 18:51:11 +01:00
Vitor Santos Costa
26dc567a0f fix bad overflow handling. 2011-04-08 11:58:22 +01:00
Joao
47f7ff0ad7 change Yap_init_optyap_global to Yap_init_optyap_data. 2011-04-07 16:37:41 +01:00
Joao
9ab6f7ad36 Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-04-07 16:04:19 +01:00
Vítor Santos Costa
8f713b01c7 allow accumulators. 2011-04-04 16:23:14 +01:00
Vítor Santos Costa
fb6b44a96e be sure to reinitialise IO after Restore. 2011-04-04 14:36:06 +01:00
Vítor Santos Costa
4ed9df43ac remove Yap_InitPlIO (unused). 2011-04-04 13:55:39 +01:00
Vitor Santos Costa
417fb5c52c includ e6.2 changes for globals. 2011-04-04 13:20:35 +01:00
Joao
b4a00d1fef rename function Yap_init_global to Yap_init_optyap_global. 2011-04-01 11:13:48 +01:00
Vitor Santos Costa
1de5dfacf9 fix bad pointers and reuse memory in nb_setarg 2011-03-30 23:20:25 +01:00
Joao
662658986a chnage define ACOW to YAPOR_COW 2011-03-30 16:39:09 +01:00
Joao
3e148c3541 change define SBA to YAPOR_SBA 2011-03-30 15:32:59 +01:00
Joao
810c96416b change define ENV_COPY to YAPOR_COPY 2011-03-30 14:35:10 +01:00
Joao
f890a11377 change macros GLOBAL to Yap 2011-03-29 18:19:18 +01:00
Vitor Santos Costa
598452c069 fix reinitialization of streams at Restore. 2011-03-28 22:55:28 +01:00
Vitor Santos Costa
9c3d6a187d debugging cleanups 
actually use readline flag.
 2011-03-26 15:45:42 +00:00
Vitor Santos Costa
48cd3bd675 use SWI flags. 2011-03-26 15:18:56 +00:00