chiark / gitweb /
~ijackson / trains.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a15184a) | patch
redid safety prediction's handling of uncertainty
authorian <ian>
Wed, 14 May 2008 21:27:38 +0000 (21:27 +0000)
committerian <ian>
Wed, 14 May 2008 21:27:38 +0000 (21:27 +0000)
commit3b746945b78eabf6bd149ee2218f0447b1fd355f
treeb4203e03993f2ef53b134abb344d52240099ffe8tree | snapshot
parenta15184aa8d5e76977a66a5f0f968521063811053commit | diff
redid safety prediction's handling of uncertainty
hostside/safety.c diff | blob | history
hostside/safety.h diff | blob | history
hostside/speed.c diff | blob | history
Unnamed repository; edit this file to name it for gitweb.