Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Aug 10, 2023

• Moves to xebia group (#17)

  fedefernandez

  committedAug 10, 2023
  23fbcb0

• Removes scalacheck integration (#16)

  fedefernandez

  committedAug 10, 2023
  209d8c4

Commits on May 12, 2023

• Add token for bot user (#15)

  franciscodr

  committedMay 12, 2023
  6ee8cee

• Simplify publish workflow (#14)

  franciscodr

  committedMay 12, 2023
  0ca89f0

Commits on May 11, 2023

• Fix release process (#13)

  franciscodr

  committedMay 11, 2023
  fab5863

• Debug workflow (#12)

  franciscodr

  committedMay 11, 2023
  3aef1e3

Commits on May 2, 2023

• Publish karat-turbine + update versions (#11)

  serras

  committedMay 2, 2023
  dea4350

Commits on May 1, 2023

• Update versions (#7)

  serras

  committedMay 1, 2023
  c30ab65

Commits on Apr 22, 2023

• Using semantic versioning (#10)

  franciscodr

  committedApr 22, 2023
  83d3793

Commits on Apr 20, 2023

• Simple tests for Turbine (#8)

  serras

  committedApr 20, 2023
  9406631

Commits on Apr 18, 2023

• Publishing snapshot versions (#9)

  franciscodr

  committedApr 18, 2023
  341f890

Commits on Apr 5, 2023

• Turbine + Reorganize Kotlin code (#6)

  serras

  committedApr 5, 2023
  3d58b8d

Commits on Mar 30, 2023

• Install GPG in Ubuntu machine (#5)

  franciscodr

  committedMar 30, 2023
  dcf2bb4

Commits on Mar 29, 2023

• Gradle configuration for publishing artifacts (#2)

  

  franciscodr

  and

  serras

  committedMar 29, 2023
  089f082

Commits on Mar 27, 2023

• Implement checking of formula with monadic step in ScalaCheck (#1)

  

  serras

  and

  fedefernandez

  committedMar 27, 2023
  0c21774

Commits on Feb 23, 2023

• Mention Scalacheck

  serras

  committedFeb 23, 2023
  7cb6756

• Run Scalacheck in Gradle

  serras

  committedFeb 23, 2023
  e5e3215

• Finally Scalacheck works!

  serras

  committedFeb 23, 2023
  4d1bf69

Commits on Feb 22, 2023

• More work on Scalacheck

  serras

  committedFeb 22, 2023
  3fd7b93

• More work on Scalacheck

  serras

  committedFeb 22, 2023
  9ea1c06

Commits on Feb 20, 2023

• More work on Scalacheck

  serras

  committedFeb 20, 2023
  7f29765

• Work on implementing StepResultManager for Scalacheck

  serras

  committedFeb 20, 2023
  2326b9f

• Abstract commonalities in Kotest and Scalacheck

  serras

  committedFeb 20, 2023
  edbdd23

Commits on Feb 16, 2023

• Depend on published Alloy

  serras

  committedFeb 16, 2023
  bdab465

• Work on moving examples

  serras

  committedFeb 16, 2023
  dde6487

• Work on moving examples

  serras

  committedFeb 16, 2023
  1cd4ba9

Commits on Feb 15, 2023

• Integrate kotest + ktor module

  serras

  committedFeb 15, 2023
  8ddd919

• Make clear that tests should fail

  serras

  committedFeb 15, 2023
  40b0b27

• More README

  serras

  committedFeb 15, 2023
  ff8a135

• Work on README

  serras

  committedFeb 15, 2023
  1c19d39

• Integrate kotest-trace in Karat

  serras

  committedFeb 15, 2023
  72f3eab

• Better Leader Election example

  serras

  committedFeb 15, 2023
  b851511

• Finish Leader Election example

  serras

  committedFeb 15, 2023
  6578ca3

• Fix problem with InstanceFact

  serras

  committedFeb 15, 2023
  27d5d3c

• Working execution

  serras

  committedFeb 15, 2023
  b71c2f5

Pagination

PreviousNext