diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
5,793 Commits 2 Branches 6 Tags 145 MiB
Commit Graph

2510 Commits

Author SHA1 Message Date
Vitor Santos Costa ca9c748692 make win crash on interrupt, for now 2012-06-08 06:52:21 -05:00
U-WIN-UA9ACS5GS9N\vitor 76d7a1d5e5 don't trust that X+200 is > X 2012-06-07 10:27:33 -05:00
Vítor Santos Costa c4bd913e34 fix stupid indesing of very long terms. 2012-06-05 08:04:22 +01:00
Vítor Santos Costa 47a4b902e0 fix stupid indexing on sub-terms.; 2012-06-05 00:12:13 +01:00
Vitor Santos Costa 67d52d3560 fix depth calculation. 2012-06-04 18:21:34 +01:00
Vitor Santos Costa 3669cb894f Merge branch 'master' of https://github.com/tacgomes/yap6.3 
Conflicts:
	packages/CLPBN/clpbn/horus.yap
 2012-06-04 16:29:56 +01:00
Vitor Santos Costa 1fbd5c268b extend WorkSpace 2012-06-01 16:39:06 +01:00
Vitor Santos Costa 39f392be9c allow finer control over indexing sub-terms. 
improve flag code a bit.
 2012-06-01 13:16:29 +01:00
Vítor Santos Costa 2def937080 don't index velow depth 20. 2012-05-28 20:40:12 +01:00
Vítor Santos Costa 01749939fa Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-05-22 16:22:06 +01:00
Vítor Santos Costa 95a33cd56d remove error message. 2012-05-22 16:20:56 +01:00
Ricardo Rocha 5b074e894a Merge branch 'master' of git.dcc.fc.up.pt:yap-6.3 2012-05-22 14:47:52 +01:00
Ricardo Rocha 26e6281bb7 fix PgEnt_strs_in_use counter 2012-05-22 14:47:47 +01:00
Vitor Santos Costa 9e3d16022a fix YAP_AttOfVar 
beautify get atts
 2012-05-21 17:24:40 +01:00
Vitor Santos Costa f261a3fd2f fix writing att vars. 2012-05-18 13:03:22 +01:00
Vítor Santos Costa 5c459a1201 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-05-14 22:44:34 +01:00
Vítor Santos Costa 448bc7e7de Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-05-14 22:42:42 +01:00
Ricardo Rocha 1dcc8bd393 adptation of the memory allocator based on pages to work with threads 2012-05-14 19:11:58 +01:00
Vitor Santos Costa f3f9c75cf7 oops : 2012-05-14 16:22:53 +01:00
Vitor Santos Costa 682db0aad4 support term_subsumer. 2012-05-14 15:04:19 +01:00
Vitor Santos Costa b36e607cb4 protect heapgc.c 2012-05-13 15:58:28 +01:00
Vítor Santos Costa b985ea2fbc fix bug in stack overflow. 2012-05-13 10:17:30 +01:00
Vitor Santos Costa a05bad3bf0 fix bad offset in export_term. 2012-05-08 17:04:28 +01:00
Vitor Santos Costa 916ca678ba Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-05-08 12:58:13 +01:00
Vitor Santos Costa 7488ef0539 ifix bug in checking for free space. 2012-05-08 12:55:34 +01:00
Vítor Santos Costa 63616b94a7 fix bad init of unsafe asm pred. 2012-05-07 06:53:27 +01:00
Vítor Santos Costa e1f6187395 make syntax error standard. 2012-05-03 00:16:11 +01:00
Vítor Santos Costa c3eb3db4ed call gc if we set dead mega clauses. 2012-04-23 23:28:41 +01:00
Vítor Santos Costa d7c7ef1c01 ifix signdeness stuff. 2012-04-23 17:26:49 +01:00
Vítor Santos Costa 24d09ffde5 fix trailing issues in numbervars. 2012-04-23 15:50:01 +01:00
U-WIN-UA9ACS5GS9N\vitor 19807d46f7 WIN32 and CYGWIN fixes. 2012-04-18 14:14:56 -05:00
Vítor Santos Costa 2cfb744b07 fix bad frame pointer. 2012-04-17 00:21:08 +01:00
Vítor Santos Costa 8894645017 fix bug in trail expansion (should recover numbers) 2012-04-15 22:40:00 +01:00
Vítor Santos Costa 34ccb95dd3 fix problem with catching handling. 2012-04-15 00:01:02 +01:00
Vítor Santos Costa 683377b520 buffer output when exiting absmi. 2012-04-12 23:52:25 +01:00
Vítor Santos Costa af7510a67b fix handling of repeated calls to YAP_Init. 2012-04-12 23:25:04 +01:00
Vítor Santos Costa 27dc66a5f4 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-04-11 22:09:15 +01:00
Vítor Santos Costa c08178a57c fix thread compilation. 2012-04-11 22:08:02 +01:00
Vítor Santos Costa 7085008193 fix compilation without gmp. 2012-04-05 20:50:27 +01:00
Vítor Santos Costa edfb13c5e9 allow users to check for out of space conditions explicitly. 2012-03-30 09:49:36 +01:00
Vítor Santos Costa d3fd980474 another try at improving output of operators. 2012-03-27 16:44:11 +01:00
Vítor Santos Costa 9c685e71a7 fix - -2. 2012-03-27 15:19:07 +01:00
Vítor Santos Costa 573c11e8b2 patch by UN: Avoid writing quoted for bar. Conforms to 6.3.4.3 of ISO/IEC 13211-1:1995/Cor 2:2012 2012-03-22 22:15:07 +00:00
Vítor Santos Costa b1ee4dfb0d fix debugging info (use flags, not global variable).:: 2012-03-22 22:06:47 +00:00
Vítor Santos Costa 857ff4b895 get rid of portray_delays. 2012-03-22 21:59:04 +00:00
Vítor Santos Costa 4484dec044 allow writing constraints, and small fix for writing after prefix ops. 2012-03-22 21:40:42 +00:00
Vítor Santos Costa 7b78832aa7 avoid strict float checking when building arrays.w 2012-03-22 21:38:22 +00:00
Vítor Santos Costa 3443fa1932 another try... 2012-03-19 09:31:15 +00:00
Vítor Santos Costa 0b8c998ae1 fix - and (. 2012-03-19 08:58:26 +00:00
Vítor Santos Costa 3cb8b99852 fix write -(-1) UN # 236 2012-03-18 00:08:10 +00:00