CHB:MIPS: add support for some trap instructions · static-analysis-engineering/codehawk@f303317

Triggered via push August 6, 2025 00:58

sipma

master

Status Success

Total duration 6m 35s

Artifacts 5

dune.yaml

on: push

Matrix: Compile and test CodeHawk

Matrix: Run CodeHawk-Binary tests

Matrix: Run CodeHawk-C tests

Produced during runtime

Name	Size	Digest
artifacts-4.12.1 Expired	73 MB	`sha256:99529c05095fc92766c543d343afb4a3ae7eefc55fa6b60ed404f311c83968a2`
artifacts-4.13.1 Expired	74.5 MB	`sha256:b282e099ff32a3665ce2fbc357557b2874255314defbf64037a3a2fc31b49392`
artifacts-4.14.1 Expired	75.1 MB	`sha256:49f6e3f53e34e11c9766ad08204540a0b9329b4e71a8d3e2de4a22c2992368b0`
artifacts-5.0.0 Expired	80.8 MB	`sha256:2e519a891aa2c30ef343bcb579e76e98cfd8ba64db15cf3b63d76e8f99922b2d`
artifacts-5.1.1 Expired	81.7 MB	`sha256:910a7523d1999fc7e264522f7ddaf5e15ba6fb445829c13f19a2300e85ca4939`