Changelog for io-sim-1.3.0.0

Revsion history of io-sim

MainReturn, MainException and the pattern synonyms TraceMainReturn, TraceMainException changed their signature. They will now also show the main thread id.
Renamed ThreadId to IOSimThreadId to avoid a clash with ThreadId associated type family of MonadFork. It makes it much simpler to paste failing ScheduleControl in ghci or tests.
BlockedReason was modified: BlockedOnOther was removed, in favour of BlockedOnDelay and BlockOnThrowTo.
The Failure type (for example returned by runSim) now also contains a constructor for internal failures. This improved error reporting when there's a bug in IOSimPOR. Currently it's only used by some of the assertions in IOSimPOR.

Refactored the internal API to avoid unsafePerformIO.
Fixed bugs which lead to discovery of schedules which are impossible to run.
Added haddocks, refactored the code base to improve readability.
Fixed reported step in EventTxWakup
Added debugging information schedule, (explorationDebugLevel option). Mostly useful for debugging IOSimPOR itself. This information will contains Effect, discovered races and schedules.
Addded or improved pretty printers for SimTrace. Among other changes, a racy StepId: (RacyThreadId [1,2], 2), is now pretty printed as Thread {1,2}.2, a non racy step is printed as Thread [1,2].2.
Fixed trace of calls to the deschedule function.
Exposed Timeout type as part of the newTimeout API.
When explorationDebugLevel is set, avoid printing the same trace twice.
Reimplemented labelTVarIO and traceTVarIO in ST monad, which simplifies trace of these calls.
Fixed traceTVar for TVar's created with registerDelay.
Added pretty printer for SimResult, and other pretty printer improvements.
Support ghc-9.8.

selectTraceEvents, selectTraceEvents' catpure time of events.
Added select function which capture the time of the trace events:
- selectTraceEventsDynamicWithTime
- selectTraceEventsDynamicWithTime'
- selectTraceEventsSayWithTime
- selectTraceEventsSayWithTime'

Support refactored MonadTimer, and new MonadTimerFancy, MonadTimeNSec monad classes.

Fixed threadDelay in presence of asynchronous exceptions (in IOSim and IOSimPOR) (#80).
Fixed bug in IOSim & IOSimPOR which resulted in reusing existing ThreadIds (#80).

support ghc-9.4 (except on Windows input-output-hk/io-sim#51)
MonadCatch instance for STM (IOSim s) monad
fixed isEmptyTBQueeuDefault (thanks to @EMQ-YangM)
refactored internal implementation of timeouts, changed SimEventType constructors