Add UTIME_NOW, UTIME_OMIT TODOs
[hurd-web.git] / open_issues / formal_verification.mdwn
2013-01-08 Thomas SchwingeMerge remote-tracking branch 'ArneBab/master'
2012-12-29 Samuel ThibaultMerge branch 'master' of git.savannah.gnu.org:/srv...
2012-12-22 Thomas SchwingeMerge remote-tracking branch 'ArneBab/master'
2012-12-22 Thomas SchwingeMerge commit 'b1f5bc28c18c6a277f29fc0c106262f371d15b78'
2012-12-20 Thomas SchwingeMerge commit 'e2ea5b0c58cde5e8f757623f60913bf3ebfe6b77'
2012-12-20 Thomas SchwingeMerge remote-tracking branch 'feldtkeller.SCHWINGE...
2012-12-14 Thomas Schwingeopen_issues/gcc: a1d48e100791bc67ff355e0931a604e767c827...
2012-09-17 Arne Babenhauserheidemerge.
2011-10-03 Thomas SchwingeMerge branch 'io_path'
2011-05-04 Samuel ThibaultMerge branch 'master' of flubber:~hurd-web/hurd-web
2011-05-02 Thomas SchwingeMerge remote branch 'kepler.SCHWINGE/foss_factory'
2011-05-02 Thomas SchwingeMerge branch 'master' into foss_factory
2011-04-27 Thomas SchwingeFOSS Factory: Some more tasks.
2011-01-09 Samuel ThibaultMerge branch 'master' of flubber:~hurd-web/hurd-web
2010-12-21 Thomas SchwingeElaborate on DSLs, IDLs, code analysis, etc.