William D. Jones cr1901 · he/him
  • Joined on 2026年03月10日
cr1901 deleted branch split-cover from cr1901/sentinel 2026年06月01日 21:10:07 +02:00
cr1901 pushed to main at cr1901/sentinel 2026年06月01日 21:09:47 +02:00
42f12b995d Improve formal CI job splits [no ci].
cr1901 pushed to next at cr1901/sentinel 2026年06月01日 21:09:21 +02:00
e2ea9ff452 Improve formal CI job splits [no ci].
cr1901 pushed to next at cr1901/sentinel 2026年06月01日 20:57:28 +02:00
247a30428f Improve formal CI job splits [no ci].
8346419d9b Junk directory entries in zip when uploading release Verilog [no ci].
Compare 2 commits »
cr1901 pushed to split-cover at cr1901/sentinel 2026年05月26日 03:05:11 +02:00
dcc23cb263 Give better name to each formal job. Split insns in thirds [no ci].
cr1901 pushed to split-cover at cr1901/sentinel 2026年05月26日 01:44:00 +02:00
2c63632e52 Fix typos in formal workflow file [no ci].
cr1901 pushed to split-cover at cr1901/sentinel 2026年05月26日 01:41:45 +02:00
b81f0e1bc2 Try further adjusting jobs to not exceed CI time [no ci].
29b1867b27 Allow cover job to fail if it takes too long- doesn't test correctness [no ci].
Compare 2 commits »
cr1901 pushed to split-cover at cr1901/sentinel 2026年05月25日 21:00:01 +02:00
60817b992c Split formal job so that cover gets maximum time to run [no ci].
cr1901 pushed to split-cover at cr1901/sentinel 2026年05月25日 20:59:10 +02:00
5edbd98cc5 Split formal job so that cover gets maximum time to run [no-ci].
64b0252e2d Junk directory entries in zip when uploading release Verilog [no si].
Compare 2 commits »
cr1901 created branch split-cover in cr1901/sentinel 2026年05月25日 20:59:10 +02:00
cr1901 commented on issue cr1901/AT2XT#22 2026年05月25日 17:57:43 +02:00
XT2AT

It's definitely possible for XT to talk to AT with an adapter. I could probably even use the same board. However, AT keyboards are a bit smarter than XT ones- the AT computer can request the...

cr1901 deleted branch update-yosys-2026年02月01日-next from cr1901/sentinel 2026年05月12日 02:30:01 +02:00
cr1901 deleted branch update-yosys-2026年02月01日-main from cr1901/sentinel 2026年05月12日 02:29:57 +02:00
cr1901 deleted branch update-yosys-2026年03月01日-main from cr1901/sentinel 2026年05月12日 02:29:53 +02:00
cr1901 deleted branch update-yosys-2026年03月01日-next from cr1901/sentinel 2026年05月12日 02:29:47 +02:00
cr1901 pushed tag lm32-lra-2026年04月30日T14.05.53 to cr1901/gcc-testruns 2026年05月10日 23:56:04 +02:00
cr1901 pushed tag lm32-baseline-2026年04月30日T07.50.19 to cr1901/gcc-testruns 2026年05月10日 23:55:19 +02:00
cr1901 closed pull request cr1901/sentinel#71 2026年05月10日 06:18:02 +02:00
Update OSS CAD Suite version to 2026年03月01日.
cr1901 commented on pull request cr1901/sentinel#71 2026年05月10日 06:18:02 +02:00
Update OSS CAD Suite version to 2026年03月01日.

Completed on Github, before I decided to archive the repo there.

cr1901 closed pull request cr1901/sentinel#69 2026年05月10日 06:17:11 +02:00
Update OSS CAD Suite version to 2026年02月01日.