Halting Segment
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