Commit Graph

331 Commits

Author SHA1 Message Date
Vítor Santos Costa
55910b4610 stuff 2014-08-17 15:33:57 -05:00
Vítor Santos Costa
f09e115106 progress with sysgraph. 2014-08-07 20:36:55 -05:00
Vitor Santos Costa
3d0f7e2582 fix loop 2014-08-06 20:03:13 -05:00
Vítor Santos Costa
125e676b64 men at work 2014-08-06 10:25:30 -05:00
Vítor Santos Costa
e431aa14fc more fixes, not quite there 2014-08-05 09:07:05 -05:00
Vítor Santos Costa
45c0671fa2 support open as script option, to avoid spurious warning message 2014-08-05 09:06:35 -05:00
Vitor Santos Costa
63d2f0f57e small fixes. 2014-08-04 21:30:41 -05:00
Vítor Santos Costa
a70da52e1f make sysgraph better 2014-08-04 09:46:21 -05:00
Vítor Santos Costa
2becb15578 more android support changes. 2014-07-16 11:56:09 -05:00
Vítor Santos Costa
6ba88f8cc0 fix paths and introduce exceptions in SWIG and android yap 2014-07-15 00:54:45 -05:00
Vitor Santos Costa
0be1e7def1 improve script portability 2014-07-13 23:47:30 -05:00
Vítor Santos Costa
04092424bf rename android compilation 2014-07-09 23:28:10 -05:00
Vítor Santos Costa
77c51f476f support doxy step 1 2014-07-08 15:00:58 +01:00
Vítor Santos Costa
5b19ccf6a8 swig fixes for Android compatibility 2014-06-22 17:35:05 +01:00
Vitor Santos Costa
1f301ded89 fixes for Android compilation 2014-06-20 20:01:56 +01:00
Vítor Santos Costa
d894bf23d0 android compilation script 2014-06-20 11:15:44 +01:00
Vítor Santos Costa
74a65633d8 fix duplicated system predicate + android related cleanups 2014-06-20 11:13:39 +01:00
Vítor Santos Costa
059884bc03 Android 2014-06-11 19:36:50 +01:00
Vítor Santos Costa
a76b6d23dc Fix: eclipse >u. into >y_u. 2014-05-30 01:06:09 +01:00
Andreas Becker
3339d9cfa5 Fix: Make Windows installation scripts that install in user space. 2014-05-29 11:41:39 +02: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
Vítor Santos Costa
f1951777b7 fix checker to use read for singleton variables, instead of always computing
them.
2014-04-23 21:39:32 +01:00
Vítor Santos Costa
c629ae9283 doc updates 2014-04-09 12:39:52 +01:00
Vitor Santos Costa
8b9da05d66 check system files 2014-04-06 17:07:36 +01:00
Vitor Santos Costa
39d237de04 more humnan interface 2014-03-15 23:02:09 +00:00
Vítor Santos Costa
b815e64740 README -> add TXT file. 2014-03-11 11:24:10 +00:00
Vitor Santos Costa
e97bac6548 fix compilation in win:32 and 64 bits 2014-03-10 07:12:15 +00:00
Vitor Santos Costa
f257efc2ef without threads 2014-03-06 14:07:33 +00:00
Vitor Santos Costa
47d436fc13 WIN32 with threads 2014-03-06 13:34:35 +00:00
Vitor Santos Costa
386e15c425 more updates 2014-03-06 12:32:41 +00:00
Vitor Santos Costa
e2c44e492f fix paths 2014-03-06 02:20:58 +00:00
Vitor Santos Costa
2c89aadb11 WIN64 support (sill needs improvement) 2014-03-06 02:09:48 +00:00
Vitor Santos Costa
49d643d98f script for compilation 2014-03-06 02:04:21 +00:00
U-vsc-PC\vsc
93c84b4ace remember how to compile under win 2014-02-26 22:16:52 +00:00
U-vsc-PC\vsc
d4b6bc58d5 initial icons 2014-02-26 22:16:28 +00:00
Vítor Santos Costa
6bde2d2cd7 avoid unions called u: they confuse eclipse. 2014-02-18 09:44:01 +00:00
Vitor Santos Costa
d0efa26d8b Merge branch 'rtries' of git.dcc.fc.up.pt:yap-6.3
Conflicts:
	OPTYap/tab.insts.i
	OPTYap/tab.tries.c
	OPTYap/tab.tries.i
2014-02-13 11:57:46 +00:00
David Vaz
3cad9c37b1 removed unnecessary cut_c macros (always on) 2014-02-11 07:15:39 -08:00
Theo
b4506cf793 CoInductive tabling 2013-12-19 16:56:55 +00:00
Vítor Santos Costa
61d624e416 fix comment handling 2013-12-08 22:56:48 +00:00
Vítor Santos Costa
adea3bdb24 more string fixes and get_code 2013-12-08 19:12:24 +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
Vitor Santos Costa
f6f183c0f6 remove some more duplicated code 2013-11-22 15:18:03 +00:00
Vítor Santos Costa
f1f64bf25c printwarning 2013-11-21 00:22:03 +00:00
Vitor Santos Costa
61e78d9963 more handles and fix exit from a backtrackable user c-pred 2013-11-20 22:27:46 +00:00
Vitor Santos Costa
4e4f21e1dc upgrade to latest swi 2013-11-15 01:10:25 +00:00
Vítor Santos Costa
14747fd0bf more fixes 2013-11-13 22:52:36 +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
Vitor Santos Costa
101a54e6ff ifix debug option 2013-11-04 13:04:19 +00:00