| *** jmacs_ has quit IRC | 05:17 | |
| *** jmacs has joined #trustable | 05:18 | |
| *** AlisonChaiken has joined #trustable | 07:26 | |
| AlisonChaiken | So far, the Trustable mailing list has had no mention of ASAN, MSAN, UBSAN that I've noticed. | 07:27 |
|---|---|---|
| AlisonChaiken | They seem more modern and generally useful to me than MISRA. | 07:28 |
| AlisonChaiken | They work for both C and C++. | 07:28 |
| AlisonChaiken | But I must go to bed . . . | 07:28 |
| *** ctbruce has joined #trustable | 08:16 | |
| paulsherwood | AlisonChaiken: you mentioned them :) | 08:32 |
| paulsherwood | but you're right, we should be more proactive, and they are clearly relevant for the C standard work that Robert is leading | 08:36 |
| paulsherwood | interestingly Robert has commented that he wants more tools vendors to be involved in the group | 08:37 |
| paulsherwood | i think it might be interesting if we could get any of those upstreams (ASAN, MSAN, UBSAN) interested... | 08:38 |
| paulsherwood | in the meantime i've added them to http://www.trustable.io/projects.html | 08:40 |
| *** toscalix has joined #trustable | 08:41 | |
| ChrisPolin | Whoops, neglected to scroll up the channel list before leaving the office. I'm certainly happy to join and contribute all I can. | 08:59 |
| *** laurenceurhegyi has joined #trustable | 09:20 | |
| rjek | laurenceurhegyi: Yes, happy to join in although I'm not sure what I'd be able to contribute given the stature of the people already involved | 09:28 |
| *** ctbruce has quit IRC | 10:32 | |
| laurenceurhegyi | rjek: understood, thanks. I think it's something we should be a part of and show willing. If it turns out that we don't take a front seat, I think that's fine. | 10:43 |
| laurenceurhegyi | I have made a list of the infrastructure associated with Trustable. I think this captures everything and I have not missed anything, but let me know if I have: | 11:20 |
| laurenceurhegyi | Website: | 11:20 |
| laurenceurhegyi | http://www.trustable.io/ | 11:20 |
| laurenceurhegyi | The way I see it is that this is our 'home', as it links to everything else we have set up, ie: | 11:21 |
| laurenceurhegyi | Gitlab | 11:21 |
| laurenceurhegyi | The mailing list | 11:21 |
| laurenceurhegyi | This freenode channel | 11:21 |
| laurenceurhegyi | Our wiki is located in Gitlab, along with all stand-up logs. | 11:22 |
| paulsherwood | laurenceurhegyi: the website already features this list (to left, links section) plus an item you've missed (ie the irc logs) | 11:24 |
| laurenceurhegyi | OK. | 11:29 |
| jmacs | btw, Chrome complains about the certificate on https://www.trustable.io | 11:51 |
| paulsherwood | eek | 11:51 |
| *** laurenceurhegyi has quit IRC | 12:25 | |
| *** laurenceurhegyi has joined #trustable | 12:47 | |
| *** ctbruce has joined #trustable | 14:51 | |
| *** ctbruce has quit IRC | 14:52 | |
| *** ctbruce has joined #trustable | 14:54 | |
| *** AlisonChaiken has quit IRC | 17:29 | |
| *** toscalix has quit IRC | 17:51 | |
| *** fay_ has quit IRC | 17:56 | |
| *** ctbruce has quit IRC | 19:32 | |
| *** laurenceurhegyi has quit IRC | 20:58 | |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!