Skip to content
Snippets Groups Projects
Select Git revision
  • mp_dev default
  • main protected
  • exp_refactor
  • cav2023
  • arch2023
  • parallel-old
  • TACAS2023
  • L1_quadrotor
8 results
Search by author
  • Any Author
  • akshayn3 akshayn3 akshayn3
  • dzhuang6 dzhuang6 dzhuang6
  • guangy2 guangy2 guangy2
  • haonan2 haonan2 haonan2
  • hongyuc5 hongyuc5 hongyuc5
  • jaia2 jaia2 jaia2
  • John John jpohov2
  • krdc krdc krdc
  • li213 li213 li213
  • Sayan Mitra Sayan Mitra mitras
  • ubhowmik ubhowmik ubhowmik
  • yanmiao2 yanmiao2 yanmiao2
12 authors
  1. May 30, 2023
    • crides's avatar
      dev-tools: add pre-commit · cfd20c4a
      crides authored 
      - auto run `black` and remove trailing whitespaces
- add barebones "contributing" section to readme
      cfd20c4a