diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
10,422 Commits 2 Branches 6 Tags 145 MiB
Commit Graph

109 Commits

Author SHA1 Message Date
Vitor Santos Costa 6451328782 myddas 2019-01-09 09:32:09 +00:00
Vitor Santos Costa 9be6eb9132 small bugs 2018-11-23 00:01:55 +00:00
Vitor Santos Costa e89bc55b9f cmake 2018-11-16 14:02:56 +00:00
Vitor Santos Costa 76cfa609c2 listing 2018-11-04 10:55:58 +00:00
Vitor Santos Costa ebd4dffed3 error 2018-10-28 10:10:40 +00:00
vscosta e4dc9c2e9f
Merge pull request #23 from friguzzi/master 
removed comments for Nicola from help
 2018-10-23 16:02:55 +01:00
Vitor Santos Costa cb1c73c973 small fixes 2018-10-10 12:33:05 +01:00
Vitor Santos Costa 4c25aa21c5 boot 2018-01-18 14:47:27 +00:00
Vitor Santos Costa 645b2c7d93 boot 2017-12-05 15:14:57 +00:00
Vitor Santos Costa 8feca162bf android 2017-11-27 13:36:19 +00:00
Vitor Santos Costa ed2c85a56b saved states and anaconda 2017-11-15 12:18:19 +00:00
Vitor Santos Costa d23f7c149f anaconda 2017-11-11 02:15:59 +00:00
Vitor Santos Costa af38546a0d cuddInt 2017-10-17 10:56:41 +01:00
Vitor Santos Costa 8437007716 fix bad install paths 2017-10-17 08:32:51 +01:00
Vitor Santos Costa abdc8a35f9 cmmake 2017-09-06 01:09:46 +01:00
Vitor Santos Costa f426d25bef Merge branch 'master' of https://github.com/vscosta/yap-6.3 2017-02-20 15:48:22 +00: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 4db2a1fe7f python 2017-01-09 14:58:57 +00: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 02e0e50915 Merge ssh://192.168.66.221/~vitor/Yap/yap-6.3 2016-11-02 00:16:36 -05:00
Fabrizio Riguzzi e078156eb6 removed comments for Nicola from help 2016-10-18 19:48:05 +02:00
Vitor Santos Costa c58064bd0b fix warnings 2016-09-21 14:50:47 -05:00
Vitor Santos Costa 6148e8199f linux_weird 2016-08-23 15:08:36 -05:00
Vitor Santos Costa 1bea4230e4 cmake 2016-08-23 11:15:07 -05:00
Vitor Santos Costa 729b798a23 testing slipcover 2016-08-05 16:43:58 -05:00
Vitor Santos Costa 04fd092e49 indenting 2016-07-31 10:18:50 -05:00
Vitor Santos Costa 8ecb045cb5 win32 2016-07-31 04:58:08 -05:00
Vitor Santos Costa eadfef6c3f cudd.h 2016-05-14 11:29:15 +01:00
Vitor Santos Costa a761bd752c fix cmake for CUDD 2016-04-14 23:24:07 +01:00
Vitor Santos Costa 29fba0238d support cudd 3.0 2016-04-14 11:58:35 +01:00
vscosta 4d3d9c408d adds 2016-04-05 02:52:50 +01:00
Vítor Santos Costa 145ad73255 small fixes 
indenting
 2016-03-30 17:35:03 +01:00
Vítor Santos Costa 675befae75 CRLF kind of magic 2016-02-28 19:29:30 +00:00
Fabrizio Riguzzi ec999c1126 compiled ver pdf 2016-02-03 08:06:32 +01:00
Fabrizio Riguzzi 504407eac3 manual for yap version 2016-02-03 07:52:52 +01:00
Vítor Santos Costa 3074256cc1 more win32 support 2016-01-20 22:36:52 +00:00
Vítor Santos Costa 661f33ac7e bug fices 2016-01-03 02:06:09 +00:00
Vítor Santos Costa ce8a19d381 Add documentation 2015-11-18 15:06:25 +00:00
Vítor Santos Costa d66db4cf70 make fixes 
- options to use WITH
- FIX RPATH ON MAC
- newer Find
- bdd exports to cplint
 2015-11-05 23:51:35 +00:00
Vítor Santos Costa e9debf4d83 MYDDAS Support 2015-11-05 23:45:07 +00:00
Vítor Santos Costa 4336b2ba88 Avoid complaining from strlen 
`
 2015-09-21 17:05:36 -05:00
Vítor Santos Costa 34eb3bd62b bool 2015-02-03 03:00:37 +00:00
Vítor Santos Costa 2f621e5b47 make user functions return bool 2015-02-03 02:37:25 +00:00
Vítor Santos Costa 7ede2cde5e Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 
Conflicts:
	JIT/JIT_Compiler.cpp
	JIT/configure.in
	JIT/jit_analysispreds.c
	JIT/jit_transformpreds.c
	configure
	packages/cplint/Makefile.in
 2015-01-18 02:54:53 +00:00
Vítor Santos Costa 5c261da4f6 small fixes 2015-01-18 02:46:33 +00:00
Vitor Santos Costa ce84e60d08 cosmetic 2015-01-18 01:32:13 +00:00
Vítor Santos Costa ac9070f120 fix typos 2015-01-07 10:17:19 +00:00
Vítor Santos Costa 7bca484b63 install fixes 2014-11-28 02:28:49 +00:00
Vítor Santos Costa c9c2d7233c fix warnings 2014-11-26 09:47:05 +00:00