diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • 07c2ca8324 use boolean. Vitor Santos Costa 2013-07-16 22:29:32 -05:00
  • 4245a04ed0 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2013-07-16 10:00:51 -05:00
  • dde4830ceb Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vitor Santos Costa 2013-07-16 10:00:05 -05:00
  • 55a440cf0c add isinf and isnan. Vitor Santos Costa 2013-07-16 09:58:57 -05:00
  • a405ee4bb0 update manual Fabrizio Riguzzi 2013-07-16 15:57:18 +02:00
  • f79f93bccd small updates Vítor Santos Costa 2013-07-16 08:01:01 -05:00
  • 5e80c3ca86 learning Vítor Santos Costa 2013-07-16 08:00:16 -05:00
  • bc992f552f use new notation Vítor Santos Costa 2013-07-16 07:59:38 -05:00
  • 2e309201ab slipcase examples Fabrizio Riguzzi 2013-07-16 13:55:22 +02:00
  • dff6925a66 remved unnecessary gloabl vars from bddem.c Fabrizio Riguzzi 2013-07-16 12:43:50 +02:00
  • d87bb830cd simplecudd link Fabrizio Riguzzi 2013-07-12 15:03:37 +02:00
  • 69b1f51a4e fixed hrefs in cplint manual Fabrizio Riguzzi 2013-07-12 14:59:20 +02:00
  • 1f47d33579 improve gc of some tabling instructions Vitor Santos Costa 2013-07-09 22:48:19 +01:00
  • 493161f6d8 ciao style arrays, (...) Vítor Santos Costa 2013-07-07 16:15:25 -05:00
  • c5554a343d fix doc text Vítor Santos Costa 2013-07-07 16:14:08 -05:00
  • 459ab89d7d more ezo stuff Vitor Santos Costa 2013-06-28 21:15:03 -05:00
  • ec5f7ebb28 Chaange semantics for min and max Vitor Santos Costa 2013-06-25 22:53:23 -05:00
  • a1632ff3e7 fix 32 bit offsets Vitor Santos Costa 2013-06-22 20:09:20 -05:00
  • b257218ece fix bad alignment Vitor Santos Costa 2013-06-22 00:27:31 -05:00
  • e50f62ba3f accumulator first try Vitor Santos Costa 2013-06-22 00:26:43 -05:00
  • 44ac5c6eac accumulator first try Vitor Santos Costa 2013-06-22 00:26:14 -05:00
  • b2fda6c653 more exo fixes Vitor Santos Costa 2013-06-22 00:25:37 -05:00
  • 4f8fad43df make sure BITS32 and 16 are what they say they are Vitor Santos Costa 2013-06-22 00:24:53 -05:00
  • 84c1803102 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vitor Santos Costa 2013-06-20 18:17:53 -05:00
  • ddee3df5f8 fix order Vitor Santos Costa 2013-06-20 18:09:30 -05:00
  • 1a0532f178 doc fixes Vitor Santos Costa 2013-06-20 18:08:29 -05:00
  • 5c870c11f7 don't even try to compile unsupported gprof Vitor Santos Costa 2013-06-20 18:07:57 -05:00
  • 44dccc00bb fix exception passing from SWI Vítor Santos Costa 2013-06-20 12:11:29 -05:00
  • 0726597812 error handling Vítor Santos Costa 2013-06-20 10:48:00 -05:00
  • 5a57611749 copyright changes Vítor Santos Costa 2013-06-20 10:47:44 -05:00
  • cc73f426d9 MLN stuff Vitor Santos Costa 2013-06-19 21:38:43 -05:00
  • 24714dbd01 small fixes to l-bfgs Vitor Santos Costa 2013-06-19 21:36:18 -05:00
  • f4ef6702e1 upgrade version Vítor Santos Costa 2013-06-19 21:34:30 -05:00
  • 7e1f3009e6 Bernd Gutmann's lbfgs interface Vitor Santos Costa 2013-06-13 17:57:55 -05:00
  • f1cbc7f3be improved mln stuff Vitor Santos Costa 2013-06-07 18:22:42 -05:00
  • c60e1046a7 use int64 fr file_time Vitor Santos Costa 2013-06-07 18:00:27 +01:00
  • fef0538157 Merge branch 'master' of ssh://git.code.sf.net/p/yap/yap-6.3 Vítor Santos Costa 2013-06-07 09:27:32 -05:00
  • 5b4f355ee0 avoid creating new index in retractall Vítor Santos Costa 2013-06-07 09:26:50 -05:00
  • 5303f2f479 simple check for all var arguments Vítor Santos Costa 2013-06-07 09:26:21 -05:00
  • b6b44c655f unnecessary lock-pred Vítor Santos Costa 2013-06-07 09:25:40 -05:00
  • 23a787bcb3 mlns in PFL Vitor Santos Costa 2013-06-06 19:22:22 -05:00
  • 6b31d08633 mlns in PFL Vitor Santos Costa 2013-06-06 19:18:46 -05:00
  • e96750b476 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2013-06-05 23:01:10 +01:00
  • 4826d92709 exo updates Vitor Santos Costa 2013-06-05 23:00:57 +01:00
  • dce491ef95 thread fixes Vítor Santos Costa 2013-06-03 22:03:59 -05:00
  • 889279cd81 fix prototype Vitor Santos Costa 2013-06-03 23:46:09 +01:00
  • dd43ee5e27 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 Vitor Santos Costa 2013-06-03 17:39:17 -05:00
  • 8245bae2e4 Merge branch 'master' of git://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vitor Santos Costa 2013-06-03 17:36:02 -05:00
  • b6b6b12c6f Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vitor Santos Costa 2013-06-03 16:40:12 -05:00
  • 933ee11985 add a second selectlist Vitor Santos Costa 2013-06-03 16:39:48 -05:00
  • 639247b4c3 sub_atom/5 in C. Vitor Santos Costa 2013-05-15 17:12:01 -05:00
  • 3b2b4b03c8 split atom stuff to its own file Vitor Santos Costa 2013-05-09 18:00:41 -05:00
  • cb48d1c47e fix paths Vitor Santos Costa 2013-05-02 14:07:44 +01:00
  • 6af394a35e fix PASS_REGS Vítor Santos Costa 2013-05-01 19:27:09 -05:00
  • 17cd9ab3c1 add debugging code Vítor Santos Costa 2013-05-01 19:27:00 -05:00
  • 75d607aaec Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2013-05-01 11:54:51 -05:00
  • 34bf9bb311 more exo stuff. Vitor Santos Costa 2013-05-01 11:34:55 -05:00
  • d644ea494d Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2013-05-01 11:34:01 -05:00
  • 923be33404 speedup between more exo stuff. Vitor Santos Costa 2013-04-30 15:23:01 -05:00
  • 64a61e2479 make between/3 a C-builtin. Vitor Santos Costa 2013-04-29 18:22:53 -05:00
  • c04f04d078 more exo fixes. Vitor Santos Costa 2013-04-29 16:19:43 -05:00
  • 72cc5bc317 generalise interval handling Vitor Santos Costa 2013-04-29 11:58:05 -05:00
  • edbc21dcb0 fix typo Vitor Santos Costa 2013-04-26 18:23:17 -05:00
  • 6480f75b23 compile conditionally on HAVE_MPI_H. Vitor Santos Costa 2013-04-26 18:12:23 -05:00
  • f0bc4fb458 cut point should be initialised when bootrapping a new goal Vitor Santos Costa 2013-04-26 16:38:54 -05:00
  • 743c9c69fb get rid of PROTO Vitor Santos Costa 2013-04-25 17:15:04 -05:00
  • 24a75525c0 fix compilation Vitor Santos Costa 2013-04-25 14:21:41 -05:00
  • 2c49edb975 more exo stuff Vítor Santos Costa 2013-04-25 09:48:06 -05:00
  • 52253e3e9e fix bugs in exo clause Vitor Santos Costa 2013-04-20 20:29:08 -05:00
  • fba909cf46 Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2013-04-19 16:40:30 -05:00
  • 210dacfe5a exo-compilation fixes for threads. Vítor Santos Costa 2013-04-16 21:49:37 -05:00
  • ea3f25c378 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2013-04-16 21:26:41 -05:00
  • 90abff4f2f Exo compilation, the range example. Vitor Santos Costa 2013-04-16 20:04:53 -05:00
  • bd9e840e8b Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vitor Santos Costa 2013-04-16 15:19:42 -05:00
  • cb08a542e2 get rid of comments Vitor Santos Costa 2013-04-16 21:14:05 +01:00
  • 1c9cc469d5 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vitor Santos Costa 2013-04-16 21:11:51 +01:00
  • 9b4b33bb3c Merge branch 'master' of https://github.com/tacgomes/yap6.3 Vitor Santos Costa 2013-04-16 21:09:58 +01:00
  • 9e57b32431 Fix compilation with older versions of GCC Tiago Gomes 2013-04-16 21:07:03 +01:00
  • 6d16dcf991 fix message Vitor Santos Costa 2013-04-16 14:38:01 -05:00
  • 8e33cebd4d Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 Vitor Santos Costa 2013-04-16 13:32:24 -05:00
  • cf7e904e9e version level patch Vitor Santos Costa 2013-04-16 09:44:29 -05:00
  • e5d5352268 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2013-04-16 07:53:01 -05:00
  • 78410ade1a ensure evidence does not go away, make sure YAP compiles Vitor Santos Costa 2013-04-15 19:12:53 -05:00
  • eeb53aef71 Merge branch 'master' of https://github.com/tacgomes/yap6.3 Vitor Santos Costa 2013-04-16 00:18:07 +01:00
  • a5095a921a fix messages with single atom Vitor Santos Costa 2013-04-14 21:37:43 +01:00
  • 9e9ad24c90 Small updates to latex docs Tiago Gomes 2013-04-13 12:43:01 +01:00
  • 761406fa46 Small updates to html docs Tiago Gomes 2013-04-13 12:33:48 +01:00
  • 745a034d43 Reduce the size of the section labels Tiago Gomes 2013-04-13 00:49:59 +01:00
  • cb6715664b Create a HTML version of the manual Tiago Gomes 2013-04-12 23:49:12 +01:00
  • 3405a8895b Small updates to manual Tiago Gomes 2013-04-12 23:48:25 +01:00
  • fc2530fbe2 It appears that 'make install' on top level calls 'make all' on the horus makefile Tiago Gomes 2013-04-11 23:16:51 +01:00
  • 7ecfb999d5 Style change Tiago Gomes 2013-04-11 23:06:13 +01:00
  • de6d7981fb Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Tiago Gomes 2013-04-11 22:28:41 +01:00
  • d22ddc6e02 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2013-04-10 21:36:22 -05:00
  • 66af6f7642 fix quotes Vitor Santos Costa 2013-04-08 17:51:55 -05:00
  • 439b7e293f use --showme in lammpi. Vitor Santos Costa 2013-04-08 17:20:13 -05:00
  • 23d2f7b8e5 more cleanups. Vítor Santos Costa 2013-04-07 10:40:42 -05:00
  • 4a95575fe1 should always lookup who generates the parameters (not supported in learning). Vítor Santos Costa 2013-04-07 09:51:20 -05:00
  • 30cc02e4ee Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2013-04-07 08:18:54 -05:00
  • 4ab4f1cab1 allow integer parameters. Vítor Santos Costa 2013-04-07 08:18:13 -05:00