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

493 Commits

Author SHA1 Message Date
Vítor Santos Costa
4591e1baaf Eclipse stuff 2014-03-13 12:54:06 +00:00
Vítor Santos Costa
c3d0504a54 Avoid using repeated fiels names ( u -> ut ). 2014-03-12 15:47:53 +00:00
Vitor Santos Costa
d0adb0b910 fix slot handling 2014-03-11 15:33:38 +00:00
Vitor Santos Costa
2c89aadb11 WIN64 support (sill needs improvement) 2014-03-06 02:09:48 +00:00
Vítor Santos Costa
e81f473802 fix eclipse warnings 2014-02-16 12:56:22 +00:00
Vítor Santos Costa
e52d8f7d7e don't complain big int in arg/3 2014-02-14 22:47:16 +00:00
David Vaz
3cad9c37b1 removed unnecessary cut_c macros (always on) 2014-02-11 07:15:39 -08:00
Vitor Santos Costa
6c7e5e3cd2 patch for OPTYap from João Silva 2014-02-05 16:21:21 +00:00
Vitor Santos Costa
6b2e1973ab Windows fixes, mainly H -> HB 2014-01-19 21:15:05 +00:00
Vitor Santos Costa
83ae86dba3 fix SIG_FAIL and SIG_INT 2013-12-16 13:05:08 +00:00
Vitor Santos Costa
a4b130ff1b do wake up before \! 2013-12-16 12:34:41 +00:00
Vítor Santos Costa
e089563ce2 improve interrupt debugging 2013-12-15 08:35:44 +00:00
Vítor Santos Costa
6402360691 fix S handling in new interrupt code 2013-12-14 12:35:18 +00:00
Vitor Santos Costa
cc5b90aafc fix deallocate 2013-12-13 10:56:08 +00:00
Vitor Santos Costa
2410cd3862 fixes to new signal handling/debugging code 2013-12-13 08:42:57 +00:00
Vitor Santos Costa
44d28aa0c9 cleanup on exception handling 2013-12-12 14:24:40 +00:00
Vítor Santos Costa
e768a7e7be small improvements to debugger, prolog mode and meta-call (*->) 2013-12-10 22:58:02 +00:00
Vítor Santos Costa
d7397b43af new text conversion and string code (big changes, take care please) 2013-12-02 14:49:41 +00:00
Vitor Santos Costa
94f1b223f7 yaam knows not about handles, and they do not know about the yaam 2013-11-20 22:21:59 +00:00
Vítor Santos Costa
5dbaeedf08 fix bad pruning in meta-call 2013-11-16 23:08:17 +00:00
Vitor Santos Costa
4e4f21e1dc upgrade to latest swi 2013-11-15 01:10:25 +00:00
Vítor Santos Costa
b5cc597ab8 handle empty sequence of clauses 2013-11-10 11:22:43 +00:00
Vítor Santos Costa
917d5ad75b line numbers for clauses and clause properties 2013-11-05 17:59:19 +00:00
Vítor Santos Costa
6f9b8bfca8 fix bad instruction format 2013-11-01 08:26:06 +00:00
Vítor Santos Costa
72fe7e84c0 opaques are not integers 2013-09-28 12:06:01 +01:00
Vitor Santos Costa
ad9a973a26 fix opaque variables & threads 2013-09-17 09:54:02 +01:00
Vítor Santos Costa
c5554a343d fix doc text 2013-07-07 16:14:08 -05:00
Vitor Santos Costa
a1632ff3e7 fix 32 bit offsets 2013-06-22 20:09:20 -05:00
Vítor Santos Costa
17cd9ab3c1 add debugging code 2013-05-01 19:27:00 -05:00
Vítor Santos Costa
210dacfe5a exo-compilation fixes for threads. 2013-04-16 21:49:37 -05:00
Vitor Santos Costa
90abff4f2f Exo compilation, the range example. 2013-04-16 20:04:53 -05:00
Vitor Santos Costa
d163cadda1 pass regs when constructing long ints and floats. 
fix small gcc complaints.
 2013-03-26 15:01:52 -05:00
Vitor Santos Costa
0ea010f3b2 remove debugging message 2013-03-19 21:25:24 -05:00
Vitor Santos Costa
1c12d456ae ensure failure after throw from user code. 2013-03-03 08:54:46 -06:00
Vítor Santos Costa
046cb5f8d6 debugging 2013-02-08 10:36:45 -06:00
Vitor Santos Costa
33da88be5b fix SWI exec issues and try to clean up the code a bit 2013-02-05 14:22:17 +00:00
Vitor Santos Costa
ff5bf53d38 UDI support 2013-01-22 15:37:50 +00:00
Vitor Santos Costa
fa470556f2 obey types 2013-01-18 14:27:46 +00:00
Vítor Santos Costa
d078a2b2c4 thread support 2013-01-10 23:22:11 +00:00
Vitor Santos Costa
6cd778f70b exo stuff 2013-01-09 09:21:07 +00:00
Vitor Santos Costa
f7adcf9b44 fix unnecessary dereferencing. 2013-01-08 13:09:31 +00:00
Vitor Santos Costa
2a44a0205b support backtracking with uninst args 2013-01-08 12:35:18 +00:00
Vitor Santos Costa
d98862f5ea debugging exo 2013-01-08 00:40:51 +00:00
Vítor Santos Costa
f063a2bd52 exo first step. 2013-01-07 09:47:14 +00:00
Vitor Santos Costa
9107af2e3d improve thread startup 2012-12-13 18:12:50 +00:00
Vitor Santos Costa
88f2dc7730 change the way predicates are hidden 2012-10-19 18:10:48 +01:00
Vitor Santos Costa
474c088baf ifix thread compilation. 2012-10-17 17:22:43 +01:00
Vitor Santos Costa
a4acb6a806 try to make sure we always have slots 2012-10-08 18:25:42 +01:00
Vitor Santos Costa
dcc5b57016 remove broken meta-call optimisation. 2012-09-07 00:21:57 -05:00
Vitor Santos Costa
81743361a6 fix warning 2012-08-23 09:03:42 -05:00
Vitor Santos Costa
9353d28c2e fix meta-call 
optimise deterministic (a,b,c).
 2012-08-22 09:41:09 -05:00
Costa Vitor
bf4d37eb0d simplify meta-call handling. 2012-08-13 23:35:37 -05:00
Costa Vitor
53b694edd0 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2012-07-18 17:36:10 -05:00
Costa Vitor
c8ef4dbdb4 we cannot trust that just having on reference will protect a clause. Several references may go in a single operation! 2012-07-18 14:32:53 -05:00
Vítor Santos Costa
a99412c48f fix gall to gc. 2012-07-16 10:20:56 -05:00
Vitor Santos Costa
b15c9f5655 support INT handler. 2012-06-22 03:55:01 -05:00
Vítor Santos Costa
36acb5f897 fix profiling support. 2012-03-09 11:46:34 +00:00
Vítor Santos Costa
0f10f4332e improve ˆC handling (still needs work). 2012-03-03 21:46:07 +00:00
Vítor Santos Costa
45baf800dd fix stream is not an atom (Ulrich). 2012-03-01 22:03:41 +00:00
Vítor Santos Costa
67b4b6126c fix error messages. 2012-02-13 09:36:05 +00:00
Vítor Santos Costa
58d7f85417 fix empty instruction confusing garbage collector. 2012-01-21 18:19:57 +00:00
Ricardo Rocha
c594d321ef Miguel's support for multi-threaded tabling 2011-12-22 16:50:20 +00:00
Vítor Santos Costa
67820baee0 fix overflow in << and >> 2011-11-16 07:36:34 +00:00
Vítor Santos Costa
3966822bff Setting YREG in cut_t seems buggy. 2011-11-03 07:45:02 +09:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
e3847eff38 optimise straight line code. 2011-10-21 19:11:25 +01:00
Vítor Santos Costa
df6c0b59e9 jump guessing 2011-10-04 06:42:01 -03:00
Vítor Santos Costa
ff67abc937 fix prefetching 2011-10-03 15:29:57 -03:00
Vítor Santos Costa
43c07f5051 more speed stuff. 2011-10-02 21:01:14 -03:00
Vítor Santos Costa
66ae65fe09 small look at compilation. 2011-10-02 19:55:22 -03:00
Vítor Santos Costa
36d20477fb small fixes to avoid using global reg. 2011-10-02 16:18:09 -03:00
Joao
cc80efbff0 CACHE_REGS 2011-09-21 15:30:29 +01:00
Joao
7378b56289 Fix READ_LOCK. 2011-09-20 11:36:49 +01:00
Joao
1a6aff8aa1 Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-09-15 15:44:26 +01:00
Joao
64ae3cdf52 fix YAPOR incremental copy. 2011-09-15 15:40:47 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
b6aca9463d Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2011-08-18 22:35:13 +01:00
Vitor Santos Costa
a56402303e first step for quick loader, and fix an instruction format. 2011-07-30 00:07:35 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
4fe1833ece Merge branch 'master' of /cygdrive/z/vitor/Yap/yap-6.3 2011-07-25 17:09:43 +01:00
U-WIN-U2045GN0RNQ\Vítor Santos Costa
840e287cda mode changes 2011-07-25 17:09:28 +01:00
Vitor Santos Costa
f6be2ed08d support interface to foreign objects that have a backtrack handler. 2011-07-22 04:09:33 -07:00
ubu32
0424bf6403 fix bad call to garbage collector. 2011-07-09 09:16:02 -07:00
Vítor Santos Costa
e74a25d366 handle slowdown when retracting clauses. 2011-06-24 21:08:22 +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
8275a33b76 improve warning messages for undefined arithmetic arguments. 2011-06-04 09:32:51 +01:00
Joao
971ad94311 moved several global variables to misc/GLOBALS 2011-05-25 16:40:36 +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
Joao
676dd26c90 change macros in misc/GLOBALS to GLOBAL_. 2011-05-10 10:06:51 +01:00
Ricardo Rocha
f22994edf9 remove macro MY_ThreadHandle and use LOCAL_ThreadHandle instead 2011-05-09 19:55:06 +01:00
Joao
dc3c54c164 change LOCALS macros. 2011-05-04 10:11:41 +01:00
Vítor Santos Costa
4eeb977c2c fix backtracking from generators to dynamic predicates. 2011-04-22 12:20:52 +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
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
Joao
3e148c3541 change define SBA to YAPOR_SBA 2011-03-30 15:32:59 +01:00
Joao
f890a11377 change macros GLOBAL to Yap 2011-03-29 18:19:18 +01:00
Vítor Santos Costa
0d8aed7971 new implementation of corourining... 2011-03-18 19:34:58 +00:00
Vítor Santos Costa
2a76f86785 don't lock ThreadLocal predicates. 2011-03-15 09:08:09 +00:00
Vítor Santos Costa
5bea35d13e fix bug in entering garbage collector (bad PP). 2011-03-11 19:47:21 +00:00
Vítor Santos Costa
90d93fdbdd cache abstra machine register in threaded mode. 2011-03-07 16:02:55 +00:00
Vitor Santos Costa
4a5ba35937 assembly fixes 
more support for readline, including getting more stuff from read.
 2011-02-17 00:57:49 +00:00
Vítor Santos Costa
a40987b70d ifixes to support 64 bits: 
- protect registers before calling prune()
- use Int, not int.
 2011-02-15 18:14:18 +00:00
ubu32
67d23051c2 fix pruning to handle backtrackable C-predicates in a much nicer way. 2011-02-14 11:29:20 -08:00