programmerjake
deleted branch switch-to-new-fayalite-ci from programmerjake/cpu
2025-10-24 10:15:27 +00:00
upgrade fayalite and switch to use new fayalite-deps container
programmerjake
created branch switch-to-new-fayalite-ci in programmerjake/cpu
2025-10-24 09:54:56 +00:00
programmerjake
deleted branch dont_cache_user_terminated_jobs from programmerjake/fayalite
2025-10-24 09:34:31 +00:00
don't cache external job failures if they could be caused by the user killing processes
programmerjake
created branch dont_cache_user_terminated_jobs in programmerjake/fayalite
2025-10-24 09:28:51 +00:00
programmerjake
pushed to dont_cache_user_terminated_jobs at programmerjake/fayalite
2025-10-24 09:28:51 +00:00
838bd469ce
misc fixes from using new fayalite version in cpu: improve UIntInRange's API, move FormalMode to testing and add to prelude, and fix inconsistent ordering of memories in vcd
838bd469ce
programmerjake
deleted branch misc_fixes_for_cpu from programmerjake/fayalite
2025-10-24 08:48:50 +00:00
misc fixes from using new fayalite version in cpu: improve UIntInRange's API, move FormalMode to testing and add to prelude, and fix inconsistent ordering of memories in vcd
838bd469ce
programmerjake
created branch misc_fixes_for_cpu in programmerjake/fayalite
2025-10-24 07:54:36 +00:00
programmerjake
deleted branch extend_uint_in_range from programmerjake/fayalite
2025-10-24 07:52:15 +00:00