Isabelle_DOF
/
Isabelle_DOF
1
0
Çatalla 2
Kod Konular 1 Değişiklik İstekleri Sürüm Wiki Aktivite

Etiketler Kilometre Taşları

Yeni Değişiklik İsteği
0 Açık 10 Kapalı
Etiket
Etiketleri temizle
Kilometre Taşı
Kilometre Taşı Yok
Kilometre taşlarını aç
Isabelle/DOF 2.0
Kilometre taşlarını aç
Isabelle/DOF 1.3
Projeler
Projeleri temizle
Atanan
Atamaları Temizle
Atanan yok
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build Pipeline failed Ayrıntılar
ci/woodpecker/pr/build Pipeline failed Ayrıntılar
#30 2023-05-15 06:34:50 +00:00 adbrucker tarafından açılan istek birleştirildi
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build Pipeline failed Ayrıntılar
#17 2022-03-30 06:48:33 +00:00 nicolas.meric tarafından açılan istek birleştirildi
main
nicolas.meric:eager-and-lazy-elaboration
Add checking of invariants for class instances
#8 2022-01-25 07:50:27 +00:00 nicolas.meric tarafından açılan istek birleştirildi
master
nicolas.meric:check-invariants-first-draft
clean-up-isa-check-functions
#7 2021-12-15 22:25:30 +00:00 nicolas.meric tarafından açılan istek birleştirildi
master
nicolas.meric:clean-up-isa-check-functions
Add the possibility to make request on instances
#6 2021-12-15 22:25:05 +00:00 nicolas.meric tarafından açılan istek birleştirildi
master
nicolas.meric:request-on-instances-first-draft
Fix the record generation in class implementation
#5 2021-12-07 18:51:35 +00:00 nicolas.meric tarafından açılan istek birleştirildi
master
nicolas.meric:fix-record-generation
referential-equivalence-first-draft
#4 2021-11-21 12:43:56 +00:00 nicolas.meric tarafından açılan istek birleştirildi
master
nicolas.meric:referential-equivalence-first-draft
First draft of the value* command implementation
#3 2021-11-21 12:43:46 +00:00 nicolas.meric tarafından açılan istek birleştirildi
master
nicolas.meric:value-star-first-draft
class-term-antiquotation-implementation
#2 2021-07-02 15:39:54 +00:00 nicolas.meric tarafından açılan istek birleştirildi
master
nicolas.meric:class-term-antiquotation-implementation
all changes
#1 2021-07-02 15:33:34 +00:00 nicolas.meric tarafından açılan istek birleştirildi
master
nicolas.meric:eclectic-tutorial-add-todos-fix-typos