Activity · PIACERE / public / The Platform / DOML Model Checker · GitLab

Snippets Groups Projects

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