Clone this repo:
  1. 48db0a6 Avoid warning '"Pos64" is already use-visible' by Nico Huber · 9 months ago factory-brya-15684.B factory-rex-15708.B firmware-cr50-efi-15611.28.B firmware-cr50-mp-15611.B firmware-cr50-prepvt-15608.B firmware-rex-15709.B main release-R117-15572.B release-R118-15604.B release-R119-15633.B release-R120-15662.B release-R121-15699.B release-R122-15753.B release-R123-15786.B release-R124-15823.B stabilize-15561.B stabilize-15562.B stabilize-15563.B stabilize-15564.B stabilize-15572.16.B stabilize-15572.39.B stabilize-15572.4.B stabilize-15572.50.B stabilize-15572.57.B stabilize-15572.63.B stabilize-15588.B stabilize-15604.16.B stabilize-15604.45.B stabilize-15604.56.B stabilize-15604.57.B stabilize-15610.B stabilize-15633.44.B stabilize-15633.58.B stabilize-15633.69.B stabilize-15642.B stabilize-15654.B stabilize-15662.64.B stabilize-15662.76.B stabilize-15662.78.B stabilize-15662.80.B stabilize-15662.88.B stabilize-15677.B stabilize-15699.58.B stabilize-15699.66.B stabilize-15714.B stabilize-15753.46.B stabilize-15753.55.B stabilize-15756.B stabilize-15786.48.B stabilize-15786.58.B stabilize-15793.B stabilize-quickfix-15662.77.B stabilize-quickfix-15786.49.B
  2. 5ec3927 hw-debug: Place global variables in the .bss section by Jeremy Compostella · 1 year, 5 months ago factory-skyrim-15384.B firmware-skyrim-15369.B firmware-skyrim-15390.B release-R111-15329.B release-R112-15359.B release-R113-15393.B release-R114-15437.B release-R115-15474.B release-R116-15509.B stabilize-15300.B stabilize-15301.B stabilize-15317.B stabilize-15329.44.B stabilize-15329.59.B stabilize-15335.B stabilize-15359.45.B stabilize-15359.50.B stabilize-15359.58.B stabilize-15361.B stabilize-15364.B stabilize-15381.B stabilize-15393.48.B stabilize-15393.58.B stabilize-15395.B stabilize-15415.B stabilize-15429.B stabilize-15432.B stabilize-15437.42.B stabilize-15437.57.B stabilize-15437.59.B stabilize-15439.B stabilize-15446.B stabilize-15474.38.B stabilize-15474.53.B stabilize-15474.70.B stabilize-15483.B stabilize-15485.B stabilize-15509.37.B stabilize-15509.63.B stabilize-15509.72.B stabilize-15511.B stabilize-15519.B stabilize-15531.B stabilize-15532.B
  3. f63d6d9 Fix "unnecessary with of ancestor [-gnatwr]" by Elyes Haouas · 1 year, 7 months ago factory-brya-15231.B factory-corsola-15196.B factory-corsola-15197.B factory-nissa-15199.B factory-trogdor-15210.B firmware-corsola-15194.B firmware-nissa-15217.126.B firmware-nissa-15217.253.B firmware-nissa-15217.45.B firmware-nissa-15217.B release-R109-15236.B release-R110-15278.B stabilize-15207.B stabilize-15208.B stabilize-15236.66.B stabilize-15245.B stabilize-15251.B stabilize-15278.64.B stabilize-quickfix-15278.72.B
  4. 9946827 Add OWNERS and DIR_METADATA by Tim Wawrzynczak · 2 years, 2 months ago factory-14778.B factory-brya-14909.124.B factory-firmware-ti50-guc-14778.B factory-foobar-15000.B factory-guybrush-14908.B firmware-14947.B firmware-chameleon-14947.B firmware-duplo-15151.B firmware-ti50-mp-15224.B firmware-ti50-prepvt-15086.B release-R102-14695.B release-R103-14816.B release-R104-14909.B release-R105-14989.B release-R106-15054.B release-R107-15117.B release-R108-15183.B stabilize-14682.B stabilize-14695.107.B stabilize-14695.85.B stabilize-14771.B stabilize-14790.B stabilize-14803.B stabilize-14816.131.B stabilize-14816.136.B stabilize-14816.138.B stabilize-14816.82.B stabilize-14816.84.B stabilize-14839.B stabilize-14909.100.B stabilize-14918.B stabilize-14964.B stabilize-14989.107.B stabilize-14989.85.B stabilize-14998.B stabilize-15032.B stabilize-15033.B stabilize-15054.115.B stabilize-15054.26.B stabilize-15054.98.B stabilize-15072.B stabilize-15083.B stabilize-15086.B stabilize-15117.111.B stabilize-15117.48.B stabilize-15117.86.B stabilize-15120.B stabilize-15122.B stabilize-15129.B stabilize-15167.B stabilize-15174.B stabilize-15183.14.B stabilize-15183.69.B stabilize-15183.82.B stabilize-15185.7.B stabilize-15185.B stabilize-quickfix-14695.124.B stabilize-quickfix-14695.187.B stabilize-quickfix-14909.132.B stabilize-quickfix-15183.78.B stabilize-testbranch-15185.10.B
  5. fc2102f dynamic_mmio: Use volatile access type by Nico Huber · 2 years, 10 months ago
  6. a3edc6e Makefile: Add `-gnatw_R` to suppress spurious warning by Angel Pons · 3 years, 9 months ago
  7. d822df5 Makefile: Delay expansion of `$(ADAFLAGS)` by Angel Pons · 3 years, 9 months ago
  8. 4e22910 Makefile: Adapt $(space) definition by Angel Pons · 4 years, 2 months ago
  9. 9f87a10 time: Add T_First constant by Adrian-Ken Rueegsegger · 7 years ago
  10. 69e9086 mutime: Make Sinfo an imported constant by Adrian-Ken Rueegsegger · 4 years, 3 months ago
  11. bd0ed91 Makefile: Revise support for generated sources by Nico Huber · 6 years ago
  12. 455ed64 direct pci, debug: Fix minor style issues by Nico Huber · 6 years ago
  13. 6582141 Makefile.proof: Add --no-inlining to SPARKFLAGS by Nico Huber · 6 years ago
  14. c38015d mutime: Move to common/ by Nico Huber · 6 years ago
  15. a6a4909 time: Revise state abstraction by Nico Huber · 6 years ago
  16. a60324f Makefile.proof: Remove cvc4 from prover list by Nico Huber · 6 years ago
  17. 637f2a4 pci: Make HW.PCI.MMConf a public generic by Nico Huber · 6 years ago
  18. 6685971 linux pci: Add dummy PCI access for shared contracts by Nico Huber · 7 years ago
  19. 1404fbb Makefile.proof: Reorder theorem provers by Nico Huber · 7 years ago
  20. e05bf87 direct pci: Always initialize Address_State by Nico Huber · 7 years ago