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

47 Commits

Author SHA1 Message Date
Vitor Santos Costa
ec61b3907e - add sleep 
- fix suffix
 2018-07-15 13:40:01 +01:00
Vitor Santos Costa
5f96c07131 debugg 2018-06-30 14:33:32 +01:00
Vitor Santos Costa
cdd892c012 fix copy_term 2018-06-27 16:38:17 +01:00
Vitor Santos Costa
f0343fc62c merge droid 2018-06-15 13:55:31 +01:00
Vitor Santos Costa
d2024c1aed state 2018-06-14 11:27:43 +01:00
Vitor Santos Costa
59534a04f6 doc 2018-06-07 18:05:45 +01:00
Vitor Santos Costa
530246688c jupyter 2018-02-25 00:29:08 +00:00
Vitor Santos Costa
921b5d497d Merge ../YAPDroid/yap 2018-02-23 14:16:20 +00:00
Vitor Santos Costa
d6aaa8a03e blobs 2018-02-23 14:09:58 +00:00
Vitor Santos Costa
f798372fb1 simplify boot 
rename boot vars for consistency
small fixes
 2018-02-23 14:07:21 +00:00
Vitor Santos Costa
e93c01f8e0 asserts 2018-02-14 14:17:57 +00:00
Vitor Santos Costa
fe496e840d android 2018-02-14 00:13:13 +00:00
Vitor Santos Costa
876e42d629 memory 2017-12-01 10:42:10 +00:00
Vitor Santos Costa
06485f071a iandroid 2017-11-21 15:44:43 +00:00
Vitor Santos Costa
d05b1f4b2b commas 2017-10-02 16:04:34 +01:00
Vitor Santos Costa
9f1ef65ff5 generic tmp alloc fixes. 2017-10-02 08:58:51 +01:00
Vitor Santos Costa
46d997713f memory handling 2017-09-26 15:15:15 +01:00
Vitor Santos Costa
a40fbe420f memory mgmt 2017-09-23 02:17:55 +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
b0ce23f131 fix bad header 
scan files for line count.
 2016-09-27 12:32:48 -05:00
Vitor Santos Costa
21324d7434 fast access too lines in file 2016-09-21 14:47:05 -05:00
Vitor Santos Costa
5fcf173d0a empty strings 2016-08-30 08:26:14 -05:00
Vitor Santos Costa
15c6381579 file_name_extension 2016-08-29 17:35:01 -05:00
Vitor Santos Costa
7b86e28e00 strncpy is trouble 2016-08-15 14:52:39 -05:00
Vitor Santos Costa
fa26588bbf indenting 2016-07-31 10:15:55 -05:00
Vitor Santos Costa
79e6e3fcc1 fix is_abs_path 2016-06-02 12:49:06 +01:00
Vitor Santos Costa
4ac6d11dca path finding 2016-05-30 11:24:40 +01:00
Vitor Santos Costa
9f664c9e36 exists 2016-05-15 08:08:42 +01:00
vscosta
c1b8d140db av 2016-04-17 17:09:10 -07:00
Vitor Santos Costa
e6c2503563 fixes + indenting 2016-04-12 16:04:33 +01:00
Vitor Santos Costa
65f1cb9741 win64 support: encodings 2016-04-10 06:21:17 -07:00
Vítor Santos Costa
145ad73255 small fixes 
indenting
 2016-03-30 17:35:03 +01:00
Vítor Santos Costa
b9eb327d86 fix fixes (lots of white space, somehow. 2016-02-29 03:13:23 +00:00
Vítor Santos Costa
2192f73b11 make it compile under MSN vc. Unfortunately it has a weird crash at boot :( 
- Lots of indenting changes
- VC++ is strict with variadic macros
- VC++ does not accept unistd.h
- new interface for walltime
- VC++ does not seem to have support for integer overflow.
- VC++ defines YENV_REG?
- no access flags, x permissions ignored.
- new FindGMP supporting MPIR
- make horus optional (c++ is hard).
 2016-02-28 19:32:55 +00:00
Vítor Santos Costa
d9fe5133d3 what happens when a filename is a base path? 2016-02-26 17:30:50 +00:00
Vítor Santos Costa
fb966536a9 warnings 2016-02-14 04:15:53 +00:00
Vítor Santos Costa
df0b3d3a0d make base name and dirname compatible with other prologs 2016-02-13 20:32:26 +00:00
Vítor Santos Costa
9860b6244f small changes 2016-02-13 03:11:25 +00:00
V'itor Santos Costa
9a071d5823 split path processing 2016-02-11 06:15:30 -08:00
Vítor Santos Costa
794d04c851 flags & var init work 2016-01-31 10:37:41 +00:00
Vítor Santos Costa
50c8724322 linux backport 
file exists system predicate
$source_file -> $user source
hide and make system preds
fix check_head_and_body
user_expansion never fails
goal expansion is controlled b dynamic procedure
add must_be_of_type predicate_indicator
fix neat_call, debug flag is user controlled
use simplecudd, not ptoblogbdd
compile all of myddas
fx junk in file_name
fix warnings
use common file opening struct and funds
avoid pairs module
fix db queues
 2016-01-04 14:11:09 +00:00
Vítor Santos Costa
b3cc23ce64 IO patches 
simplify error handling
use get and inject
use wide support in OS
be stricter in checkin streams and arguments
 2015-10-08 02:23:45 +01:00
Vítor Santos Costa
9326b2ea62 locking and other small fixes 2015-09-29 23:44:11 +01:00
Vítor Santos Costa
b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
f5b50a4179 fix locks 2015-06-19 10:10:02 +01:00
Vítor Santos Costa
b4e0cabb77 file and dir support 2015-06-18 01:33:55 +01:00