Commit Graph

8400 Commits

Author SHA1 Message Date
Vítor Santos Costa
2266bb9826 fix access to null pointer. 2015-08-18 14:30:00 -05:00
Vítor Santos Costa
56a3fc5651 project name 2015-08-08 09:11:29 -05:00
Vítor Santos Costa
6274a0662e fix regression tests 2015-08-07 16:58:20 -05:00
Vítor Santos Costa
b164f53191 fix regression tests 2015-08-07 16:57:53 -05:00
Vítor Santos Costa
dbdae6a930 syntax error handling 2015-07-27 22:22:44 -05:00
Vítor Santos Costa
36058116f5 missing files 2015-07-24 21:52:51 -05:00
Vítor Santos Costa
3761252735 missing files 2015-07-24 21:52:03 -05:00
Vítor Santos Costa
0ea8fb8d34 missing files 2015-07-24 21:49:56 -05:00
Vítor Santos Costa
3f55904bfe missing files 2015-07-24 21:35:02 -05:00
Vítor Santos Costa
d4f49a20ba missing files 2015-07-24 21:28:04 -05:00
Vítor Santos Costa
f3b84af062 bunch of fixes for YAP's own IO 2015-07-22 19:33:30 -05:00
Vítor Santos Costa
91d6faabc1 new atoms ] 2015-07-22 19:32:12 -05:00
Vítor Santos Costa
78ed4c9e5e debugging stuff 2015-07-22 19:31:03 -05:00
Vítor Santos Costa
019ca45bdb prettying 2015-07-22 19:27:29 -05:00
Vítor Santos Costa
0e1335d7ff make $ SY from very beginning 2015-07-22 19:26:40 -05:00
Vítor Santos Costa
6d507ff49f BEW CONSTANTS. 2015-07-22 19:19:35 -05:00
Vítor Santos Costa
01a720389e fix stack swap 2015-07-22 19:15:08 -05:00
Vítor Santos Costa
6ae0c450b3 export getval to C-code. 2015-07-22 19:12:32 -05:00
Vítor Santos Costa
99948c5acc fox tracing/ 2015-07-22 19:05:06 -05:00
Vítor Santos Costa
69344f26d1 fixes to warning and complicated cases where warnings are called insidewarning 2015-07-22 19:04:22 -05:00
Vítor Santos Costa
1c6a138ce2 let the compiler say what was the actual error. 2015-07-22 19:02:41 -05:00
Vítor Santos Costa
8dec7f6478 initialize YAAM regs earl on. 2015-07-22 19:01:15 -05:00
Vítor Santos Costa
520ce938fd SWI-style blobs 2015-07-22 19:00:28 -05:00
Vítor Santos Costa
2a20217c46 drop unnecessary cast 2015-07-22 18:59:57 -05:00
Vítor Santos Costa
98d7b2d7f8 avoi ugly unsigned char * 2015-07-22 18:59:07 -05:00
Vítor Santos Costa
78ef33c463 Debugger should lays trace callee, never caller. 2015-07-22 18:58:23 -05:00
Vítor Santos Costa
e1597dd022 missing 2015-07-06 15:04:50 +01:00
Vítor Santos Costa
4eaf848e87 missing 2015-07-06 14:54:23 +01:00
Vítor Santos Costa
a902b9bc79 extras under initial dev 2015-07-06 13:44:13 +01:00
Vítor Santos Costa
1d6f9981e1 mkdir and small stuff 2015-07-06 12:04:42 +01:00
Vítor Santos Costa
33de6766a5 bootstrap 2015-07-06 12:03:16 +01:00
Vítor Santos Costa
705a6e9b7f cleanups 2015-07-06 12:01:55 +01:00
Vítor Santos Costa
03d9fdd45a cleanups 2015-07-06 12:00:21 +01:00
Vítor Santos Costa
94092be293 bootstrap and small cleanups 2015-07-06 11:59:50 +01:00
Vítor Santos Costa
84afde2d56 deadlock avoidal; function renaming 2015-07-06 11:57:47 +01:00
Vítor Santos Costa
a97754623f more bootstrap stuff 2015-07-06 11:56:16 +01:00
Vítor Santos Costa
9a638d1312 experiment 2015-07-06 11:55:02 +01:00
Vítor Santos Costa
421dee6881 register init (again) 2015-07-06 11:54:33 +01:00
Vítor Santos Costa
2cf9902dfe module specific flags 2015-07-06 11:53:50 +01:00
Vítor Santos Costa
3a00568489 warnings + some work on naming funnctions 2015-07-06 11:51:24 +01:00
Vítor Santos Costa
4c56769210 indent + EOF work in progress 2015-07-06 11:49:56 +01:00
Vítor Santos Costa
f5b50a4179 fix locks 2015-06-19 10:10:02 +01:00
Vítor Santos Costa
1c06bfdc05 cmake & text support 2015-06-19 01:30:13 +01:00
Vítor Santos Costa
59de30d606 cmake & text support 2015-06-19 01:29:28 +01:00
Vítor Santos Costa
84b5fcce77 cmake & text support 2015-06-19 01:29:16 +01:00
Vítor Santos Costa
edbd2654e8 cmake & files 2015-06-19 01:25:12 +01:00
Vítor Santos Costa
5f71b15c03 cmake 2 2015-06-19 01:23:51 +01:00
Vítor Santos Costa
de3a6c5637 cmake 2015-06-19 01:22:23 +01:00
Vítor Santos Costa
9ad02e3f9a cmake 2015-06-19 01:22:12 +01:00
Vítor Santos Costa
1b8cd91618 cudd integration 2015-06-19 01:20:49 +01:00