GitHub PushEvent at 2014-12-05 10:13:24
Repository: genode
Actor: ValiValpas
Payload: {"shas":[["de86b8a92f9a6c91d648e6a9dee3b6e361144b20","148d5831f89715aff2703c02312cddd4555c7b9a@ida.ing.tu-bs.de","libports: add glucose test case\n\nUnfortunately, glucose is not working at the moment because of a\nsegfault in ld.lib.so.\nThis might have something to do with libc/stdcxx calls from glucose.","Johannes Schlatow",true],["07fa4ca50c577172c20fbbd3844958ce14857e5d","148d5831f89715aff2703c02312cddd4555c7b9a@ida.ing.tu-bs.de","libports: patch buffer size in glucose\n\nThe original buffer size is just too large for Genode's default stack.","Johannes Schlatow",true],["4e6e3acd1150a1a054f54066b0b264b6d476fdae","148d5831f89715aff2703c02312cddd4555c7b9a@ida.ing.tu-bs.de","increase buffer size in tool/run for testing","Johannes Schlatow",true],["d30fdef11fcf70af75829dc2f4e10b7fc5169465","148d5831f89715aff2703c02312cddd4555c7b9a@ida.ing.tu-bs.de","libports: add pycpa","Johannes Schlatow",true],["7aa659005c355af552d05fa2946ecb8844782b0f","148d5831f89715aff2703c02312cddd4555c7b9a@ida.ing.tu-bs.de","libports: add more python builtin modules","Johannes Schlatow",true],["d7829fd0e225a7c6f3057ee9d2cfaec6b8771c55","148d5831f89715aff2703c02312cddd4555c7b9a@ida.ing.tu-bs.de","libports: add pycpa patches","Johannes Schlatow",true],["137161b2373954d79426c72e2212070abc39d179","715c057449941916292d0f6d747877e2fbe7af60@freenet.de","Add initial doxygen configuration file for the whole genode framework","Timo Wischer",true],["7504d9b85e82f945edd2d7d41b625b579b7b1e76","715c057449941916292d0f6d747877e2fbe7af60@freenet.de","Use more repos with doxygen","Timo Wischer",true],["f55100c1a9b57cd4f0542fc6efa471ba249a954f","715c057449941916292d0f6d747877e2fbe7af60@freenet.de","ignore doxygen db files","Timo Wischer",true]],"size":9,"ref":"refs/heads/master","head":"f55100c1a9b57cd4f0542fc6efa471ba249a954f"}