Commit Graph

106 Commits

Author SHA1 Message Date
Vitor Santos Costa 1f7835c5ef fix_dbload 2019-04-20 12:48:33 +01:00
Vitor Santos Costa 32a5158c6b problog 2019-03-06 10:49:55 +00:00
Vitor Santos Costa 21a7a3ef44 fix 2018-07-03 10:45:22 +01:00
Vitor Santos Costa 18c74933af full dir 2018-06-18 12:16:36 +01:00
Vítor Santos Costa c1d81ea7c6 errors 2018-04-02 14:49:45 +01:00
Vitor Santos Costa 8feca162bf android 2017-11-27 13:36:19 +00:00
Vitor Santos Costa ea366ca22d meta 2016-09-21 14:59:30 -05:00
Vitor Santos Costa 9f2ba2d4fb avoid repeated discontiguous messages 2016-05-16 09:35:29 +01:00
Vítor Santos Costa 26013e2fb9 fix regress in style_check caused by bad argument to add clause 2016-02-21 11:30:13 +00:00
Vítor Santos Costa 661f33ac7e bug fices 2016-01-03 02:06:09 +00:00
Vítor Santos Costa 4c368a59d3 error handling 2015-09-29 23:28:55 +01:00
Vítor Santos Costa b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa 4336b2ba88 Avoid complaining from strlen
`
2015-09-21 17:05:36 -05:00
Vítor Santos Costa 705a6e9b7f cleanups 2015-07-06 12:01:55 +01:00
Vítor Santos Costa bf8beba466 more Android fixes
merge trueFileName so that we don;t redo code
support rand48 and srand48
drop support for odbc and prolite, too much work.
2015-04-15 11:21:15 +01:00
Vítor Santos Costa ef586e264e android debugging plus clean-ups 2015-04-13 13:28:17 +01:00
Vítor Santos Costa daae1df152 g++ coplaints (llvm) 2014-06-12 01:25:50 +01:00
Vítor Santos Costa a76b6d23dc Fix: eclipse >u. into >y_u. 2014-05-30 01:06:09 +01:00
Vítor Santos Costa dee3774bbc fix small EClipse complaints 2014-05-25 20:50:07 +01:00
Vítor Santos Costa 785e404de4 C++ compatibility. 2014-04-28 11:48:24 +01:00
Vítor Santos Costa 29c0d55ad4 nth_clause cleanup with support for mega and exo clauses 2013-12-09 14:16:30 +00:00
Vítor Santos Costa 917d5ad75b line numbers for clauses and clause properties 2013-11-05 17:59:19 +00:00
Vitor Santos Costa 5f741122fa more user udi fixes 2013-08-05 15:07:51 -05:00
Vitor Santos Costa ec5f7ebb28 Chaange semantics for min and max 2013-06-25 22:53:23 -05:00
Vitor Santos Costa a1632ff3e7 fix 32 bit offsets 2013-06-22 20:09:20 -05:00
Vitor Santos Costa b2fda6c653 more exo fixes 2013-06-22 00:25:37 -05:00
Vitor Santos Costa c04f04d078 more exo fixes. 2013-04-29 16:19:43 -05:00
Vitor Santos Costa 743c9c69fb get rid of PROTO 2013-04-25 17:15:04 -05:00
Vitor Santos Costa 52253e3e9e fix bugs in exo clause 2013-04-20 20:29:08 -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 4dac867fb8 new more compact/better hashing version of exo.c 2013-03-15 14:56:18 -05:00
Vitor Santos Costa 3d24a458fb add field for statistics to exo_index 2013-01-23 10:43:32 +00:00
Vítor Santos Costa d078a2b2c4 thread support 2013-01-10 23:22:11 +00:00
Vitor Santos Costa 649fae4294 more fixes to exo compilation. 2013-01-09 16:38:39 +00:00
Vitor Santos Costa 1043d037e9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-01-08 22:06:26 +00:00
Vitor Santos Costa 8ce30976ce count collisions 2013-01-08 22:06:22 +00:00
David Vaz c9a01455b5 Merge branch 'udi_new' into yap 2013-01-08 18:45:39 +00:00
Vitor Santos Costa 2a44a0205b support backtracking with uninst args 2013-01-08 12:35:18 +00:00
Vítor Santos Costa f063a2bd52 exo first step. 2013-01-07 09:47:14 +00:00
David Vaz 58962f2595 UDI: some code refactor, simple code when no index intersection is needed 2013-01-02 11:23:54 +00:00
Denys Duchier 97163fa150 place INLINE_ONLY at front of extern inline declarations AND definitions. gcc and clang then behave the same. 2012-06-30 20:42:14 +02:00
Vítor Santos Costa 70bde4d38f inline extern patch by Denys Duchier 2012-06-29 22:44:08 +01:00
Vítor Santos Costa 36acb5f897 fix profiling support. 2012-03-09 11:46:34 +00: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 9bdc7ca96e get rid of references to freed code. 2011-02-04 01:23:01 +00:00
Vítor Manuel de Morais Santos Costa 4d341f2aab fix bad call to gc (obs from Jose Santos). 2010-01-29 15:21:00 +00:00
Vitor Santos Costa 0179998d60 change Heap.h to YapHeap.h
rename $live to prolog/0 (for SWI compatibility).
2009-10-23 14:22:17 +01:00
Vítor Santos Costa 4b826e76ae support for user defined indexing: step 1 basic routines. 2009-02-12 16:39:20 +00:00