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

2482 Commits

Author SHA1 Message Date
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
Vítor Santos Costa
5c6c034ec9 generate type error on second arg to term variables/2 (UN 198) 2012-03-18 00:07:06 +00:00
Vítor Santos Costa
06242879c0 fix hassle with write(-(1)). #UN 135. 2012-03-15 22:55:50 +00:00
Vítor Santos Costa
919fa40464 fix overflow handling in loop checking for unify_occurs_check (UN #232) 2012-03-15 22:37:13 +00:00
Vítor Santos Costa
0c1eb1d642 fix write_canonical of $VAR(_). 2012-03-15 22:19:48 +00:00
Vítor Santos Costa
f2782cc274 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 2012-03-14 22:11:35 +00:00
Vítor Santos Costa
cc8521c9d5 fix bad handling of singletons with write_canonical. 2012-03-14 22:10:21 +00:00
Vítor Santos Costa
74d7ad2704 extend interface to copy fast lists of integers or floats. 2012-03-14 11:08:28 +00:00
Vítor Santos Costa
0f374aaff1 icleanup. 2012-03-14 11:08:04 +00:00
Vítor Santos Costa
b01261eed5 fix handling for execute_cpred. 2012-03-09 12:06:43 +00:00
Vítor Santos Costa
36acb5f897 fix profiling support. 2012-03-09 11:46:34 +00:00
Vítor Santos Costa
44737a5d0f Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-03-08 11:29:25 +00:00
Vítor Santos Costa
a95666c977 fix dereferences when saving terms. 2012-03-08 11:28:59 +00:00
Vítor Santos Costa
89183a143a portray_delays only works in debugging mode. 2012-03-08 08:15:13 +00:00
Vítor Santos Costa
3e4a2c6767 improve handling of recursive writes, catch exceptions. 2012-03-07 23:52:15 +00:00
Vítor Santos Costa
020323d633 list_or_partial_list support. 2012-03-06 14:41:23 +00:00
Vítor Santos Costa
fd0cf6ee14 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 2012-03-06 14:12:39 +00:00
Vítor Santos Costa
6075bde029 partial_list 2012-03-06 14:12:25 +00:00
Vítor Santos Costa
fbe846e74a fix is_list to fail on infinite lists. 2012-03-04 10:45:32 +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
665d426e13 fix writing streams by write.c 2012-02-27 08:53:18 +00:00
Vítor Santos Costa
1531002f26 avoid unnecessrily using slots in Input/Output calls or just because I need a stream. This can lead to hard to 
catch stack bugs.
 2012-02-18 11:01:06 +00:00
Vítor Santos Costa
d777ff863a fix warning on unused variables. 2012-02-17 15:04:25 +00:00
Vitor Santos Costa
4135553063 fix write to be thread-safe (wrputf was also unsafe *) 2012-02-17 13:41:05 +00:00
Vítor Santos Costa
d8452fd3b1 fix warning. 2012-02-17 11:31:46 +00:00
Vítor Santos Costa
b2378bf34f fix bug in nth_clause/3. 
fix compiler warning.
 2012-02-14 18:57:39 +00:00
Vitor Santos Costa
6403b4793a small write fixes. 2012-02-14 09:10:07 +00:00
Vitor Santos Costa
b454383e30 more write updates. 2012-02-14 07:46:37 +00:00