 147/147 |
Fix const-simplification for constraints and stats |
yesterday 317c117 |
|
alligator: Ubuntu 24.04 on x86_64 |
2025-09-01 00:05:49 |
|
shieldtail: Debian 12 on ppc64le (big-endian, LP64) |
2025-08-31 22:08:26 |
|
cavefish: Ubuntu 18.04 on ppc64le |
2025-08-31 22:08:22 |
|
shiner: Ubuntu 22.04 on aarch64 |
2025-08-31 22:08:10 |
|
mealybug: Ubuntu 24.04 on ppc64le (big-endian, LP64) |
2025-08-31 21:08:09 |
|
chalcid: Red Hat Enterprise Linux 8 on x86_64 |
2025-08-31 20:30:12 |
|
casebearer: Rocky Linux 8.9 (Green Obsidian) on x86_64 |
2025-08-31 20:30:10 |
|
rootworm: AlmaLinux OS 9.6 (Sage Margay) on x86_64 |
2025-08-31 20:30:10 |
|
grub: AlmaLinux OS 8.10 (Cerulean Leopard) on x86_64 |
2025-08-31 20:30:09 |
|
woollybear: Red Hat Enterprise Linux 9 on aarch64 |
2025-08-31 20:30:08 |
|
gecko: Red Hat Enterprise Linux 9 on s390x (big-endian, LP64) |
2025-08-31 20:08:48 |
|
lancehead: CentOS 8 on ppc64le |
2025-08-31 20:08:18 |
|
rudd: Ubuntu 20.04 on aarch64 |
2025-08-31 20:08:12 |
|
leafminer: Ubuntu 22.04 on ppc64le |
2025-08-31 20:08:12 |
|
dogfish: Alpine Linux 3.22.0 on x86_64 |
2025-08-31 19:50:28 |
|
rinkhals: Debian 11 on s390x (big-endian, LP64) |
2025-08-31 19:12:33 |
|
nicator: AlmaLinux OS 9 on ppc64le |
2025-08-31 19:08:16 |
|
basilisk: Alpine Linux 3.22.0 on x86_64 |
2025-08-31 18:43:41 |
|
treehopper: Ubuntu 24.04 on s390x (big-endian, LP64) |
2025-08-31 18:10:38 |
|
desman: Fedora Linux 38 on aarch64 |
2025-08-31 18:08:10 |
|
babbler: AlmaLinux OS 8 on ppc64le |
2025-08-31 17:08:19 |
|
hairstreak: Debian 12 on ppc64le |
2025-08-31 17:08:10 |
|
mamushi: Red Hat Enterprise Linux 9 on s390x (big-endian, LP64) |
2025-08-31 16:08:50 |
|
seriema: Debian 12 on aarch64 |
2025-08-31 16:08:16 |
|
grasshopper: Debian 11 on ppc64le (big-endian, LP64) |
2025-08-31 16:08:11 |
|
elasmobranch: SUSE Linux Enterprise Server 15.0 on ppc64le |
2025-08-31 15:34:28 |
|
kingsnake: Fedora Linux 38 on ppc64le |
2025-08-31 15:08:39 |
|
pytilia: AlmaLinux OS 8 on ppc64le |
2025-08-31 15:08:21 |
|
jackdaw: Debian 11 on aarch64 |
2025-08-31 15:08:10 |
|
falcon: CentOS 9 on ppc64le |
2025-08-31 15:08:09 |
|
sarus: Ubuntu 22.04 on s390x (big-endian, LP64) |
2025-08-31 14:10:46 |
|
chevrotain: Debian 11 on ppc64le |
2025-08-31 14:08:24 |
|
comma: AlmaLinux OS 8.10 (Cerulean Leopard) on ppc64le |
2025-08-31 14:08:22 |
|
potoo: AlmaLinux OS 9 on aarch64 |
2025-08-31 14:08:11 |
|
eagle: AlmaLinux OS 9.4 (Seafoam Ocelot) on ppc64le |
2025-08-31 14:08:09 |
|
iguana: Ubuntu 24.04 on ppc64le |
2025-08-31 13:08:17 |
|
broadbill: AlmaLinux OS 8 on aarch64 (big-endian, LP64) |
2025-08-31 13:08:17 |
|
sparrowhawk: Red Hat Enterprise Linux 9 on x86_64 |
2025-08-31 12:30:14 |
|
tortoise: Ubuntu 24.04 on x86_64 |
2025-08-31 12:30:12 |
|
sunfish: Red Hat Enterprise Linux 9 on x86_64 |
2025-08-31 12:30:09 |
|
dogfish: Alpine Linux 3.22.0 on x86_64 |
2025-08-31 12:16:17 |
|
aracari: Red Hat Enterprise Linux 8 on s390x (big-endian, LP64) |
2025-08-31 12:08:46 |
|
shelduck: SUSE Linux Enterprise Server 12 SP5 on s390x (big-endian, LP64) |
2025-08-31 12:08:08 |
|
baza: Debian 12 on x86_64 |
2025-08-31 12:00:06 |
|
basilisk: Alpine Linux 3.22.0 on x86_64 |
2025-08-31 11:08:45 |
|
hamerkop: Microsoft Windows Server 2016 on x86_64 (little-endian, LLP64) |
2025-08-31 11:00:20 |
|
ruddy: SUSE Linux Enterprise Server 15 SP2 on s390x (big-endian, LP64) |
2025-08-31 10:08:53 |
|
lammergeier: Debian 12 on ppc64le |
2025-08-31 10:08:24 |
|
turbot: Ubuntu 22.04 on aarch64 |
2025-08-31 10:08:12 |
|
molamola: Ubuntu 24.04 on ppc64le |
2025-08-31 09:08:09 |
|
swallowtail: Ubuntu 24.04 on x86_64 |
2025-08-31 08:30:13 |
|
webworm: Red Hat Enterprise Linux 9 on x86_64 |
2025-08-31 08:30:12 |
|
camel: Red Hat Enterprise Linux 8 on x86_64 |
2025-08-31 08:30:12 |
|
worm: AlmaLinux OS 9.6 (Sage Margay) on x86_64 |
2025-08-31 08:30:10 |
|
flea: Rocky Linux 8.9 (Green Obsidian) on x86_64 |
2025-08-31 08:30:10 |
|
peregrine: SUSE Linux Enterprise Server 15-SP6 on x86_64 |
2025-08-31 08:30:09 |
|
bollworm: AlmaLinux OS 8.10 (Cerulean Leopard) on x86_64 |
2025-08-31 08:30:09 |
|
bristletail: Red Hat Enterprise Linux 9 on aarch64 (big-endian, LP64) |
2025-08-31 08:30:07 |
|
shikra: Red Hat Enterprise Linux 9 on x86_64 |
2025-08-31 08:30:07 |
|
froghopper: Red Hat Enterprise Linux 9 on s390x (big-endian, LP64) |
2025-08-31 08:10:44 |
|
krait: CentOS 8 on ppc64le |
2025-08-31 08:08:18 |
|
splitfin: Ubuntu 20.04 on aarch64 |
2025-08-31 08:08:07 |
|
pike: Debian 11 on s390x (big-endian, LP64) |
2025-08-31 07:10:38 |
|
twinspot: AlmaLinux OS 9 on ppc64le |
2025-08-31 07:08:16 |
|
fairywren: Microsoft Windows Server 2019 / 2 on x86_64 |
2025-08-31 07:03:23 |
|
motmot: Fedora Linux 38 on aarch64 |
2025-08-31 06:08:13 |
|
gokiburi: Debian sid on aarch64 |
2025-08-31 06:05:05 |
|
dogfish: Alpine Linux 3.22.0 on x86_64 |
2025-08-31 05:31:39 |
|
hawk: Debian 12 on ppc64le |
2025-08-31 05:08:09 |
|
basilisk: Alpine Linux 3.22.0 on x86_64 |
2025-08-31 04:14:59 |
|
lora: Red Hat Enterprise Linux 9 on s390x (big-endian, LP64) |
2025-08-31 04:10:43 |
|
secretarybird: Debian 12 on aarch64 |
2025-08-31 04:08:12 |
|
gyrfalcon: Debian 11 on ppc64le |
2025-08-31 04:08:09 |
|
nuthatch: Arch Linux rolling release on loongarch64 |
2025-08-31 04:04:48 |
|
copperhead: Debian 13 on riscv64 |
2025-08-31 04:01:14 |
|
pollock: OmniOS r151054 on x86_64 |
2025-08-31 04:00:19 |
|
margay: Oracle Solaris 11.4.42 CBE on sparc (big-endian, LP64) |
2025-08-31 04:00:02 |
|
demoiselle: SUSE Linux Enterprise Server 15.0 on ppc64le |
2025-08-31 03:34:27 |
|
mule: Debian 13 on x86_64 |
2025-08-31 03:30:01 |
|
habu: Fedora Linux 38 on ppc64le |
2025-08-31 03:08:46 |
|
whinchat: Debian 11 on aarch64 |
2025-08-31 03:08:11 |
|
fritillary: CentOS 9 on ppc64le |
2025-08-31 03:08:09 |
|
psyllid: CentOS 9 on aarch64 |
2025-08-31 03:08:09 |
|
hachi: Debian sid on aarch64 |
2025-08-31 03:05:05 |
|
caiman: Fedora Linux 43 on x86_64 |
2025-08-31 03:00:03 |
|
billbug: Oracle Solaris 11.4.81 CBE 04.2025 on sparc (big-endian, LP64) |
2025-08-31 03:00:02 |
|
drongo: Microsoft Windows Server 2019 on x86_64 (little-endian, LLP64) |
2025-08-31 02:40:46 |
|
canebrake: Debian sid on x86_64 |
2025-08-31 02:22:35 |
|
cascabel: Debian 11 on ppc64le |
2025-08-31 02:08:17 |
|
oystercatcher: AlmaLinux OS 9 on aarch64 |
2025-08-31 02:08:11 |
|
cutworm: AlmaLinux OS 8.10 (Cerulean Leopard) on ppc64le |
2025-08-31 02:08:10 |
|
elephant: AlmaLinux OS 9.4 (Seafoam Ocelot) on ppc64le |
2025-08-31 02:08:09 |
|
batta: Debian sid on aarch64 |
2025-08-31 02:05:01 |
|
boomslang: Debian 13 on riscv64 |
2025-08-31 02:01:09 |
|
jay: SUSE Linux Enterprise Server 15.5 on x86_64 |
2025-08-31 01:52:03 |
|
chafer: Fedora Linux 42 on x86_64 |
2025-08-31 01:41:15 |
|
widowbird: Debian 11 on aarch64 |
2025-08-31 01:35:02 |
|
urutu: Debian sid on x86_64 |
2025-08-31 01:20:53 |
|
hake: OpenIndiana hipster on x86_64 |
2025-08-31 01:20:09 |
|
turaco: Debian 12 on armv7 (little-endian, ILP32) |
2025-08-31 01:15:02 |
|
catfish: Ubuntu 24.04 on ppc64le |
2025-08-31 01:08:25 |
|
bulbul: AlmaLinux OS 8 on aarch64 (big-endian, LP64) |
2025-08-31 01:08:14 |
|
monarch: Ubuntu 24.04 on aarch64 |
2025-08-31 01:08:11 |
|
hippopotamus: SUSE Linux Enterprise Server 15.5 on x86_64 |
2025-08-31 01:05:11 |
|
dikkop: FreeBSD 14.1 on aarch64 |
2025-08-31 01:05:01 |
|
mamba: NetBSD 10.0 on ppc64 |
2025-08-31 01:03:05 |
|
skimmer: CentOS 9 on x86_64 |
2025-08-31 01:00:03 |
|
calliphoridae: Debian sid on x86_64 |
2025-08-31 00:59:16 |
|
rhinoceros: CentOS 7 on x86_64 |
2025-08-31 00:52:13 |
|
skink: Debian sid on x86_64 |
2025-08-31 00:50:10 |
|
koel: Fedora Linux 42 on x86_64 |
2025-08-31 00:49:01 |
|
tayra: Oracle Linux 10 on x86_64 |
2025-08-31 00:45:10 |
|
timberworm: Oracle Linux 10 on aarch64 (big-endian, LP64) |
2025-08-31 00:45:09 |
|
mylodon: Debian sid on x86_64 |
2025-08-31 00:44:52 |
|
sidewinder: NetBSD 9.3 on x86_64 |
2025-08-31 00:35:01 |
|
midge: Fedora Linux 43 on aarch64 |
2025-08-31 00:30:09 |
|
morepork: OpenBSD 6.9 on x86_64 |
2025-08-31 00:30:02 |
|
loach: FreeBSD 12.4 on x86_64 |
2025-08-31 00:25:00 |
|
prion: Amazon Linux 2023 on x86_64 |
2025-08-31 00:23:06 |
|
anaconda: FreeBSD 15-Current on x86_64 |
2025-08-31 00:22:36 |
|
bumblebee: CentOS 9 on x86_64 |
2025-08-31 00:22:01 |
|
grison: Raspberry Pi OS 12 on armv7 (little-endian, ILP32) |
2025-08-31 00:20:28 |
|
conchuela: DragonFlyBSD 6.2 on x86_64 |
2025-08-31 00:20:09 |
|
guaibasaurus: Debian 11 on x86_64 |
2025-08-31 00:20:01 |
|
sifaka: Apple macOS 15.0 on aarch64 |
2025-08-31 00:16:12 |
|
pipit: Red Hat Enterprise Linux 8 on s390x (big-endian, LP64) |
2025-08-31 00:10:38 |
|
schnauzer: OpenBSD 7.3 on x86_64 |
2025-08-31 00:10:31 |
|
bushmaster: Debian sid on x86_64 |
2025-08-31 00:09:54 |
|
culicidae: Debian sid on x86_64 |
2025-08-31 00:09:25 |
|
adder: Debian sid on x86_32 (little-endian, ILP32) |
2025-08-31 00:08:48 |
|
ziege: CentOS 8 on aarch64 |
2025-08-31 00:08:13 |
|
alligator: Ubuntu 24.04 on x86_64 |
2025-08-31 00:06:04 |
|
snakefly: Amazon Linux 2 on aarch64 |
2025-08-31 00:05:08 |
|
parula: Amazon Linux on aarch64 |
2025-08-31 00:05:08 |
|
taipan: Debian sid on x86_64 |
2025-08-31 00:04:33 |
|
serinus: Debian sid on x86_64 |
2025-08-31 00:03:40 |
|
tamandua: Debian sid on x86_64 |
2025-08-31 00:02:47 |
|
flaviventris: Debian sid on x86_64 |
2025-08-31 00:02:39 |
|
melonworm: Debian sid on x86_64 |
2025-08-31 00:02:04 |
|
grassquit: Debian sid on x86_64 |
2025-08-31 00:02:02 |
|
longfin: Apple macOS 13.6 on x86_64 |
2025-08-31 00:02:02 |
|
crake: Fedora Linux 42 on x86_64 |
2025-08-31 00:02:01 |
|
alabio: Debian 11 on x86_64 |
2025-08-31 00:01:29 |
|
olingo: Debian sid on x86_64 |
2025-08-31 00:01:16 |
|
scorpion: Debian sid on x86_64 |
2025-08-31 00:01:13 |
|
kestrel: Debian sid on x86_64 |
2025-08-31 00:01:07 |
|
indri: Apple macOS 15.0 on aarch64 |
2025-08-31 00:01:05 |