Vítor Santos Costa
4172f4efd5
use const wherever possible
2014-05-25 20:46:04 +01:00
Vítor Santos Costa
785e404de4
C++ compatibility.
2014-04-28 11:48:24 +01:00
Vítor Santos Costa
d8f4a77f47
fix style_check to be called at parse-time and not cause eexcution overheads.
2014-04-24 08:26:31 +01:00
Vitor Santos Costa
aba5f3d88b
handle locking more carefully (especially protect gc and stack shifting).
2014-04-23 22:41:12 +01:00
Vitor Santos Costa
ce0715e75a
fix IOSTREAM
2014-03-20 16:23:07 +00:00
Vitor Santos Costa
37c018d4b5
add proto for WriteAtom
2014-03-20 15:40:56 +00:00
Vítor Santos Costa
233c4ee903
fix bad initialization in signals
2014-03-08 00:03:58 +00:00
Vitor Santos Costa
2c89aadb11
WIN64 support (sill needs improvement)
2014-03-06 02:09:48 +00:00
David Vaz
3cad9c37b1
removed unnecessary cut_c macros (always on)
2014-02-11 07:15:39 -08:00
Vitor Santos Costa
93859706e3
fix source file for predicates
2014-02-09 11:00:11 +00:00
Vitor Santos Costa
d648375412
make MYDDAS into its own module.
2014-01-24 19:59:42 +00:00
Vítor Santos Costa
ccccf71ae1
support for tabling of bignums and strings
2014-01-17 09:39:29 +00:00
Vítor Santos Costa
ba2c0ca2a0
support no trace predicates
2013-12-11 01:05:51 +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
Vítor Santos Costa
cbd0fa14e8
small fixes and code moving around
2013-11-25 12:15:25 +01:00
Vitor Santos Costa
61e78d9963
more handles and fix exit from a backtrackable user c-pred
2013-11-20 22:27:46 +00:00
Vítor Santos Costa
b76be1b33f
support for quasi quotations, requires more integration with SWI code.
2013-11-18 12:57:09 +00:00
Vítor Santos Costa
84bd55df0d
continue cleanup
2013-11-16 00:27:02 +00:00
Vitor Santos Costa
4fa9021a7b
integration work:
...
- use SWI flags whenever possible
- support by module unknown, escapes, strings
- accesss thread info fom SWI
- allow strings to be input as strings.
- remove some unused flags.
2013-11-13 10:38:20 +00:00
Vítor Santos Costa
917d5ad75b
line numbers for clauses and clause properties
2013-11-05 17:59:19 +00:00
Vítor Santos Costa
c6b471d725
fix YAP_RunGoalOnce warning
2013-11-04 01:03:57 +00:00
Vitor Santos Costa
639247b4c3
sub_atom/5 in C.
2013-05-15 17:12:01 -05:00
Vitor Santos Costa
923be33404
speedup between
...
more exo stuff.
2013-04-30 15:23:01 -05:00
Vitor Santos Costa
64a61e2479
make between/3 a C-builtin.
2013-04-29 18:22:53 -05:00
Vitor Santos Costa
743c9c69fb
get rid of PROTO
2013-04-25 17:15:04 -05:00
Vitor Santos Costa
24a75525c0
fix compilation
2013-04-25 14:21:41 -05:00
Vitor Santos Costa
90abff4f2f
Exo compilation, the range example.
2013-04-16 20:04:53 -05: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
76f5696328
Merge branch 'master' into debugger
2013-02-08 20:39:00 +00:00
Vitor Santos Costa
19863f08f2
fix gprof undder a single running thread
2013-02-08 20:38:04 +00:00
Vítor Santos Costa
046cb5f8d6
debugging
2013-02-08 10:36:45 -06:00
Vitor Santos Costa
33da88be5b
fix SWI exec issues and try to clean up the code a bit
2013-02-05 14:22:17 +00:00
Vitor Santos Costa
9ce268915d
imprive error handling.
2013-01-29 10:50:04 +00:00
Vítor Santos Costa
f063a2bd52
exo first step.
2013-01-07 09:47:14 +00:00
Vitor Santos Costa
2e6360738c
itry to use size_t
...
fix overflow handling bugs.
2012-12-14 19:35:26 +00:00
Vitor Santos Costa
9107af2e3d
improve thread startup
2012-12-13 18:12:50 +00:00
Vitor Santos Costa
e41f821d67
improve multi-threading support from C-interface. Still not quite there.
2012-12-11 22:07:10 +00:00
Vitor Santos Costa
139b06115e
range builtins
2012-10-23 14:55:17 +01:00
Vitor Santos Costa
88f2dc7730
change the way predicates are hidden
2012-10-19 18:10:48 +01:00
Vítor Santos Costa
4de83f5f52
include cyclic_term and friends.
2012-10-02 15:14:41 +01:00
Vitor Santos Costa
c64d22311d
call UDI at abolish.
2012-06-21 16:47:19 +01:00
Vítor Santos Costa
683377b520
buffer output when exiting absmi.
2012-04-12 23:52:25 +01: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
cc8521c9d5
fix bad handling of singletons with write_canonical.
2012-03-14 22:10:21 +00:00
Vítor Santos Costa
36acb5f897
fix profiling support.
2012-03-09 11:46:34 +00:00
Vítor Santos Costa
020323d633
list_or_partial_list support.
2012-03-06 14:41:23 +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
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
Vitor Santos Costa
b454383e30
more write updates.
2012-02-14 07:46:37 +00:00
Vitor Santos Costa
247aa54046
back to using YAP writer.
2012-02-13 23:07:31 +00:00
