Commit Graph

484 Commits

Author SHA1 Message Date
Vitor Santos Costa
f44ef18fed fix atom_to_term and increase sharing on CUDD stuff 2016-11-23 17:23:59 -06:00
Vitor Santos Costa
8d1cc35a8a docsc 2016-11-16 17:17:33 -06:00
Vitor Santos Costa
0be43c6525 fix scripts 2016-11-11 09:53:09 -06:00
Vitor Santos Costa
b03e0634c7 fixes + win64 2016-11-08 01:37:36 -06:00
Vitor Santos Costa
46a9d52d2d Memory management and UTF-8 for all fixes 2016-11-04 11:36:48 -05: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
d082af605d less invasive error handling 2016-10-19 22:44:59 -05:00
Vitor Santos Costa
8f72db3b56 fixes 2016-10-19 22:38:17 -05:00
Vitor Santos Costa
8a6de8b157 Merge ssh://ub64:/home/vitor/Yap/yap-6.3 2016-10-16 17:23:04 -05:00
Vitor Santos Costa
ad5347257b avoid long vrs in error handling 2016-10-16 17:23:00 -05:00
Vitor Santos Costa
08dd1dcdb3 python 2016-10-16 17:18:51 -05:00
Vitor Santos Costa
3f4fe6815f format was broken in old Linuxen 2016-09-28 09:08:22 -05:00
Vitor Santos Costa
a1ee3b30d3 fix mess with memory streams 2016-09-27 19:32:27 -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
a478a83c27 missing define 2016-09-21 14:44:49 -05:00
Vitor Santos Costa
f6d434e314 avoid silly seek 2016-09-21 14:43:18 -05:00
Vitor Santos Costa
04ff54917e Android support 2016-08-30 08:29:40 -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
b80a6bad97 debugging 2016-08-19 21:38:07 -05:00
Vitor Santos Costa
670eacc823 Merge branch 'master' of https://github.com/vscosta/yap-6.3 2016-08-18 01:36:17 -05:00
Vitor Santos Costa
a270349dae release mem 2016-08-18 01:34:37 -05:00
Vitor Santos Costa
9e5675755e emptybuffer 2016-08-16 17:11:14 -05:00
Vitor Santos Costa
2d94bba498 fixleak 2016-08-16 17:10:36 -05:00
Vitor Santos Costa
93068241d3 oops 2016-08-16 09:32:27 -05:00
Vitor Santos Costa
2726fb279c fix get_num 2016-08-15 23:42:49 -05:00
Vitor Santos Costa
7b86e28e00 strncpy is trouble 2016-08-15 14:52:39 -05:00
Vitor Santos Costa
44262405df improve deb 2016-08-15 14:52:15 -05:00
Vitor Santos Costa
ed6385a3e7 ugh 2016-08-15 14:51:46 -05:00
Vitor Santos Costa
cad55bcf71 look for errors 2016-08-15 14:51:36 -05:00
Vitor Santos Costa
fccf3d9f6f fix no output 2016-08-15 14:50:58 -05:00
Vitor Santos Costa
2595555982 make get_byte scan text 2016-08-15 14:50:23 -05:00
Vitor Santos Costa
a4fa6c5b4b typing 2016-08-07 09:48:50 -05:00
Vitor Santos Costa
afeb4b2870 tracing 2016-08-07 09:48:37 -05:00
Vitor Santos Costa
121d927e85 extern and protect Aux 2016-08-07 09:48:21 -05:00
Vitor Santos Costa
339048c76b clean name on close 2016-08-05 16:44:38 -05:00
Vitor Santos Costa
384e74ae59 extern 2016-08-05 16:35:50 -05:00
Vitor Santos Costa
be1ce69e07 handle stream error 2016-08-05 16:35:38 -05:00
Vitor Santos Costa
b8045f1a39 fix_floats 2016-08-04 10:24:32 -05:00
Vitor Santos Costa
2dbf860a58 linux does not like setbuf on mem stream 2016-08-02 18:23:42 -05:00
Vitor Santos Costa
d54446d736 fix bad meta-call handling & throw(Var)
also warnings
2016-08-02 09:01:54 -05:00
Vitor Santos Costa
304489c74f warnings and stream read wchar simplification 2016-08-01 19:17:56 -05:00
Vitor Santos Costa
957aa9f977 fix existing-stream ase for with_output_to/2 2016-08-01 13:20:00 -05:00
Vitor Santos Costa
81c00f9736 compilation support 2016-08-01 06:54:28 -05:00
Vitor Santos Costa
8d19f397d4 android and encoding 2016-07-31 10:28:05 -05:00
Vitor Santos Costa
2e6572bfe5 memory parsing here? 2016-07-31 10:17:10 -05:00
Vitor Santos Costa
57ae30c79c fixes and ~T 2016-07-31 10:16:20 -05:00
Vitor Santos Costa
fa26588bbf indenting 2016-07-31 10:15:55 -05:00
Vitor Santos Costa
9d3b46132b fix prompting? 2016-07-31 10:14:47 -05:00
Vitor Santos Costa
84d5974cca Android support 2016-07-31 09:55:50 -05:00
Vitor Santos Costa
9b3bbf5e33 android 2016-07-31 09:54:43 -05:00
Vitor Santos Costa
5f2964cce6 handle EOF 2016-07-31 09:54:07 -05:00
Vitor Santos Costa
63b985c452 slots plus read from text 2016-07-31 09:53:23 -05:00
Vitor Santos Costa
943900865e limit history 2016-07-31 09:52:45 -05:00
Vitor Santos Costa
6a076bc8ac lots of fixes 2016-07-31 09:51:52 -05:00
Vitor Santos Costa
5584eb1a55 Android support 2016-07-31 04:56:54 -05:00
Vitor Santos Costa
99b3d0db99 android 2016-06-03 17:05:18 +01:00
Vitor Santos Costa
79e6e3fcc1 fix is_abs_path 2016-06-02 12:49:06 +01:00
Vitor Santos Costa
71c49f5063 memory leaks 2016-05-30 11:25:28 +01:00
Vitor Santos Costa
4ac6d11dca path finding 2016-05-30 11:24:40 +01:00
Vitor Santos Costa
cd7571da7a annoying small bugs 2016-05-26 22:47:19 +01:00
Vitor Santos Costa
d00698b76a os/sysbits.c 2016-05-19 13:35:22 +01:00
Vitor Santos Costa
a5bb2e226c simplifications 2016-05-19 13:34:27 +01:00
Vitor Santos Costa
9fcbfca1fa Merge branch 'master' of github.com:vscosta/yap-6.3 2016-05-16 11:21:58 +01:00
Vitor Santos Costa
f54e11db94 flush 2016-05-16 11:21:54 +01:00
Vitor Santos Costa
9f664c9e36 exists 2016-05-15 08:08:42 +01:00
Vitor Santos Costa
7b977c2538 protect bad frees 2016-05-14 11:30:42 +01:00
Vitor Santos Costa
c0db3d4e18 recover arg vector 2016-05-14 02:25:51 +01:00
Vitor Santos Costa
ea7d247ec8 oops, writing the wrong stuff :( 2016-05-12 11:44:32 +01:00
Vitor Santos Costa
1573d5ebd2 flags 2016-05-12 11:44:00 +01:00
Vitor Santos Costa
e92062886b fix format to use two streams, including a memory buffer; simpler 2016-05-12 11:40:22 +01:00
Vitor Santos Costa
407280ea3b fix tab/1 2016-05-12 11:39:29 +01:00
Vitor Santos Costa
83a1269553 change bootstrap sequence to support -B and to allow booting from pl files 2016-05-10 08:33:44 +01:00
Vitor Santos Costa
235179ff47 get rid of warning 2016-04-28 14:57:59 +01:00
Vitor Santos Costa
f4111997e7 improve error handling in get_byte 2016-04-22 18:24:20 +01:00
Vitor Santos Costa
c06d07985e macro conflict 2016-04-22 18:23:22 +01:00
Vitor Santos Costa
b0766abb5c Bug in imported sw :( 2016-04-22 18:22:50 +01:00
Vitor Santos Costa
768b17751b fix redline to send history at the very end 2016-04-22 18:22:17 +01:00
Vitor Santos Costa
445a7f33c1 ANDROID doesn't ;like signals.. 2016-04-22 18:21:45 +01:00
Vitor Santos Costa
f966a5b912 Fixes for processing write to buffer: should b more robust, but we still may have memory leaks 2016-04-22 18:19:58 +01:00
Vitor Santos Costa
cd41d373db hiatory 2016-04-19 23:30:02 +01:00
Vitor Santos Costa
3d68f0e06b readline completion 2016-04-19 22:42:44 +01:00
Vitor Santos Costa
96f03e26e8 fix WIN stuff 2016-04-18 16:41:30 +01:00
vscosta
c1b8d140db av 2016-04-17 17:09:10 -07:00
Vitor Santos Costa
068b624fca fic tell/1 2016-04-16 02:55:17 +01:00
Vitor Santos Costa
ab1b8cea39 fix open/3 munging filenames in write mode 2016-04-15 11:30:33 +01:00
Vitor Santos Costa
1aa20e24b7 misc_bugs_when_compiling_problog 2016-04-14 12:00:09 +01: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
vscosta
2f5386bd6f handle cases where mem streams do not have FILE* 2016-04-08 01:22:27 -07:00
vscosta
6ee452f0c5 handle null ptrs 2016-04-08 01:21:22 -07:00
vscosta
948c8e7cbb handle null pointers and memory streams 2016-04-08 01:18:28 -07:00
vscosta
c3488eeaed socklen_t should be supported in WIN32 :( 2016-04-08 01:17:05 -07:00
Vitor Santos Costa
b89f6e55b4 indenting 2016-04-05 08:12:16 +01:00
vscosta
71f0076ed6 signed wchar 2016-04-05 02:53:39 +01:00
Vítor Santos Costa
145ad73255 small fixes
indenting
2016-03-30 17:35:03 +01:00
Vítor Santos Costa
2d8fdad839 highlighting 2016-03-30 01:27:54 +01:00
Vítor Santos Costa
a304fc721a improve error handling; be careful with trail. 2016-03-30 01:27:03 +01:00
Vítor Santos Costa
06e5371afd exceptions 2016-03-29 01:57:55 +01:00