Commit graph

Select branches

Hide pull requests

master

Mono Color

• 09822a6b4d fstar master Michael Zhang 2024-05-13 13:07:19 -0400
• bae5023350 asdf Michael Zhang 2024-04-25 16:42:13 -0500
• 25fbcdd0f1
  
  builds now Michael Zhang 2024-04-22 20:44:55 -0500
• ed2f598361
  
  ignore lock Michael Zhang 2024-04-22 15:04:41 -0500
• d5e5a441b6
  
  test Michael Zhang 2024-04-22 15:00:46 -0500
• 459f6a7888
  
  init dune project Michael Zhang 2024-04-22 13:29:13 -0500