Commit graph

Select branches

Hide pull requests

master

Mono Color

• 88eff5952b
  
  working on reg_alloc -- wire up free_regs_tracker.alloc_out master Jacob Lifshay 2025-01-15 19:47:00 -0800
• 9781f1f4c5
  
  update to latest fayalite to include bug fix libre-chip/fayalite#16 Jacob Lifshay 2025-01-15 19:14:31 -0800
• 5f7766777a
  
  working on reg_alloc -- selected_unit_nums should be correct now Jacob Lifshay 2025-01-12 22:11:44 -0800
• 89717f8916
  
  update to latest version of fayalite Jacob Lifshay 2025-01-09 23:36:23 -0800
• 24a8b4b71b
  
  update fayalite to latest git Jacob Lifshay 2025-01-09 19:39:25 -0800
• 12481cfab3
  
  start debugging reg_alloc with simulator Jacob Lifshay 2024-12-20 00:26:16 -0800
• bf34dee043
  
  update to fayalite commit 9b06019bf54303e51989484a0cfa1641b0e9d543 Jacob Lifshay 2024-12-18 22:36:08 -0800
• 1761d7094e
  
  update to latest fayalite and match rust version Jacob Lifshay 2024-12-15 20:32:27 -0800
• b51109f4f6
  
  WIP implementing reg_alloc Jacob Lifshay 2024-11-05 17:34:31 -0800
• 1a72425156
  
  update fayalite dependency Jacob Lifshay 2024-11-05 17:33:24 -0800
• 265b5a9cec
  
  add repository to cache key Jacob Lifshay 2024-10-30 20:57:17 -0700
• 4c94f5d91a
  
  split deps out into separate job with cache and build z3 4.13.3 Jacob Lifshay 2024-10-16 17:03:58 -0700
• e5f59939cc
  
  remove now-unnecessary memory-based parallelism limiting Jacob Lifshay 2024-10-15 23:51:41 -0700
• a305ad51b2
  
  reduce formal proof depth to avoid z3 eating all our memory Jacob Lifshay 2024-10-15 23:50:51 -0700
• b54e40561f
  
  limit parallelism based on available memory too Jacob Lifshay 2024-10-15 20:46:37 -0700
• aaa2cb193e
  
  add formal proof for unit_free_regs_tracker Jacob Lifshay 2024-10-15 02:25:35 -0700
• cb5855589f
  
  WIP adding register allocator Jacob Lifshay 2024-10-14 21:19:45 -0700
• d0aa86e335
  
  add forgejo CI Jacob Lifshay 2024-10-14 16:30:55 -0700
• d7f62737f2
  
  add license headers Jacob Lifshay 2024-10-14 16:28:13 -0700
• 30c02e2b98
  
  add scripts/check-copyright.sh Jacob Lifshay 2024-10-14 16:25:42 -0700
• f65fc1d616
  
  add more register stuff Jacob Lifshay 2024-10-13 01:37:36 -0700
• 1a44fcc609
  
  update fayalite dependency Jacob Lifshay 2024-10-11 17:34:12 -0700
• 4c3dd128a3
  
  WIP: adding micro ops Jacob Lifshay 2024-10-10 22:57:11 -0700
• 0f4f067996
  
  start adding cpu data types Jacob Lifshay 2024-10-08 20:22:15 -0700