Commit Graph

76 Commits

Author SHA1 Message Date
Vitor Santos Costa ef3d435dec debugger cleanup - I 2019-05-15 18:51:50 +01:00
Vitor Santos Costa e23055d4f0 gecode
debugger.
2019-05-09 12:44:50 +01:00
Vitor Santos Costa 563b642672 debug 2018-10-25 13:57:18 +01:00
Vítor Santos Costa 470323da5c jumping 2018-04-10 00:54:34 +01:00
Vítor Santos Costa 2d19db5fce debug exc 2018-04-09 02:00:51 +01:00
Vitor Santos Costa 4c25aa21c5 boot 2018-01-18 14:47:27 +00:00
Vitor Santos Costa e3ade13cfe debug && docs 2017-10-27 13:50:40 +01:00
Vitor Santos Costa c1d9a00a81 debugging 2017-09-17 07:59:37 +01:00
Vitor Santos Costa 4b350ccecc jmp 2017-04-08 11:29:29 +01:00
Vitor Santos Costa 4180fd9737 error handling (Miguel Areias) 2017-03-23 12:28:46 +00: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
Vitor Santos Costa 1aa3c26af6 hidden stuff 2016-07-31 10:39:30 -05:00
Vitor Santos Costa 05a76a2b3f Debugging meta-predicates 2016-04-14 18:06:52 +01:00
Vitor Santos Costa 1aa20e24b7 misc_bugs_when_compiling_problog 2016-04-14 12:00:09 +01:00
Vítor Santos Costa 661f33ac7e bug fices 2016-01-03 02:06:09 +00:00
Vítor Santos Costa b7f16997df non-traceable stuff. 2015-11-05 17:22:49 +00:00
Vítor Santos Costa c61e721e73 cut the big file 2015-09-29 23:47:52 +01:00
Vítor Santos Costa fa586f8769 error handling woes 2015-09-25 14:31:58 +01:00
Vítor Santos Costa b871f6676e fix error handling 2015-09-25 10:57:26 +01:00
Vítor Santos Costa 78ed4c9e5e debugging stuff 2015-07-22 19:31:03 -05:00
Vítor Santos Costa bb8ea9a27d fix current and system predicate 2014-11-25 12:03:48 +00:00
Vítor Santos Costa d40b9d1426 restore callable. 2014-10-20 09:20:56 +01:00
Vítor Santos Costa 0cd0ece207 make error handling for callable more ISO like. 2014-10-19 12:48:14 +01:00
Vitor Santos Costa 8014110080 fix debugging letfover. 2014-10-15 12:10:39 +01:00
Vítor Santos Costa 8576e67d84 generate exceptions on arithmetic errors 2014-10-15 11:06:07 +01: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 d1242028d2 fixes for notrace predicates. 2014-10-05 10:24:44 +01:00
Vítor Santos Costa aeb54ebc61 more doc udates 2014-09-15 13:10:49 -05:00
Vítor Santos Costa 3009987985 update docs 2014-09-11 14:06:57 -05:00
Vítor Santos Costa a8c77d2609 fix string_concat/2 2014-04-09 12:39:29 +01:00
Vitor Santos Costa cc84cd8cb5 check for mistypes 2014-04-06 17:05:17 +01:00
Vitor Santos Costa e4fbd39cab avoid weird messages in debugging 2013-12-16 15:10:53 +00:00
Vitor Santos Costa 2410cd3862 fixes to new signal handling/debugging code 2013-12-13 08:42:57 +00:00
Vítor Santos Costa fba3c34e50 trace fixes 2013-12-11 09:34:43 +00:00
Vítor Santos Costa ba2c0ca2a0 support no trace predicates 2013-12-11 01:05:51 +00:00
Vítor Santos Costa ec7158eb99 debugger progress 2013-02-13 09:06:06 -06:00
Vítor Santos Costa 046cb5f8d6 debugging 2013-02-08 10:36:45 -06:00
Vitor Santos Costa 556937195d avoid meta-call in system; improve goal/pred expansion 2012-12-07 08:08:32 +00:00
Vitor Santos Costa 95281f78ee fix leap over meta-predicates. 2010-12-19 21:57:40 +00:00
Vítor Santos Costa c6f41e2970 YAP_FAIL_ERROR in case a fail has been requested, but not accepetd yet. 2010-12-04 18:45:09 +00:00
Vitor Santos Costa 206638e92b fix checking on_signal/3 (obs from Theo Mantadelis). 2010-09-24 12:37:36 +01:00
Vitor Santos Costa 066603c79b fix global variables 2010-04-08 01:44:08 +01:00
Vitor Santos Costa d69902e986 fix alarm/3 for floating point input (obs from Ashwin Srinivasan). 2010-02-27 10:10:23 +00:00
Vitor Santos Costa 00c3419e02 fix bad $execute test 2010-02-26 10:23:38 +00:00
Costa Vitor 7f54acb536 separate standard alarm from virtual alarm. timeout uses virtual alarm #112 2009-06-03 10:09:14 -05:00
Ulrich Neumerkel 28f593f0a8 alarm(0,Any1,Any2) steadfast: Always disables alarm. 2009-06-01 18:03:02 -05:00
Ulrich Neumerkel c1dcb1d75d FIX #85 (defaultyness & meta_predicate), and thus #84, #82, #69 2009-05-28 12:35:41 -05:00
Ulrich Neumerkel 2b495cd095 Introduction of errors for signal. In a case of conflict, 13211-1:7.12.2a is given precedence over 13211-2:6.7.1.4 2009-05-28 12:34:13 -05:00
Vitor Santos Costa f668676e72 make a better effort to avoid walking through system code. 2009-04-17 15:46:13 -05:00