seL4/tools
Adrian Danis cf8be6639f tools: Remove arithmetic in invocation generation
If invocations are hidden behind config guards the count of how
many invocations there are will be wrong. The C compiler will
correctly assign the value with enum auto numbering, so there's
no need to override that here
2016-06-16 15:36:00 +10:00
..
bf.vim Release snapshot 2014-07-18 05:03:59 +10:00
bitfield_gen.py Revert "bf gen: Add a backend for AutoCorres." 2016-06-06 16:55:41 +10:00
changed.sh Release snapshot 2014-07-18 05:03:59 +10:00
cpp_gen.sh Release snapshot 2014-07-18 05:03:59 +10:00
invocation_header_gen.py tools: Remove arithmetic in invocation generation 2016-06-16 15:36:00 +10:00
lex.py Release snapshot 2014-07-18 05:03:59 +10:00
syscall_header_gen.py tools: syscall_header_gen: print an error to stderr that wasn't 2016-01-25 15:56:34 +11:00
umm.py tools: umm: python3 compat 2016-01-25 15:42:04 +11:00
xmllint.sh Release snapshot 2014-07-18 05:03:59 +10:00
yacc.py tools: yacc: fix broken python3 compatability hack 2016-01-25 15:56:15 +11:00