formalsec / smtml / 571

Builds Branch Commit Type Ran Committer Via Coverage
571 main Unpin cvc5 package and add conflicts clause push filipeom github
40.12
570 main Fix rotate operator serialization (#655) This issue was probably introduced by #629. Should have done a better job testing our parser at that point. Closes #655 push filipeom github
40.12
569 main Migrate testing framework to alcotest from ounit2 For the simple reason being that I like the output more. push filipeom github
39.72
568 main Allow coderabbit to approve my PRs push filipeom github
39.68
567 main Allow coderabbit to approve my PRs push filipeom github
39.67
566 main Try out coderabbit push filipeom github
39.68
565 main Add AGENTS.md push filipeom github
39.72
563 main Release 0.29.0 push filipeom github
44.45
562 main Add support for colibri2.0.6.0 push filipeom github
44.5
561 main Add colibri2 conflicts constraint on version <= 0.6.0 push filipeom github
44.45
560 main fix issue 642 Unexpected exception thrown and fix pp_binop push filipeom github
44.47
559 main Release 0.29.0 push filipeom github
44.49
558 main fix issue 642 Unexpected exception thrown and fix pp_binop push filipeom github
44.49
557 main Cancel CI jobs when branch is updated Uses a GitHub Actions concurrency group keyed by the workflow and branch reference. When a new push arrives, it cancels any in-progress runs for that same PR branch before starting the new one. Prevents wast... push filipeom github
44.59
556 main Finish migration to Yojson.Safe.t (#470) push filipeom github
44.57