Login

objectionary/phino

This log is here for safety reason. Every time 0pdd is touching your GitHub repository, this log gets a unique record. Later, if 0pdd will try to submit a similar issue by mistake, this log will prevent that from happening, because all records here must be unique.

Since 2025-06-28T11:37:20+00:00

2025-06-27T21:44:09+00:00: Saved XML, puzzles:5/7, chars:5621, date:2025-06-27T21:44:09+00:00, version:BUILD /BUILD

2025-06-27T21:44:07+00:00: 126-ebbf8acd submitted in issue #157: "Introduce XMIR printing test. It's not possible anymore to compare XMIRs like strings because..." at test/XMIRSpec.hs; 28-30 /BUILD

2025-06-27T21:44:06+00:00: 116-3c46eb61 submitted in issue #156: "Build Phi with package. Right now we don't process /object/metas element We should check if it..." at src/XMIR.hs; 272-273 /BUILD

2025-06-27T21:44:05+00:00: Saved XML, puzzles:5/7, chars:5517, date:2025-06-27T21:44:05+00:00, version:BUILD /BUILD

2025-06-27T21:44:04+00:00: 116-8b74c7b7 submitted in issue #155: "Refactor XMIR module. This module became so big and hard to read. Now it's responsible for 3..." at src/XMIR.hs; 38-41 /BUILD

2025-06-27T21:44:03+00:00: 126-dab43680 closed in issue #131 /BUILD

2025-06-27T21:44:02+00:00: Saved XML, puzzles:5/7, chars:5430, date:2025-06-27T21:44:02+00:00, version:BUILD /BUILD

2025-06-23T19:49:28+00:00: Saved XML, puzzles:3/4, chars:3659, date:2025-06-23T19:49:28+00:00, version:BUILD /BUILD

2025-06-23T14:50:20+00:00: Saved XML, puzzles:3/4, chars:3659, date:2025-06-23T14:50:20+00:00, version:BUILD /BUILD

2025-06-23T14:50:18+00:00: 126-dab43680 submitted in issue #131: "Enable XMIR test. It's not possible anymore to compare XMIRs like strings because they contain..." at test/XMIRSpec.hs; 12-14 /BUILD

2025-06-13T12:21:40+00:00: Saved XML, puzzles:2/3, chars:3026, date:2025-06-13T12:21:40+00:00, version:BUILD /BUILD

2025-06-12T22:03:19+00:00: Saved XML, puzzles:2/3, chars:3026, date:2025-06-12T22:03:19+00:00, version:BUILD /BUILD

2025-06-12T22:03:17+00:00: 85-3ceffa48 submitted in issue #93: "Simplify Rcopy rule. Right now this rule is quite verbose. It captures a lot objects around its..." at resources/copy.yaml; 4-14 /BUILD

2025-06-11T20:32:26+00:00: Saved XML, puzzles:1/2, chars:1867, date:2025-06-11T20:32:26+00:00, version:BUILD /BUILD

2025-06-11T20:32:25+00:00: 89-2ee3d16f submitted in issue #91: "Extend list of expressions. There are expressions where we can definitely say if this expression..." at src/Condition.hs; 86-91 /BUILD

2025-06-11T20:32:24+00:00: Saved XML, puzzles:1/2, chars:1817, date:2025-06-11T20:32:24+00:00, version:BUILD /BUILD

2025-06-11T20:32:23+00:00: Saved XML, puzzles:1/2, chars:1782, date:2025-06-11T20:32:23+00:00, version:BUILD /BUILD

2025-06-10T20:25:14+00:00: Saved XML, puzzles:1/1, chars:798, date:2025-06-10T20:25:14+00:00, version:BUILD /BUILD

2025-06-10T20:25:13+00:00: 86-5bc59850 submitted in issue #89: "Add normal form checking for e1 expression. In Rdot rule we assume that e1 expression is in..." at resources/dot.yaml; 3-5 /BUILD

2025-06-10T20:25:12+00:00: Saved XML, puzzles:1/1, chars:748, date:2025-06-10T20:25:12+00:00, version:BUILD /BUILD

--

BUILD