ubu32
|
4a13735cb0
|
ifix pruning
|
2011-07-11 21:14:26 -07:00 |
|
ubu32
|
3d4a79334e
|
put tracer back to normal.
|
2011-07-10 04:52:13 -07:00 |
|
ubu32
|
2b213963dd
|
use Scurin by default in read/1.
|
2011-07-10 04:50:55 -07:00 |
|
ubu32
|
0424bf6403
|
fix bad call to garbage collector.
|
2011-07-09 09:16:02 -07:00 |
|
ubu32
|
cc378715e0
|
fix 32 bit warnings.
|
2011-07-09 09:15:10 -07:00 |
|
Vitor Santos Costa
|
6863a43e76
|
fix handling of backtrackable C-code in longjmp and other long range cuts.
|
2011-07-09 07:56:11 -04:00 |
|
Vitor Santos Costa
|
15f5277ca4
|
use structure for visited terms in hash.
predicates that did stack expansion were declared safe.
|
2011-07-06 17:26:53 -04:00 |
|
Vitor Santos Costa
|
e160d86304
|
use assembler to tell whether a clause has cut, instead of stupidly searching the clause.
|
2011-07-05 07:28:28 +01:00 |
|
Vitor Santos Costa
|
c444845fbf
|
fx thread stuff.
|
2011-07-05 07:05:07 +01:00 |
|
Vitor Santos Costa
|
0beb2432a4
|
make sure wwe always initialise new variables in the body, even if we have a goal New = Old.
|
2011-07-05 07:03:14 +01:00 |
|
Vitor Santos Costa
|
89e23bff65
|
fix cache usage in write.
|
2011-07-04 14:14:38 +01:00 |
|
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 |
|