2014-10-01T00:23:39Z Adlai quit (Ping timeout: 264 seconds) 2014-10-01T00:26:37Z ogamita quit (Ping timeout: 260 seconds) 2014-10-01T01:35:01Z hlavaty` joined #ccl 2014-10-01T01:35:10Z edgar-rfx joined #ccl 2014-10-01T01:35:32Z shigoel_ joined #ccl 2014-10-01T01:36:36Z hlavaty quit (Ping timeout: 260 seconds) 2014-10-01T01:38:52Z edgar-rft quit (Ping timeout: 272 seconds) 2014-10-01T01:51:06Z lisper29 joined #ccl 2014-10-01T01:58:07Z gz quit (Ping timeout: 182 seconds) 2014-10-01T02:21:29Z ogamita joined #ccl 2014-10-01T02:25:08Z ogamita` joined #ccl 2014-10-01T02:25:27Z ogamita` quit (Remote host closed the connection) 2014-10-01T02:27:18Z ogamita quit (Ping timeout: 244 seconds) 2014-10-01T02:30:44Z lisper29 left #ccl 2014-10-01T02:48:25Z shigoel_ quit (Quit: shigoel_) 2014-10-01T02:52:09Z rme quit (Quit: rme) 2014-10-01T02:52:09Z rme quit (Quit: rme) 2014-10-01T04:04:32Z carvite quit (Ping timeout: 272 seconds) 2014-10-01T04:06:41Z carvite joined #ccl 2014-10-01T05:15:35Z gz quit (Connection reset by peer) 2014-10-01T06:10:15Z edgar-rfx is now known as edgar-rft 2014-10-01T06:45:58Z Hydan` is now known as Hydan 2014-10-01T11:21:19Z Adlai joined #ccl 2014-10-01T11:54:31Z pjb` joined #ccl 2014-10-01T11:56:08Z pjb quit (Ping timeout: 272 seconds) 2014-10-01T12:32:25Z rme joined #ccl 2014-10-01T12:53:12Z pjb` is now known as pjb 2014-10-01T14:30:33Z ccl-logbot joined #ccl 2014-10-01T14:30:33Z 2014-10-01T14:30:33Z names: ccl-logbot rme pjb carvite edgar-rft hlavaty` gbyers kini heddwch leo2007 gz john-mcaleely asedeno clop billstclair alchemis7 clop2 akkad Hydan H4ns ljos jdz mdc Intensity mdc_mobile brucem bhyde` peccu2 fe[nl]ix Blkt gko @ChanServ ivan`` |3b| 2014-10-01T14:34:09Z jdz quit (Ping timeout: 260 seconds) 2014-10-01T14:34:49Z jdz joined #ccl 2014-10-01T14:42:02Z edgar-rft quit (Quit: lifetime lost because something burns) 2014-10-01T14:59:01Z shigoel_ joined #ccl 2014-10-01T15:22:51Z Adlai joined #ccl 2014-10-01T16:42:51Z Adlai quit (Ping timeout: 264 seconds) 2014-10-01T17:21:01Z clop: i've been having some trouble with acl2 not responding to Ctrl+C interrupts lately... are there any quick rules of thumb about what might cause that kind of irresponsiveness? 2014-10-01T17:21:13Z clop: maybe things like without-interrupts, i don't know what else? 2014-10-01T17:21:39Z rme: unwind-protect cleanup forms are run with interrupts disabled. 2014-10-01T17:26:26Z gendl_ joined #ccl 2014-10-01T17:29:49Z gendl_ quit (Client Quit) 2014-10-01T18:56:20Z gz quit (Ping timeout: 260 seconds) 2014-10-01T18:57:46Z gz_ joined #ccl 2014-10-01T20:01:23Z Adlai joined #ccl 2014-10-01T20:44:07Z pjb: clop: are you using it thru slime/emacs? 2014-10-01T20:44:13Z pjb: If so, it's C-g C-g, not C-c. 2014-10-01T20:51:32Z gbyers: clop: on what platform(s) ? 2014-10-01T20:52:27Z Adlai quit (Ping timeout: 264 seconds) 2014-10-01T21:04:50Z clop: hi, sorry, on emacs/linux, i've used Ctrl+C (really C-c C-c in shell mode) for years and it has worked fine... it's probably a change to acl2 that is doing too much in an unwind-protect or in a without-interrupts 2014-10-01T21:05:07Z clop: i'll have to poke at it, thanks for the unwind-protect idea 2014-10-01T21:05:36Z shigoel_ quit (Ping timeout: 260 seconds) 2014-10-01T21:42:03Z shigoel_ joined #ccl 2014-10-01T23:39:14Z rme quit (Quit: rme)