pierre.derathe

0 Followers · 0 Following

• Joined on 2023-01-12

Repositories

1

Projects Packages Public Activity Starred Repositories

pierre.derathe pushed to common-criteria at pierre.derathe/Isabelle_DOF 2023-02-20 11:29:14 +00:00

244d70896f Merge branch 'main' into test-rebase2

ba0e7d25d3 Common_Criteria_Tests finished with current fonctionnalities

57bd44ecde Enable build for Common_Criteria ontology

983f4cf1c4 Add Common Criteria Terms

848ce311e2 Re-add name field to onto_class

Compare 22 commits »

pierre.derathe pushed to common-criteria at pierre.derathe/Isabelle_DOF 2023-02-20 09:28:58 +00:00

55ff33df17 Referencing term in cc_tests

pierre.derathe pushed to common-criteria at pierre.derathe/Isabelle_DOF 2023-02-19 15:27:31 +00:00

ec81f7bbce Final version

pierre.derathe pushed to common-criteria at pierre.derathe/Isabelle_DOF 2023-02-19 15:14:51 +00:00

2f4307a907 Merge branch 'common-criteria' of https://git.logicalhacking.com/pierre.derathe/Isabelle_DOF into common-criteria

d67e270b3d Change of cc and cc_test to be used to create a pdf

5aaa5451f6 Common_Criteria_Tests finished with current fonctionnalities

1d4211d7c4 Enable build for Common_Criteria ontology

fcae04fd83 Modify CC, CC_tests and CC_terms

Compare 9 commits »

pierre.derathe pushed to common-criteria at pierre.derathe/Isabelle_DOF 2023-01-25 15:50:17 +00:00

a75c47d6b6 Common_Criteria_Tests finished with current fonctionnalities

pierre.derathe pushed to common-criteria at pierre.derathe/Isabelle_DOF 2023-01-25 14:48:47 +00:00

997491d61f Enable build for Common_Criteria ontology

58edd373f0 Modify CC, CC_tests and CC_terms

4d51d407c6 Add Common Criteria ontology first draft

20b0af740d Update meta args syntax and ML* command

1379f8a671 Add test of invariants of an inherited attribute of an attribute

Compare 6 commits »

pierre.derathe pushed to common-criteria at pierre.derathe/Isabelle_DOF 2023-01-25 13:49:22 +00:00

e036d898b4 Modify CC, CC_tests and CC_terms

pierre.derathe pushed to common-criteria at pierre.derathe/Isabelle_DOF 2023-01-18 17:23:07 +00:00

b1ca0f4f0f Add Common Criteria ontology first draft

pierre.derathe created branch common-criteria in pierre.derathe/Isabelle_DOF 2023-01-18 17:04:11 +00:00

pierre.derathe pushed to common-criteria at pierre.derathe/Isabelle_DOF 2023-01-18 17:04:11 +00:00

pierre.derathe created repository pierre.derathe/Isabelle_DOF 2023-01-18 15:51:33 +00:00