diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • eff5dd3166 Edinburgh stuff. ubu32 2011-02-14 12:25:57 -08:00
  • 38fa886e18 more stream stuff. ubu32 2011-02-14 12:14:31 -08:00
  • c8aee540ce put ubu32 2011-02-14 11:57:22 -08:00
  • 85a7e7b9b0 peek_ ubu32 2011-02-14 11:50:30 -08:00
  • 6469a0d464 add temporary definitions. ubu32 2011-02-14 11:46:27 -08:00
  • 5fda308e23 current_input current_output ubu32 2011-02-14 11:45:43 -08:00
  • 7fa58bca40 set_input ubu32 2011-02-14 11:43:54 -08:00
  • a851c56e3d get predicates. ubu32 2011-02-14 11:39:23 -08:00
  • 67d23051c2 fix pruning to handle backtrackable C-predicates in a much nicer way. ubu32 2011-02-14 11:29:20 -08:00
  • 9691a0843d port flush predicates. ubu32 2011-02-14 11:28:44 -08:00
  • 99cbe94bed fix unify functor ubu32 2011-02-14 11:28:07 -08:00
  • a46e5b313d iuse SWI prompts ubu32 2011-02-14 07:19:37 -08:00
  • f6befe5796 alias stuff. ubu32 2011-02-14 06:59:15 -08:00
  • b3fb1d1e73 ifix cut stuff ubu32 2011-02-14 06:58:42 -08:00
  • c277229aa9 fix frame stuff small interface fix. ubu32 2011-02-14 06:58:03 -08:00
  • 1717b113b3 cut should know about environment size. ubu32 2011-02-14 06:57:16 -08:00
  • 09f4810b76 __APPLE__ is __unix__:w ubu32 2011-02-14 06:51:28 -08:00
  • 17da004a5f make sure we initialize the OS bits. ubu32 2011-02-14 06:49:48 -08:00
  • 8b2312daf7 close must be last to be proted, otherwise YAP gets confused about who owns the stream. Vitor Santos Costa 2011-02-13 01:29:25 +00:00
  • 80f190bc8a use SWI user_*. Vitor Santos Costa 2011-02-13 01:03:08 +00:00
  • 0d0a95ae8a remove code support for null streams. Vitor Santos Costa 2011-02-12 23:45:19 +00:00
  • 9c1d780931 remove support for pipes. Vitor Santos Costa 2011-02-12 23:42:15 +00:00
  • 98684ba4bb remove YAP sockets interface. Vitor Santos Costa 2011-02-12 23:38:24 +00:00
  • 2d07a7730e remove YAP memory (string) streams. Vitor Santos Costa 2011-02-12 18:42:44 +00:00
  • be79c3326e first pass at open/ and friends. Vitor Santos Costa 2011-02-12 14:14:12 +00:00
  • 3bdece404b cd and getcwd stuff. Vitor Santos Costa 2011-02-12 01:24:15 +00:00
  • b219e288eb is_absolute_file_name/2 Vitor Santos Costa 2011-02-12 01:24:03 +00:00
  • 74d780698e s_absolute_file_name/2 Vitor Santos Costa 2011-02-12 01:23:48 +00:00
  • efc65fdb28 SWI file_name builtins. Vitor Santos Costa 2011-02-12 01:03:22 +00:00
  • 9efbc0fce8 support time_file and access_file from SWI library. Vitor Santos Costa 2011-02-12 00:45:33 +00:00
  • a41627ef1d return time as an int64, not as a float. Vitor Santos Costa 2011-02-12 00:45:00 +00:00
  • 42ff655ae5 working directory is now a part of YAP kernel. Vitor Santos Costa 2011-02-12 00:44:39 +00:00
  • 712300027e include support for working_directory/2 as a system predicate. Vitor Santos Costa 2011-02-12 00:26:28 +00:00
  • 2451a052cb use text routines from current SWI fli. Vitor Santos Costa 2011-02-12 00:17:59 +00:00
  • 45032cc61e export current predicate for SWI built-ins. Vítor Santos Costa 2011-02-11 19:01:18 +00:00
  • b041ae00c2 use SWI code for char_type and friends. Vítor Santos Costa 2011-02-11 19:00:59 +00:00
  • 1da3cc8b5c compatibility with SWI generated error messages. Vítor Santos Costa 2011-02-11 19:00:32 +00:00
  • 10f84228bc fix handling of cut_c in SWI packages. Vítor Santos Costa 2011-02-11 17:49:19 +00:00
  • 6617a63b7e attempt to improve error handliong in SWI emulation. Vitor Santos Costa 2011-02-11 14:17:27 +00:00
  • 07b17f473a improve non empty files. Vitor Santos Costa 2011-02-11 14:17:06 +00:00
  • b475be5692 more SWI compatibility changes. Vítor Santos Costa 2011-02-11 01:22:07 +00:00
  • 02c791fc3d iminor PLStream fixes. Vítor Santos Costa 2011-02-10 21:45:43 +00:00
  • 257575685c add support for package framework. Vítor Santos Costa 2011-02-10 21:33:56 +00:00
  • 3fe9b923cb more fixes to SWI emulation integrate in main binary Vitor Santos Costa 2011-02-10 21:14:38 +00:00
  • 841f6eb1e5 YAP updates. Vitor Santos Costa 2011-02-10 00:02:05 +00:00
  • 232a740d43 upgrade to latest SWI Vitor Santos Costa 2011-02-10 00:01:19 +00:00
  • 8e8c361671 zlib is now submodule. Vitor Santos Costa 2011-02-09 13:11:15 +00:00
  • b00ed6508e move to new sharing structure Vitor Santos Costa 2011-02-09 13:10:20 +00:00
  • 0ad02c3ee1 Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vítor Santos Costa 2011-02-08 21:06:02 +00:00
  • 54507703fe Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2011-02-08 21:05:12 +00:00
  • 8496d1979b Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vítor Santos Costa 2011-02-08 21:02:41 +00:00
  • d0a5571900 trace the total number of choice-points created in profiling mode. Vítor Santos Costa 2011-02-08 21:02:10 +00:00
  • 89789e8232 corrected an import bug Theofrastos Mantadelis 2011-02-08 15:57:23 +01:00
  • 4ff537a9ed Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2011-02-05 10:28:11 +00:00
  • 398d46fc4e fix occur_check patch. Vitor Santos Costa 2011-02-05 10:27:51 +00:00
  • b57859f28b fixed some typos Theofrastos Mantadelis 2011-02-04 16:08:18 +01:00
  • c95134e94d Fixed a bug in the implementation of between/3. Reported by Bernd Gutmann. Paulo Moura 2011-02-04 12:38:05 +00:00
  • 94bdda200f make sure we have NULL pointers Vitor Santos Costa 2011-02-04 01:41:01 +00:00
  • 9bdc7ca96e get rid of references to freed code. Vitor Santos Costa 2011-02-04 01:23:01 +00:00
  • 7fd6faea64 flags: fixed an interval bug Theofrastos Mantadelis 2011-02-03 17:20:42 +01:00
  • c1721df472 Merge branch 'master' of /yap-6.3 Vitor Santos Costa 2011-02-03 11:33:50 +00:00
  • 48b891a5b2 Merge branch 'master' of ../yap-6.2 Vitor Santos Costa 2011-02-03 11:27:01 +00:00
  • 6cccadb8cb export signal:wq Vitor Santos Costa 2011-02-03 11:26:46 +00:00
  • 4d7fd3ec8f Merge branch 'master' of ssh://yap.git.sourceforge.net/gitroot/yap/yap-6.3 Vitor Santos Costa 2011-02-03 11:25:54 +00:00
  • a4a1feeacc improve SWI emulation in WIN32. U-WIN-U2045GN0RNQ\Vítor Santos Costa 2011-02-03 11:23:12 +00:00
  • 3efb549e02 fix occur-check unification (obs from Jason Filippou). Vítor Santos Costa 2011-02-02 20:45:42 +00:00
  • 8ab12ec680 fix mix swi/sicstus Vítor Santos Costa 2011-02-02 20:45:29 +00:00
  • 51a5fdfbd7 fix handling of SICStus style attributes (obs from Denys Duchier). Vítor Santos Costa 2011-02-02 20:14:36 +00:00
  • ea5b0a29b2 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2011-02-02 19:38:32 +00:00
  • cbf6caddbd fix support for comparing weird terms. Vítor Santos Costa 2011-02-02 19:37:11 +00:00
  • 63e43728f9 Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2011-02-02 19:01:20 +00:00
  • 83e918ac68 improve comparison of terms. Vítor Santos Costa 2011-02-02 19:00:52 +00:00
  • f840ee307d Merge branch 'master' of ../yap-6.2 Vítor Santos Costa 2011-02-02 16:15:50 +00:00
  • 857c8c042e Final version for today Theofrastos Mantadelis 2011-02-01 18:37:32 +01:00
  • 95427488d6 ... Theofrastos Mantadelis 2011-02-01 18:11:36 +01:00
  • ab24175145 hopefully the bug is now fixed... Theofrastos Mantadelis 2011-02-01 17:51:54 +01:00
  • f0c7c76966 fixed some minor issues in c_alarms Theofrastos Mantadelis 2011-02-01 17:36:34 +01:00
  • 73918e78aa Added flags library Theofrastos Mantadelis 2011-02-01 12:13:42 +01:00
  • b73a93f26a fixed the makefile... Theofrastos Mantadelis 2011-02-01 12:05:35 +01:00
  • a82b1fed6f A new library, namely concurrent alarms Theofrastos Mantadelis 2011-02-01 12:02:57 +01:00
  • 67ec597966 Merge ../yap-6.2 Vitor Santos Costa 2011-01-21 08:16:41 -06:00
  • 8d107d4ac4 Merge branch 'master' of yap.dcc.fc.up.pt:yap-6 Vitor Santos Costa 2011-01-21 08:15:04 -06:00
  • 313273cce0 fix debugging messages. Vitor Santos Costa 2011-01-21 08:14:30 -06:00
  • 03ed764580 Merge branch 'master' of dmineserv2:Yap/yap-6.2 ubu32 2011-01-21 06:07:30 -08:00
  • 404c6d3a4f protect registers. Vitor Santos Costa 2011-01-20 12:04:50 -06:00
  • 9d1ae2f96a allow spaces in numerica atoms/strings. Vitor Santos Costa 2011-01-20 12:03:38 -06:00
  • 76b3aec555 remove debugging stubs. Vitor Santos Costa 2011-01-20 12:01:50 -06:00
  • 4e90d68748 fix bad casts Vitor Santos Costa 2011-01-20 12:01:18 -06:00
  • d024e9f0ae ask YAP to get memory step by step in 64 bit maachines. Vitor Santos Costa 2011-01-20 11:59:54 -06:00
  • 26706d20ff make SREG YENV before calling heapgc in absmi. Vitor Santos Costa 2011-01-20 11:53:00 -06:00
  • d52d05a626 fix atom_term builtin not to require previous loading of charsio. Vitor Santos Costa 2011-01-20 11:51:46 -06:00
  • d593f99c13 fix style check on reconsulting. Vitor Santos Costa 2011-01-20 11:50:08 -06:00
  • 75703ed89a fix top-level message Vitor Santos Costa 2011-01-20 11:49:37 -06:00
  • 457052f661 Corrected a minor ProbLog bug Theofrastos Mantadelis 2011-01-17 12:02:05 +01:00
  • 51334c66af Merge branch 'master' of ../yap-6.2 Vitor Santos Costa 2011-01-06 11:21:55 -06:00
  • 3900933694 fix true messages. Vitor Santos Costa 2011-01-06 11:20:29 -06:00
  • 5c54ff89a1 add subtract/3 to lists. Vitor Santos Costa 2011-01-03 21:55:42 -06:00
  • a9587b5e3d restore and agc of recorded terms overflows in recorded. Vitor Santos Costa 2011-01-02 21:16:29 -06:00
  • aa1756c952 undo change until I can wake up goals before cut safely. Vitor Santos Costa 2010-12-31 12:01:10 -06:00
  • 06d42c8b39 Merge branch 'master' of ../yap-6.2 Vitor Santos Costa 2010-12-30 23:40:07 -06:00