Vitor Santos Costa
|
1f7835c5ef
|
fix_dbload
|
2019-04-20 12:48:33 +01:00 |
|
Vitor Santos Costa
|
21ff73dd70
|
modules
|
2019-03-04 15:49:53 +00:00 |
|
Vitor Santos Costa
|
cb1c73c973
|
small fixes
|
2018-10-10 12:33:05 +01:00 |
|
Vítor Santos Costa
|
290ee932ed
|
problog
|
2018-09-13 17:08:26 +01:00 |
|
Vitor Santos Costa
|
2d55f41ef6
|
docs
|
2018-06-05 11:20:39 +01:00 |
|
Vitor Santos Costa
|
e3ade13cfe
|
debug && docs
|
2017-10-27 13:50:40 +01:00 |
|
Vitor Santos Costa
|
87851a68f4
|
documentation support
|
2017-05-19 09:54:35 +01:00 |
|
Vitor Santos Costa
|
83b137f117
|
docs
|
2017-05-02 04:07:23 +01:00 |
|
Vitor Santos Costa
|
70232133cc
|
docs
|
2017-04-13 21:42:34 +01:00 |
|
Vitor Santos Costa
|
faf3c930c8
|
docs
|
2017-04-07 23:10:59 +01:00 |
|
Vitor Santos Costa
|
436a4b4235
|
smal fix
|
2016-12-16 03:54:16 -06:00 |
|
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
|
b03e0634c7
|
fixes + win64
|
2016-11-08 01:37:36 -06:00 |
|
Vitor Santos Costa
|
d082af605d
|
less invasive error handling
|
2016-10-19 22:44:59 -05:00 |
|
Vítor Santos Costa
|
e9cc545f68
|
big cleanup: cpmpile under style checker.
fix broken module stuff.
|
2014-10-07 01:35:41 +01:00 |
|
Vítor Santos Costa
|
1cbc0705c6
|
syntax changes.
|
2014-10-02 14:50:19 +01:00 |
|
Vítor Santos Costa
|
a8c77d2609
|
fix string_concat/2
|
2014-04-09 12:39:29 +01:00 |
|
Vitor Santos Costa
|
923be33404
|
speedup between
more exo stuff.
|
2013-04-30 15:23:01 -05:00 |
|
Vitor Santos Costa
|
8c8392b5da
|
exo support
|
2013-01-15 11:18:09 +00:00 |
|
Vitor Santos Costa
|
6cd778f70b
|
exo stuff
|
2013-01-09 09:21:07 +00:00 |
|
Vítor Santos Costa
|
f063a2bd52
|
exo first step.
|
2013-01-07 09:47:14 +00:00 |
|
Vitor Santos Costa
|
dba2fd398f
|
fix absolute_file_path and its use by load_files to new SWI framework.
|
2011-06-21 22:36:09 +01:00 |
Vítor Santos Costa
|
de0f8a8236
|
dbload
|
2011-04-30 01:16:40 +01:00 |