Commit Graph

66 Commits

Author SHA1 Message Date
Vitor Santos Costa 6451328782 myddas 2019-01-09 09:32:09 +00:00
Vitor Santos Costa e89bc55b9f cmake 2018-11-16 14:02:56 +00:00
Vitor Santos Costa eeb8f7c6a1 write fix 2018-05-26 12:02:39 +01:00
Vitor Santos Costa ce2185e162 cmake 2018-05-22 21:40:11 +01:00
Vitor Santos Costa b54439d909 single_quotes 2018-03-19 11:44:16 +00:00
Vitor Santos Costa cc6eca6903 jupyter 2018-03-17 10:38:56 +00:00
Vitor Santos Costa 645b2c7d93 boot 2017-12-05 15:14:57 +00:00
Vitor Santos Costa b9c84ab7e9 cmake 2017-09-06 01:17:43 +01:00
Vitor Santos Costa 5b5e954dbc use FeatureSummary 2017-07-30 22:24:00 +01:00
Vitor Santos Costa 65ff3ed471 Smaller updates:
constant use of longjmp
conflict with python headers
win32 support
dll support
2017-02-20 15:28:46 +00:00
Vitor Santos Costa 1aa20e24b7 misc_bugs_when_compiling_problog 2016-04-14 12:00:09 +01:00
Vítor Santos Costa 3966bf2ee1 windows dlls, meet thy mxmake 2016-01-20 22:25:25 +00:00
Vítor Santos Costa 50c8724322 linux backport
file exists system predicate
$source_file -> $user source
hide and make system preds
fix check_head_and_body
user_expansion never fails
goal expansion is controlled b dynamic procedure
add must_be_of_type predicate_indicator
fix neat_call, debug flag is user controlled
use simplecudd, not ptoblogbdd
compile all of myddas
fx junk in file_name
fix warnings
use common file opening struct and funds
avoid pairs module
fix db queues
2016-01-04 14:11:09 +00:00
Vítor Santos Costa a91796e4c8 Follow actual syntax 2015-11-12 14:53:14 +00:00
Vítor Santos Costa db2cf949b4 oops
Signed-off-by: Vítor Santos Costa <vsc@dcc.fc.up.pt>
2015-09-29 23:24:33 +01:00
Vítor Santos Costa 4336b2ba88 Avoid complaining from strlen
`
2015-09-21 17:05:36 -05:00
Vítor Santos Costa 2d919a4a09 MPI fixes 2015-02-11 01:50:59 +00:00
Vítor Santos Costa 7b4cd0d256 patch by Fab. Riguzzi to fix MPI interface 2015-02-06 18:08:06 +00:00
Vítor Santos Costa 30664a5344 cmake 2015-02-03 02:40:41 +00:00
Vitor Santos Costa d9357d3f49 fix mpi 2015-01-27 03:16:07 +00:00
Vitor Santos Costa d023e2e493 search lib64 before lib 2015-01-26 09:44:39 +00:00
Vítor Santos Costa bc1e70758e cmake and jit 2015-01-26 04:02:46 +00:00
Vitor Santos Costa 656e27f5e0 mpi support 2014-12-14 16:44:52 +00:00
Vitor Santos Costa ff977fbad8 cmake support: first cut from David Vaz work.i 2014-12-04 07:59:30 +00:00
Vítor Santos Costa 3009987985 update docs 2014-09-11 14:06:57 -05:00
Vítor Santos Costa 9e7257978c cleanup 2014-09-09 23:55:47 -05:00
Vítor Santos Costa 3da5cc5977 check libpthread in win32 2014-02-22 22:48:29 +00:00
Vítor Santos Costa 6a1302221c change to support autoheaders 2014-02-16 13:03:09 +00:00
Vítor Santos Costa 1d27d22ef0 big makefile cleanup 2014-02-13 01:58:48 +00:00
Vitor Santos Costa 9a46cdac9b clean up makefile 2014-02-10 23:31:33 +00:00
Vitor Santos Costa d648375412 make MYDDAS into its own module. 2014-01-24 19:59:42 +00:00
Vítor Santos Costa 0205a222d9 Attached is a small patch to respect any LDFLAGS when building
library/lammpi or packages/CLPBN/horus.

Keri Harris
2013-11-10 11:22:54 +00:00
Vitor Santos Costa d2ed850643 separate cplint and mpi interface. 2013-11-04 13:16:14 +00:00
Vitor Santos Costa fe154e87a5 lam_mpi configuration (again). 2013-10-29 16:17:16 +00:00
Vitor Santos Costa edbc21dcb0 fix typo 2013-04-26 18:23:17 -05:00
Vitor Santos Costa 6480f75b23 compile conditionally on HAVE_MPI_H. 2013-04-26 18:12:23 -05:00
Vitor Santos Costa 66af6f7642 fix quotes 2013-04-08 17:51:55 -05:00
Vitor Santos Costa 439b7e293f use --showme in lammpi. 2013-04-08 17:20:13 -05:00
Vitor Santos Costa bb71204a11 small tests for MPI interface 2012-10-11 13:47:29 +01:00
Vitor Santos Costa 3648c562fa more lammpi compilation fixes. 2012-02-06 17:35:32 +00:00
Vitor Santos Costa e032d5faf7 configure fixes for LAM MPI. 2012-02-06 16:44:33 +00:00
Vítor Santos Costa bd677152e7 more MPI fixes. 2012-02-05 11:20:30 +00:00
Vítor Santos Costa e6fb330f58 fix warnings. 2012-02-03 20:55:35 +00:00
Vítor Santos Costa 5e85dcbd8e an example. 2012-02-03 20:53:59 +00:00
Vítor Santos Costa a2c86643b0 ismall fixes to MPI interface. 2012-02-03 16:31:49 +00:00
Vítor Santos Costa ab33cacf7b LAM MPI interface support. 2012-02-02 23:25:31 +00:00
Vítor Santos Costa c60514f89b add some MPI tests. 2012-02-02 10:00:17 +00:00
Vítor Santos Costa 4e6cc28cd3 lam support. 2012-02-02 09:58:05 +00:00
Vítor Santos Costa 7e73c781b0 configure fixes for lam-mpi. 2012-02-01 19:26:58 +00:00
Vítor Santos Costa c052b195e5 fix interface dependencies. 2011-10-21 22:06:13 +01:00