Commit Graph

184 Commits

Author SHA1 Message Date
Vitor Santos Costa
4fed99c0aa ismall bugs && docs 2018-11-14 09:35:24 +00:00
Vitor Santos Costa
cb5dc1313a fix in numbervrs≈ 2018-11-08 02:33:36 +00:00
Vitor Santos Costa
337bf7b136 Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap 2018-11-06 23:19:51 +00:00
Vitor Santos Costa
b1635505ef Merge ssh://ssh.dcc.fc.up.pt:31064//home/vsc/yap 2018-11-06 23:02:33 +00:00
Vítor Santos Costa
d297a8834e bad case in #if 2018-11-06 22:49:11 +00:00
Vitor Santos Costa
55ebeb7dd8 fix numbervars 2018-11-05 01:24:08 +00:00
Vitor Santos Costa
76cfa609c2 listing 2018-11-04 10:55:58 +00:00
Vitor Santos Costa
a1f8631844 reset 2018-11-03 10:49:35 +00:00
Vitor Santos Costa
63e4b31787 python 2018-08-21 03:01:03 +01:00
Vitor Santos Costa
208ed54b45 rational trees. 2018-08-15 01:29:20 +01:00
Vitor Santos Costa
f329a715dd write rat trees 2018-08-10 03:40:56 +01:00
Vitor Santos Costa
e455d6cc6a mark visit with ,, instead of [] 2018-08-06 21:09:02 +01:00
Vitor Santos Costa
5f96c07131 debugg 2018-06-30 14:33:32 +01:00
Vitor Santos Costa
8a817a1dc4 simplify write 2018-05-15 12:36:18 +01:00
Vitor Santos Costa
ef04b30d66 doc 2018-05-01 23:25:58 +01:00
Vítor Santos Costa
bc3555dfbf errors 2018-04-05 00:58:25 +01:00
Vítor Santos Costa
3d8ef251a5 snapshot 2018-04-04 15:55:45 +01:00
Vítor Santos Costa
d379034a96 exceptions 2018-04-04 01:37:15 +01:00
Vitor Santos Costa
48bcffdce7 try to fix exceptions 2018-03-29 22:33:53 +01:00
Vitor Santos Costa
7dab812d64 chaeacters mostly 2017-10-18 01:02:52 +01:00
Vitor Santos Costa
a40fbe420f memory mgmt 2017-09-23 02:17:55 +01:00
Vitor Santos Costa
70232133cc docs 2017-04-13 21:42:34 +01:00
Vitor Santos Costa
02e0e50915 Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3 2016-11-02 00:16:36 -05:00
Vitor Santos Costa
35e9d432c1 bool 2016-07-31 04:44:50 -05:00
Vítor Santos Costa
55c83fc2c8 improve performance 2016-01-06 12:39:12 +00:00
Vítor Santos Costa
e51de5f83c remove support for confusing manipulation of $VAR 2015-12-15 08:48:53 +00:00
Vítor Santos Costa
42e2543ab7 generic fixes, mostly indentin 2015-10-22 00:45:21 +01:00
Vítor Santos Costa
b654c8fe00 numbervars: support negative indices 2015-10-08 13:29:47 +01:00
Vítor Santos Costa
b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa
80036958a1 atom term 2015-08-18 14:55:58 -05:00
Vítor Santos Costa
71c9cb21b7 kill dead code 2015-02-13 12:24:15 +00:00
Vítor Santos Costa
bae7b716e2 fix import term to handle overflows. 2015-02-06 18:05:21 +00:00
Vitor Santos Costa
ce84e60d08 cosmetic 2015-01-18 01:32:13 +00:00
Vítor Santos Costa
3009987985 update docs 2014-09-11 14:06:57 -05:00
Vítor Santos Costa
71b40e0438 changes to support eclipse compat
support of Android assets as /assets files.
2014-06-04 22:08:37 +01:00
Andreas Becker
72b9ec59b7 Fix: Win32 defines Bind, so change Bind to YapBind. 2014-05-29 11:32:28 +02:00
Vítor Santos Costa
d3b3a45dde improve handling of meta-call in setof and debugging 2014-02-19 00:04:26 +00:00
Vítor Santos Costa
9d2795b62a term_factorized/3 2014-02-02 21:45:47 +00:00
Vitor Santos Costa
6b2e1973ab Windows fixes, mainly H -> HB 2014-01-19 21:15:05 +00:00
Vítor Santos Costa
d7397b43af new text conversion and string code (big changes, take care please) 2013-12-02 14:49:41 +00:00
U-w7\vsc
9c5d7af938 win32 patches 2013-11-15 18:25:33 +00:00
Vítor Santos Costa
5b6a3bffc1 iteration support 2013-09-28 12:04:52 +01:00
Vitor Santos Costa
2829696db7 fix bug in term_variables/3 with difference lists 2013-08-08 14:12:29 -05:00
Vítor Santos Costa
5303f2f479 simple check for all var arguments 2013-06-07 09:26:21 -05:00
Vitor Santos Costa
743c9c69fb get rid of PROTO 2013-04-25 17:15:04 -05:00
Vitor Santos Costa
a5095a921a fix messages with single atom 2013-04-14 21:37:43 +01: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
be5208f281 fix search for free variables in bagof. 2013-01-14 22:46:06 +00:00
Vitor Santos Costa
9107af2e3d improve thread startup 2012-12-13 18:12:50 +00:00
Vitor Santos Costa
88f2dc7730 change the way predicates are hidden 2012-10-19 18:10:48 +01:00