| *** paulsher1ood has joined #trustable | 05:16 | |
| *** paulsherwood has quit IRC | 05:21 | |
| *** ctbruce has joined #trustable | 07:31 | |
| *** ctbruce has quit IRC | 07:32 | |
| *** ctbruce has joined #trustable | 07:32 | |
| *** faybrocklebank has joined #trustable | 07:35 | |
| *** ChrisPolin has joined #trustable | 08:16 | |
| *** ChrisPolin has joined #trustable | 08:17 | |
| *** ctbruce has quit IRC | 08:32 | |
| *** ctbruce has joined #trustable | 08:32 | |
| *** ctbruce has quit IRC | 08:48 | |
| *** ctbruce has joined #trustable | 08:49 | |
| *** ctbruce has quit IRC | 08:50 | |
| *** laurenceurhegyi has joined #trustable | 09:06 | |
| *** ctbruce has joined #trustable | 09:12 | |
| *** ctbruce has quit IRC | 09:54 | |
| *** ctbruce has joined #trustable | 09:54 | |
| *** andrewleeming__ is now known as leeming | 09:56 | |
| leeming | laurenceurhegyi, didn't you say last week you had written a brief exec summary of the project? | 10:14 |
|---|---|---|
| leeming | could you please update the overview wiki with it please? https://gitlab.com/trustable/overview/wikis/home | 10:15 |
| laurenceurhegyi | Sure. I'll get a chance later today and update on here when done. | 10:19 |
| *** locallycompact has joined #trustable | 10:28 | |
| leeming | cool thanks. | 10:29 |
| *** laurenceurhegyi has quit IRC | 11:17 | |
| *** laurenceurhegyi has joined #trustable | 11:19 | |
| *** pedroalvarez_ is now known as pedroalvarez | 11:46 | |
| *** ctbruce has quit IRC | 11:51 | |
| jmacs | https://www.misra-c.com/ seems to have an invalid certificate and no content | 11:57 |
| *** mdunford has joined #trustable | 12:48 | |
| leeming | ha that is amusing | 12:57 |
| * leeming can verify that the verified c compiler website does not work | 12:57 | |
| *** ctbruce has joined #trustable | 13:39 | |
| *** laurenceurhegyi has quit IRC | 14:03 | |
| *** laurenceurhegyi has joined #trustable | 15:08 | |
| *** ctbruce has quit IRC | 15:41 | |
| *** laurenceurhegyi has quit IRC | 16:34 | |
| *** faybrocklebank has quit IRC | 16:53 | |
| *** locallycompact has quit IRC | 17:28 | |
| *** laurenceurhegyi has joined #trustable | 17:59 | |
| *** laurenceurhegyi has quit IRC | 18:22 | |
Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!