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
2d919a4a09
MPI fixes
2015-02-11 01:50:59 +00:00
Vítor Santos Costa
30664a5344
cmake
2015-02-03 02:40:41 +00:00
Vítor Santos Costa
bc1e70758e
cmake and jit
2015-01-26 04:02:46 +00:00
Vitor Santos Costa
ff977fbad8
cmake support: first cut from David Vaz work.i
2014-12-04 07:59:30 +00:00
