projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f056b4a) | patch
checking bug fix for memory queue, the jury is still out on the formal verification...
authorjjenista <jjenista>
Mon, 16 Aug 2010 21:35:34 +0000 (21:35 +0000)
committerjjenista <jjenista>
Mon, 16 Aug 2010 21:35:34 +0000 (21:35 +0000)
commit138ff901fd63232fbcc3f8c2c4a6168bb96234c5
tree3f39d0645fbea969fc25b485673ba989d91928batree | snapshot
parentf056b4a93272231227592da61d6e95c09e5da0abcommit | diff
checking bug fix for memory queue, the jury is still out on the formal verification of this fix
Robust/src/Runtime/mlp_runtime.c diff | blob | history
Irvine Research Compiler