Commit Graph

6843 Commits

Author SHA1 Message Date
Vitor Santos Costa
23aaa8c792 cuda 2013-10-09 14:41:03 +01:00
Vitor Santos Costa
9531d2a359 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-10-09 14:40:19 +01:00
Vitor Santos Costa
b43cb37c9a cuda 2013-10-09 14:39:49 +01:00
Vítor Santos Costa
ffd9bb7a19 missing headers 2013-10-09 13:33:10 +01:00
Vítor Santos Costa
f6bc5ab918 more fixes; get coverage quickly 2013-10-09 11:23:45 +01:00
Vítor Santos Costa
6ec98fbcbd make safe for overflow 2013-10-08 13:05:08 +01:00
Vítor Santos Costa
70d864b13d fix limit on atoms to ints 2013-10-08 13:04:30 +01:00
Vítor Santos Costa
c757e51cb0 fixes, small improvements in functionality 2013-10-08 12:46:06 +01:00
Vítor Santos Costa
490b7cd40a small fixes 2013-10-07 18:34:29 +01:00
Vítor Santos Costa
fbf6648433 more CUDA fixes 2013-10-07 13:48:19 +01:00
Vítor Santos Costa
1593ee4918 fix interface 2013-10-07 12:38:08 +01:00
Vítor Santos Costa
9800753a1b learn from true by default 2013-10-07 12:21:39 +01:00
Vítor Santos Costa
ff2acca219 fix operators 2013-10-07 12:20:52 +01:00
Vítor Santos Costa
726d7ca1cc cuda package from Carlos 2013-10-07 12:20:00 +01:00
Vitor Santos Costa
fcaabd2c0b export API 2013-10-04 18:19:33 +01:00
Vitor Santos Costa
f3cefdf895 yapor stuff 2013-10-04 18:18:57 +01:00
Vitor Santos Costa
30b567ae66 fix reexport issues and duplicated definitions 2013-10-04 18:18:04 +01:00
Vitor Santos Costa
74a6a79960 interface to cuda datalog package 2013-10-04 14:42:18 +01:00
Vitor Santos Costa
43163a190f Atom Translations and CUDA stub 2013-10-04 13:22:00 +01:00
Vitor Santos Costa
860a5dcd02 make error codes available to C-interface 2013-10-04 13:14:35 +01:00
Vitor Santos Costa
d46276edbe include wid when inittiing yapor regs 2013-10-03 15:48:15 +01:00
Vitor Santos Costa
1c9167a6c5 small fixes 2013-10-03 11:28:09 +01:00
Vitor Santos Costa
94619d2a32 allow yser code error handling 2013-10-03 11:25:56 +01:00
Vitor Santos Costa
609f6fc440 allow yser code error handling 2013-10-03 11:24:59 +01:00
Vitor Santos Costa
710915e001 LDFLAGS 2013-10-03 11:24:17 +01:00
Vitor Santos Costa
bf77381744 alloc K * Size 2013-10-01 16:42:12 +01:00
Vitor Santos Costa
1ebd0f1a13 document BDD package 2013-09-30 15:45:14 +01:00
Vitor Santos Costa
448e2c88e1 document BDD package 2013-09-30 15:45:01 +01:00
Vítor Santos Costa
bb6ae90019 doc fixes 2013-09-30 00:26:00 +01:00
Vítor Santos Costa
937077d51b booleans and more fixes 2013-09-30 00:20:00 +01:00
Vítor Santos Costa
1ee58c5922 use attributed variables 2013-09-29 17:41:02 +01:00
Vítor Santos Costa
7cf1b68c3a documentation and small fixes; also call for foreach 2013-09-29 11:31:18 +01:00
Vítor Santos Costa
bef9cec46a fix startup module on new thread to be user module 2013-09-28 23:20:39 +01:00
Vítor Santos Costa
577b99367d don't make mega-clauses always source 2013-09-28 18:20:04 +01:00
Vítor Santos Costa
048c00a7a6 fix writing [](_,_) 2013-09-28 12:12:09 +01:00
Vítor Santos Costa
72fe7e84c0 opaques are not integers 2013-09-28 12:06:01 +01:00
Vítor Santos Costa
5b6a3bffc1 iteration support 2013-09-28 12:04:52 +01:00
Vítor Santos Costa
e19b58cf53 use new matrix functionality 2013-09-28 11:11:42 +01:00
Vítor Santos Costa
b64965f22c new mapargs 2013-09-28 11:10:55 +01:00
Vítor Santos Costa
8c9025cdb4 improve and document matrix package 2013-09-28 11:09:57 +01:00
Vítor Santos Costa
3d863b1058 improve and document matrix package 2013-09-28 11:09:32 +01:00
Vítor Santos Costa
dd17f5a3aa include mapargs as separate support 2013-09-28 11:08:34 +01:00
Vítor Santos Costa
efddaab558 sudoku and for 2013-09-21 23:23:42 +01:00
Vítor Santos Costa
6033eba372 missing unlock. 2013-09-21 23:19:21 +01:00
Vítor Santos Costa
e7477d9888 foreach + fold (idea from BProlog) 2013-09-20 01:42:50 +01:00
Vítor Santos Costa
0f45b3dc42 foreach on matrices (idea from BProlog) 2013-09-20 01:16:25 +01:00
Vitor Santos Costa
28ff95f8de progress with matrix package 2013-09-19 17:59:37 +01:00
Vítor Santos Costa
ab4a6c0ae3 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2013-09-19 14:35:46 +01:00
Vítor Santos Costa
285c61b87f development commit 2013-09-19 14:35:31 +01:00
Vítor Santos Costa
b2dcbe961c development commit 2013-09-19 14:34:44 +01:00