- Committer: Martin Decky
- Date: 2009-11-25 14:08:50 UTC
- Revision ID: martin@uranus.dsrg.hide.ms.mff.cuni.cz-20091125140850-b20woz7ht9jhvhbr
add basic support for Stanse static checker (http://stanse.fi.muni.cz/)
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
boot
|
1 | 15 years ago | Martin Decky | Initial import |
|
||
|
contrib
|
1 | 15 years ago | Martin Decky | Initial import |
|
||
|
defaults
|
1 | 15 years ago | Martin Decky | Initial import |
|
||
|
kernel
|
1 | 15 years ago | Martin Decky | Initial import |
|
||
|
tools
|
1 | 15 years ago | Martin Decky | Initial import |
|
||
|
uspace
|
1 | 15 years ago | Martin Decky | Initial import |
|
||
HelenOS.config |
92 | 15 years ago | Martin Decky | initial Clang support this is more like a proof-o | 12.8 KB |
|
|
|
Makefile |
145 | 15 years ago | Martin Decky | add basic support for Stanse static checker (http: | 2.2 KB |
|
|
|
version |
1 | 15 years ago | Martin Decky | Initial import | 1.8 KB |
|
|