Isabelle_DOF
/
Isabelle_DOF
1
0
Derivar 2
Código Questões 1 Pedidos de integração Lançamentos Wiki Trabalho

Rótulos Etapas

Novo pedido de integração
0 aberta(s) 10 fechada(s)
Rótulo
Retirar rótulos
Etapa
Sem etapa
Etapas abertas
Isabelle/DOF 2.0
Etapas abertas
Isabelle/DOF 1.3
Planeamentos
Limpar planeamentos
Encarregado
Retirar todos os encarregados
Sem encarregado
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build Pipeline failed Detalhes
ci/woodpecker/pr/build Pipeline failed Detalhes
#30 por adbrucker foi executado 2023-05-15 06:34:50 +00:00
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build Pipeline failed Detalhes
#17 por nicolas.meric foi executado 2022-03-30 06:48:33 +00:00
main
nicolas.meric:eager-and-lazy-elaboration
Add checking of invariants for class instances
#8 por nicolas.meric foi executado 2022-01-25 07:50:27 +00:00
master
nicolas.meric:check-invariants-first-draft
clean-up-isa-check-functions
#7 por nicolas.meric foi executado 2021-12-15 22:25:30 +00:00
master
nicolas.meric:clean-up-isa-check-functions
Add the possibility to make request on instances
#6 por nicolas.meric foi executado 2021-12-15 22:25:05 +00:00
master
nicolas.meric:request-on-instances-first-draft
Fix the record generation in class implementation
#5 por nicolas.meric foi executado 2021-12-07 18:51:35 +00:00
master
nicolas.meric:fix-record-generation
referential-equivalence-first-draft
#4 por nicolas.meric foi executado 2021-11-21 12:43:56 +00:00
master
nicolas.meric:referential-equivalence-first-draft
First draft of the value* command implementation
#3 por nicolas.meric foi executado 2021-11-21 12:43:46 +00:00
master
nicolas.meric:value-star-first-draft
class-term-antiquotation-implementation
#2 por nicolas.meric foi executado 2021-07-02 15:39:54 +00:00
master
nicolas.meric:class-term-antiquotation-implementation
all changes
#1 por nicolas.meric foi executado 2021-07-02 15:33:34 +00:00
master
nicolas.meric:eclectic-tutorial-add-todos-fix-typos