Halting Segment: Difference between revisions
Jump to navigation
Jump to search
(→History: Expanded history section (migration from Cosearch)) |
(Added a short description) |
||
| Line 1: | Line 1: | ||
{{Stub}} | {{Stub}} | ||
Halting Segment is a [[decider]] which is based on [[Backward Reasoning]]. | |||
==History== | ==History== | ||
* In July 2022, the Halting Segment decider is first introduced by lijil.<ref name=":0">https://discuss.bbchallenge.org/t/decider-halting-segment/75</ref> | * In July 2022, the Halting Segment decider is first introduced by lijil.<ref name=":0">https://discuss.bbchallenge.org/t/decider-halting-segment/75</ref> | ||
Revision as of 20:59, 29 August 2025
Halting Segment is a decider which is based on Backward Reasoning.
History
- In July 2022, the Halting Segment decider is first introduced by lijil.[1]
- In August 2022, Halting Segment is reproduced by Mateon1.[2]
- In September 2022, Nathan Fenner verifies Halting Segment in Dafny.[3]
- In October 2022, the decider is reproduced by Tony Guilfoyle[1] and in November 2022 again by Tristan Stérin.[4]
- In December 2022, Halting Segment is added to the deciders write-up, becoming section 5.
- In November 2023, int-y1 reproduced Halting Segment and wrote a forward implementation of it.[1]
See also
Section 5 of the bbchallenge deciders write-up.
References
- ↑ 1.0 1.1 1.2 https://discuss.bbchallenge.org/t/decider-halting-segment/75
- ↑ https://gist.github.com/mateon1/7f5e10169abbb50d1537165c6e71733b
- ↑ https://github.com/Nathan-Fenner/bbchallenge-dafny-deciders/blob/main/halting-segment.dfy
- ↑ https://github.com/bbchallenge/bbchallenge-deciders/tree/main/decider-halting-segment-reproduction