Vitor Santos Costa
|
ea0fbabedd
|
xor can be used for exclusive disj
|
2010-09-21 22:26:24 +01:00 |
|
Vitor Santos Costa
|
9e3b363bfd
|
xor should not be an operator (Ulrich's #185)
|
2010-09-21 22:25:47 +01:00 |
|
Vitor Santos Costa
|
8b9cf7dc2a
|
YAP_SetYAP_Flag
|
2010-08-30 22:25:56 -05:00 |
|
Vitor Santos Costa
|
8f49db480d
|
fix stupid code.
|
2010-08-30 21:52:11 -05:00 |
|
Vitor Santos Costa
|
d2a4b9d6b6
|
div operator
|
2010-08-30 21:51:44 -05:00 |
|
Vitor Santos Costa
|
e4a15cba33
|
div/2 operators (from WG17 and #176)
|
2010-08-30 21:50:33 -05:00 |
|
Vitor Santos Costa
|
6e17b2053f
|
fix assembly of table_try_single (report from Paolo Frasconi).
|
2010-08-19 09:32:35 +01:00 |
|
Vitor Santos Costa
|
ca3177889c
|
improve code in getting restore file.
|
2010-08-17 13:19:17 +01:00 |
|
Vitor Santos Costa
|
ace9025c10
|
fix bad messup with program counter (obs from Ingo Molnar).q
|
2010-08-17 13:02:50 +01:00 |
|
Vitor Santos Costa
|
3e6ce40eb1
|
indenting cganges
|
2010-08-17 13:02:28 +01:00 |
|
Vitor Santos Costa
|
7bf8187bba
|
remove atan2 (WG17 UD #175)
|
2010-08-04 22:09:08 +01:00 |
|
Vitor Santos Costa
|
0449bf1e7f
|
acyclic_term/1 should be builtin(ISO WG17, UD #174).
|
2010-08-04 21:50:19 +01:00 |
|
Vítor Santos Costa
|
f1977f5dab
|
allow saving and restoring current arguments to/from slots.
|
2010-08-04 17:36:20 +01:00 |
|
Vítor Santos Costa
|
bebb236e32
|
improve SWI compatibility, especilaly for threaded stuff.
|
2010-08-04 11:37:12 +01:00 |
|
Vítor Santos Costa
|
6ee0ce8e48
|
support missing instructions.
|
2010-08-04 11:36:10 +01:00 |
|
Vítor Santos Costa
|
28de20262f
|
initialise *all* threads.
support SWI buffers.
|
2010-08-04 11:35:30 +01:00 |
|
Vítor Santos Costa
|
52c019ec54
|
cannot hold the lock while getting a char: someone else may be trying to add to the stream.
|
2010-08-04 11:34:46 +01:00 |
|
Vítor Santos Costa
|
2d425fb7b4
|
don't go set jumping if in UserCCode. Just say there is an exception.
|
2010-08-04 11:34:04 +01:00 |
|
Vítor Santos Costa
|
28a27f75da
|
fix first read can-t generate an EOF.
|
2010-08-04 02:45:31 +01:00 |
|
Vítor Santos Costa
|
91db3beeeb
|
fix missing locking
|
2010-08-03 21:05:53 +01:00 |
|
Vítor Santos Costa
|
c081d01e78
|
implement access_file/2 in C
|
2010-08-03 21:04:16 +01:00 |
|
U-WIN-U2045GN0RNQ\Vítor Santos Costa
|
8340ee4cb1
|
fix CYGWIN compilation
|
2010-08-03 01:11:13 +01:00 |
|
Vítor Santos Costa
|
388f4fb782
|
expand C-interface to allow access to common term operations (request from Ingo Molnar).
|
2010-08-02 19:48:17 +01:00 |
|
Vítor Santos Costa
|
1e737747bf
|
add new instruction
|
2010-08-02 19:48:01 +01:00 |
|
Vítor Santos Costa
|
ffc094e25f
|
make sure we have enough room before we enter a clause.
|
2010-08-02 18:20:03 +01:00 |
|
Vitor Santos Costa
|
3d6e223dae
|
support for space reservation (goal: call gc before trying to insert very large terms).
|
2010-08-02 13:04:30 +01:00 |
|
Vitor Santos Costa
|
212758d25e
|
fix bad handliong of position overflow.
|
2010-08-02 13:03:48 +01:00 |
|
Vitor Santos Costa
|
e02ca2f520
|
fix bad assumption in parse variables overflow handling (stacks can move around in use-malloc).
|
2010-08-02 11:56:14 +01:00 |
|
Vitor Santos Costa
|
6834ac544b
|
fix thread creation.
|
2010-07-30 12:08:00 +01:00 |
|
Vitor Santos Costa
|
8d5aa09e05
|
fix threaded error handling.
|
2010-07-30 00:57:46 +01:00 |
|
Vitor Santos Costa
|
3030247064
|
thread_local should be as dynamic in non-thread mode.
|
2010-07-28 23:22:24 +01:00 |
|
Vítor Santos Costa
|
0f0065049e
|
compile under thor, check every case.
|
2010-07-28 17:12:29 +01:00 |
|
Vítor Santos Costa
|
c017bccd1a
|
more locking fixes
|
2010-07-28 17:12:17 +01:00 |
|
Vitor Santos Costa
|
7b9ab9252c
|
get rid of debugging info.
|
2010-07-28 11:30:28 +01:00 |
|
Vitor Santos Costa
|
ccb7991a56
|
should not use PP for thread private
more lock tracing aids.
|
2010-07-28 11:26:20 +01:00 |
|
Vitor Santos Costa
|
86af6ff3f6
|
add THOR to threads version.
|
2010-07-28 00:30:02 +01:00 |
|
Vitor Santos Costa
|
5cd55b0e0e
|
EX changes
|
2010-07-27 23:29:55 +01:00 |
|
Vitor Santos Costa
|
07907f1839
|
fix breakage in ball access
fix unnecuessary --ASP (why?)
|
2010-07-27 23:21:15 +01:00 |
|
Vitor Santos Costa
|
5b7f04b4b6
|
fix typo.
|
2010-07-27 23:12:16 +01:00 |
|
Vitor Santos Costa
|
af056dd605
|
fix tabling to compile with threads+ or-parallelism.
|
2010-07-27 23:09:17 +01:00 |
|
Vítor Santos Costa
|
18d77309a6
|
c_inp_stream and friends are thread private!
|
2010-07-27 17:28:58 +01:00 |
|
Vítor Santos Costa
|
4c9d74c2e7
|
in closestream: make sure we have a lock before we start looking inside!
|
2010-07-27 17:28:27 +01:00 |
|
Vítor Santos Costa
|
08627579fc
|
try to maintain a valid ASP even after a longjmp to top-level
|
2010-07-27 17:27:47 +01:00 |
|
Vítor Santos Costa
|
2ce4427395
|
fix bad error handling
unlock new stream
|
2010-07-26 12:56:17 +01:00 |
|
Vítor Santos Costa
|
44f8f9bf5c
|
get new stream descriptor should lock the resource until it is initialised.
|
2010-07-26 12:54:22 +01:00 |
|
Vítor Santos Costa
|
e031026a62
|
instrument PE locking
fix missing unlock in index_pred (if predicate had been indexed while we were
waiting).
|
2010-07-25 11:22:16 +01:00 |
|
Vítor Santos Costa
|
5b6014175e
|
support case where engines have no associated pthread
|
2010-07-25 11:21:15 +01:00 |
|
Vitor Santos Costa
|
f3b9811ef7
|
more packages to implement better thread interface.
|
2010-07-23 15:54:13 +01:00 |
|
Vitor Santos Costa
|
eebff5df6a
|
fixes to YAP C-thread interface.
|
2010-07-23 12:07:33 +01:00 |
|
Vítor Santos Costa
|
3dd68aa8bd
|
fix EX: it cannot be a term and it should be a placeholder for BallTerm,
so the twp can never be alive at the same time.
|
2010-07-21 12:49:06 +01:00 |
|