Google Git
Sign in
opensecura / 3p / sel4 / camkes-tool / refs/heads/master / tools
  1. 35473a7 Merge commit 'ef192c1bb3541e1ee27432452dc11cc6efd5e92e' into merge by Sam Leffler · 2 years, 4 months ago
  2. 0439d5c Replace orderedset with ordered_set by Cindy Liu · 2 years, 9 months ago
  3. d38e851 trivial: Apply style.sh by Kent McLeod · 3 years, 9 months ago
  4. 068b13b check_deps.py: Remove tempita dependency check by Kent McLeod · 3 years, 10 months ago
  5. e2ab689 check_deps.py: Make script python3 compatible by Kent McLeod · 3 years, 10 months ago
  6. 3c72e41 trivial: style by Gerwin Klein · 4 years ago
  7. 89b488a Comment on why the SPDX string is cut up by Gerwin Klein · 4 years ago
  8. fb5e8e4 spdx: special treatment for generated header by Gerwin Klein · 4 years, 1 month ago
  9. 34314e5 convert to SDPX license tags by Gerwin Klein · 4 years, 1 month ago
  10. bb94d14 tools: generalise jinja_lint support to non-CAmkES use cases by Matthew Fernandez · 5 years ago
  11. 635d83e tools: type hints for jinja_lint by Matthew Fernandez · 5 years ago
  12. 9e76e79 tools: port jinja_lint to Python 3 only by Matthew Fernandez · 5 years ago
  13. 4b53b11 Accept Red Hat ARM Xcompilers in `check_deps.py` by maybe-sybr · 5 years ago
  14. 28d01c2 tools: add new capDL dependencies to camkes-deps by Japheth Lim · 6 years ago
  15. c1a44e7 python-deps: Add simpleeval to python deps by Kent McLeod · 6 years ago
  16. d26361f Add aenum as a dependency, drop enum34. by Anna Lyons · 6 years ago
  17. 24ca2b4 cdl-refine: update to work with GrantReply by Japheth Lim · 6 years ago
  18. acb7d0c Update python-deps by Anna Lyons · 6 years ago
  19. 299a055 python-deps: add concurrencytest by Anna Lyons · 6 years ago
  20. 6a79a02 Add enum34 to camkes_deps pip package by Kent McLeod · 6 years ago
  21. d1ca9f3 Remove cache: Update check_deps.py by Summer Li · 7 years ago
  22. 5d3e48b Remove cache: Delete the accelerator tool by Summer Li · 7 years ago
  23. 4f612ab camkes/parser: add a DTBMatchQuery class by Anna Lyons · 7 years ago
  24. 34ba082 update build system for Isabelle templates by Japheth Lim · 7 years ago
  25. 2ed061a Add pyfdt to camkes_deps pip package by Anna Lyons · 7 years ago
  26. 06a90a1 tools: Remove compiler-wrapper.py and update docs by Kent McLeod · 7 years ago
  27. d2fbed3 Understand 'call' in jinja2 linter by Adrian Danis · 7 years ago
  28. f4677ae Understand 'from' in jinja2 linter by Adrian Danis · 7 years ago
  29. 018e619 Extend token syntax in jinja linter by Adrian Danis · 7 years ago
  30. aab7fb4 docsite: Update url by Kent McLeod · 7 years ago
  31. f1eb3bb accelerator: Correct cmake required version by Adrian Danis · 7 years ago
  32. f8be74a accelerator: Only build tests when testing, not as a default target by Adrian Danis · 7 years ago
  33. ab432f6 accelerator: Add install target by Adrian Danis · 7 years ago
  34. 4ad551d accelerator: Correctly describe dependencies of generated header by Adrian Danis · 7 years ago
  35. 9fb4c05 Run licence tool over files by Kent McLeod · 8 years ago
  36. 3ce1f97 Fix whitespace by Anna Lyons · 8 years ago
  37. 8b2ec3e Fix licenses by Anna Lyons · 8 years ago
  38. c9982c7 Bump deps version number by Stephen Sherratt · 8 years ago
  39. 6fc2ec5 Added pycparser dependency by Stephen Sherratt · 8 years ago
  40. 9599db4 Add pip metapackage for downloading dependencies by Stephen Sherratt · 8 years ago
  41. d85314a Replace ghc and cabal in check_deps with stack by Stephen Sherratt · 8 years ago
  42. e7bdecd Add orderedset as a dependency. by Matthew Fernandez · 9 years ago
  43. 8dff1c7 s/unsigned int/unsigned; Why use 12 characters when 8 will do? by Matthew Fernandez · 9 years ago
  44. 2ecf12e tpp: Fix typos in error messages. by Matthew Fernandez · 9 years ago
  45. a6722fa Attempt #2 at TPP warnings. by Matthew Fernandez · 9 years ago
  46. bf2911a TPP: Warn when condense is still enabled on exit. by Matthew Fernandez · 9 years ago
  47. 6434f92 Add a program for checking the CNode size algorithms. by Matthew Fernandez · 9 years ago
  48. 2663ce1 linter: Detect 'else' inside 'for' as a problem. by Matthew Fernandez · 9 years ago
  49. bd29044 Jinja linter: Catch when there is unexpected trailing content in a statement. by Matthew Fernandez · 9 years ago
  50. c7e76a5 Jinja linter: Add support for catching suspect looking 'do' and 'set' statements. by Matthew Fernandez · 9 years ago
  51. fb485de Jinja linter: Recognise whitespace controls on directives. by Matthew Fernandez · 9 years ago
  52. aa7ae2d Jinja linter: Check that we're actually in a for when we encounter break. by Matthew Fernandez · 9 years ago
  53. 3521331 Jinja linter: Support else inside a for loop. by Matthew Fernandez · 9 years ago
  54. f41bf16 Remove unnecessary carets from the beginning of regexes. by Matthew Fernandez · 9 years ago
  55. 577f84f Add a test case that exhibits JIRA CAMKES-452. by Matthew Fernandez · 9 years ago
  56. 7b46caa accelerator: Fix: truncate output files before writing to them. by Matthew Fernandez · 9 years ago
  57. 0303152 Merge pull request #84 in SEL4/camkes-tool from ~MFERNANDEZ/camkes-tool:c621a40d-04ac-4712-a538-f688922aeebd to next by Matthew Fernandez · 9 years ago
  58. 596e91b tpp: Optimise by compiling regexes once. by Matthew Fernandez · 9 years ago
  59. 73acebc Repair a static analysis test of the accelerator. by Matthew Fernandez · 9 years ago
  60. b380732 accelerator: Disable Goanna tests when license server unreachable. by Matthew Fernandez · 9 years ago
  61. bacfebc Refactored parser init commit. by Matthew Fernandez · 9 years ago
  62. b3740e3 tpp: Fix: Remove blank lines as the last pass. by Matthew Fernandez · 10 years ago
  63. 59a6a6d tpp: Remove --in-place command-line argument. by Matthew Fernandez · 10 years ago
  64. 2cfd6da Remove some deprecated tools. by Matthew Fernandez · 10 years ago
  65. 9f849a2 Enforce iterator protocol in jinja_lint. by Matthew Fernandez · 10 years ago
  66. f5707c5 Remove legacy printer script. by Matthew Fernandez · 10 years ago
  67. 1d4545c Restore +x on tpp. by Matthew Fernandez · 10 years ago
  68. 6ac87bf Add a tool for running pylint on Jinja templates. by Matthew Fernandez · 10 years ago
  69. 56e3aeb Pull in theory pre-processor from 'development'. by Matthew Fernandez · 10 years ago
  70. fea4732 jinja-lint: Add missing directive 'import' by Matthew Fernandez · 10 years ago
  71. 9259d82 Add some missing licence headers. by Matthew Fernandez · 10 years ago
  72. 271d64f tools: Add a tool for basic checking of Jinja templates. by Matthew Fernandez · 10 years ago
  73. cc64bb5 Release snapshot by TrustworthySystems · 11 years ago