Isabelle_DOF/Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

clean-up-isa-check-functions #7

Merged
adbrucker merged 2 commits from nicolas.meric/Isabelle_DOF:clean-up-isa-check-functions into master 2021-12-15 22:25:30 +00:00
Conversation 0 Commits 2 Files Changed 1 +13 -15
nicolas.meric commented 2021-12-13 16:23:45 +00:00
Collaborator
Copy Link
No description provided.
nicolas.meric added 2 commits 2021-12-13 16:23:47 +00:00 
- Add a new Term Annotation Antiquotation (TA)
  to allow requests on instances.
  Example:
  @{C-instances} will return all the instances of the class "C"
  defined in the generated theory
- Update ISA_transformers elaborate function signature to
  take into account the case where the term argument
  of a TA is irrelevant, for example when a TA has no argument.
  Example with the TA of the instances of a class:
  @{A-instances}
  Here the TA has no argument and none second level type checking is
  wished, so its associated check function can be the identity function
  with respect to the ISA_transformers chek function type.
- Add some request examples in Evaluation.thy
- Fix typos
Also remove some dead code
nicolas.meric requested review from adbrucker 2021-12-13 16:23:58 +00:00
nicolas.meric requested review from wolff 2021-12-13 16:23:58 +00:00
nicolas.meric requested review from idir.aitsadoune 2021-12-13 16:23:58 +00:00
adbrucker added 1 commit 2021-12-15 22:25:24 +00:00
adbrucker merged commit 9632c0810b into master 2021-12-15 22:25:30 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
adbrucker
wolff
idir.aitsadoune
Labels
Clear labels
No items
No Label
Milestone
Clear milestone
No items
No Milestone
Assignees
Clear assignees
No Assignees
2 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: Isabelle_DOF/Isabelle_DOF#7
No description provided.
Delete Branch "nicolas.meric/Isabelle_DOF:clean-up-isa-check-functions"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?