IRC logs for #trustable for Monday, 2016-09-26

*** paulsher1ood has joined #trustable05:16
*** paulsherwood has quit IRC05:21
*** ctbruce has joined #trustable07:31
*** ctbruce has quit IRC07:32
*** ctbruce has joined #trustable07:32
*** faybrocklebank has joined #trustable07:35
*** ChrisPolin has joined #trustable08:16
*** ChrisPolin has joined #trustable08:17
*** ctbruce has quit IRC08:32
*** ctbruce has joined #trustable08:32
*** ctbruce has quit IRC08:48
*** ctbruce has joined #trustable08:49
*** ctbruce has quit IRC08:50
*** laurenceurhegyi has joined #trustable09:06
*** ctbruce has joined #trustable09:12
*** ctbruce has quit IRC09:54
*** ctbruce has joined #trustable09:54
*** andrewleeming__ is now known as leeming09:56
leeminglaurenceurhegyi, didn't you say last week you had written a brief exec summary of the project?10:14
leemingcould you please update the overview wiki with it please? https://gitlab.com/trustable/overview/wikis/home10:15
laurenceurhegyiSure. I'll get a chance later today and update on here when done.10:19
*** locallycompact has joined #trustable10:28
leemingcool thanks.10:29
*** laurenceurhegyi has quit IRC11:17
*** laurenceurhegyi has joined #trustable11:19
*** pedroalvarez_ is now known as pedroalvarez11:46
*** ctbruce has quit IRC11:51
jmacshttps://www.misra-c.com/ seems to have an invalid certificate and no content11:57
*** mdunford has joined #trustable12:48
leemingha that is amusing12:57
* leeming can verify that the verified c compiler website does not work12:57
*** ctbruce has joined #trustable13:39
*** laurenceurhegyi has quit IRC14:03
*** laurenceurhegyi has joined #trustable15:08
*** ctbruce has quit IRC15:41
*** laurenceurhegyi has quit IRC16:34
*** faybrocklebank has quit IRC16:53
*** locallycompact has quit IRC17:28
*** laurenceurhegyi has joined #trustable17:59
*** laurenceurhegyi has quit IRC18:22

Generated by irclog2html.py 2.14.0 by Marius Gedminas - find it at mg.pov.lt!