Activity

• 1 year ago
  
  Benguria Elguezabal, Gorka @gorka.benguria
  pushed to branch main at PIACERE / public / The Platform / DOML Model Checker
  • 4b1cc6db · Updates
• 1 year ago
  
  Benguria Elguezabal, Gorka @gorka.benguria
  pushed to branch y3 at PIACERE / public / The Platform / DOML Model Checker
  • d1d00b12 · Updates
• 1 year ago
  
  Benguria Elguezabal, Gorka @gorka.benguria
  pushed to branch y1 at PIACERE / public / The Platform / DOML Model Checker
  • 0b0bb8c5 ·
• 1 year ago
  
  Benguria Elguezabal, Gorka @gorka.benguria
  pushed to branch y1 at PIACERE / public / The Platform / DOML Model Checker
  • 0882e3e3 · y3
• 1 year ago
  
  Andrea Franchini @andreafranchini
  pushed to branch y3 at PIACERE / public / The Platform / DOML Model Checker
  • c63b79a3 · bump version
  • ... and 127 more commits. Compare 40130fa9...c63b79a3
• 1 year ago
  
  Andrea Franchini @andreafranchini
  pushed new branch main at PIACERE / public / The Platform / DOML Model Checker
• 2 years ago
  
  Andrea Franchini @andreafranchini
  pushed to branch y3 at PIACERE / public / The Platform / DOML Model Checker
  • 40130fa9 · fix missing dep on pytest
• 2 years ago
  
  Andrea Franchini @andreafranchini
  pushed to branch y3 at PIACERE / public / The Platform / DOML Model Checker
  • 63c400cc · bump version and fix requirements.txt
  • ... and 4 more commits. Compare dcd35fd8...63c400cc
• 2 years ago
  
  Andrea Franchini @andreafranchini
  pushed new branch y3 at PIACERE / public / The Platform / DOML Model Checker
• 2 years ago
  
  Michele Chiari @michele.chiari
  pushed to branch y1 at PIACERE / public / The Platform / DOML Model Checker
  • 0b0bb8c5 · Add LICENSE
• 2 years ago
  
  Michele Chiari @michele.chiari
  pushed new branch y1 at PIACERE / public / The Platform / DOML Model Checker
• 2 years ago
  
  Etxaniz Errazkin, Iñaki @inaki.etxaniz
  created project PIACERE / public / The Platform / DOML Model Checker