Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[refactor] instance declaration #376

Open
wants to merge 147 commits into
base: master
Choose a base branch
from
Open

[refactor] instance declaration #376

wants to merge 147 commits into from

Commits on Jan 22, 2024

  1. [refactor] separate add-mixin and make-mixin-canonical

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    567cee2 View commit details
    Browse the repository at this point in the history

  2. [instance] declare-instance -> declare-mixins-from-factory + declare-… 

    …structure-instance-from-mixins

NOTE: synthesis.under-local-canonical-mixins-of.do! is called twice now
    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    64525c7 View commit details
    Browse the repository at this point in the history

  3. document exported-op

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    e0f7895 View commit details
    Browse the repository at this point in the history

  4. [instance] test for structure op as subject

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    8c4071c View commit details
    Browse the repository at this point in the history

  5. comment

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    6128f44 View commit details
    Browse the repository at this point in the history

  6. add comment

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1f8ca63 View commit details
    Browse the repository at this point in the history

  7. wip-wrapping

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    2ce532b View commit details
    Browse the repository at this point in the history

  8. minor changes

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f12d772 View commit details
    Browse the repository at this point in the history

  9. minor changes in instance.elpi

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d3273a4 View commit details
    Browse the repository at this point in the history

  10. introduced derived instance check in instance.elpi (as a hack); still… 

    … not working
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    894aff0 View commit details
    Browse the repository at this point in the history

  11. fixed bugs in instance.elpi, compiles

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1ecb634 View commit details
    Browse the repository at this point in the history

  12. minor changes

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    cb3d53a View commit details
    Browse the repository at this point in the history

  13. added and updated cmon_enriched_cat.v - this file contains three exam… 

    …ples; there's an unsolved compilation glitch (it will compile the 2nd and 3rd examples separately but not together, depending on which we put first)
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    2fc6662 View commit details
    Browse the repository at this point in the history

  14. fixed bug in cmonoid_enriched_cat.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    c002312 View commit details
    Browse the repository at this point in the history

  15. revised tests/cmonoid_enriched_cat.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    46d5932 View commit details
    Browse the repository at this point in the history

  16. cleanup

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    ed74a82 View commit details
    Browse the repository at this point in the history

  17. eta expand wrapped mixing in context

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    3e040b4 View commit details
    Browse the repository at this point in the history

  18. minimal test for parameters

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    19fd228 View commit details
    Browse the repository at this point in the history

  19. plan for auto wrapping

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    2d94c60 View commit details
    Browse the repository at this point in the history

  20. added enriched_cat_case1.v - problematic

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    df1d865 View commit details
    Browse the repository at this point in the history

  21. added enriched_cat_case2.v - which works, but wraps without depencies… 

    …; and enriched_cat_case3.v which fails, as expected (sadly)
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    ffce0b9 View commit details
    Browse the repository at this point in the history

  22. added enriched_cat_case4.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f6e4458 View commit details
    Browse the repository at this point in the history

  23. updated examples

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    9aebc2b View commit details
    Browse the repository at this point in the history

  24. updated enriched_cat_case1.v, there are still problems

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    3ef5a1f View commit details
    Browse the repository at this point in the history

  25. updated enriched_cat_case4.v, not finished but less problematic

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    96a6113 View commit details
    Browse the repository at this point in the history

  26. fix generation of wrapper-mixin when the mixin has deps

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1292d1e View commit details
    Browse the repository at this point in the history

  27. add more tests

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    457817c View commit details
    Browse the repository at this point in the history

  28. cleanup

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    66eb897 View commit details
    Browse the repository at this point in the history

  29. added enriched_cat_case5.v with more cases

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    41da96e View commit details
    Browse the repository at this point in the history

  30. completed enriched_cat_case4.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    30debed View commit details
    Browse the repository at this point in the history

  31. note

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    7d113d0 View commit details
    Browse the repository at this point in the history

  32. validate structure declaration and wrap is the wrapper already exists

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d3dce62 View commit details
    Browse the repository at this point in the history

  33. a bit unsure about this, it looks too smart in some cases 

    we should juggle with the section or infer by hand...
    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    cad4f20 View commit details
    Browse the repository at this point in the history

  34. added enriched_cat_case6.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    4e80aff View commit details
    Browse the repository at this point in the history

  35. wip

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    353b3fd View commit details
    Browse the repository at this point in the history

  36. fix rebase

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d343316 View commit details
    Browse the repository at this point in the history

  37. fix failsafe structure inference

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    063ffc3 View commit details
    Browse the repository at this point in the history

  38. fix test for wrapping

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1d18979 View commit details
    Browse the repository at this point in the history

  39. cleanup

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    8f2d47d View commit details
    Browse the repository at this point in the history

  40. cleanup

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    7e41346 View commit details
    Browse the repository at this point in the history

  41. option wrapper=off to instance

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    fb93fbe View commit details
    Browse the repository at this point in the history

  42. demo should not break abstractions

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    4c2742c View commit details
    Browse the repository at this point in the history

  43. test

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    bd83789 View commit details
    Browse the repository at this point in the history

  44. moving category theory to theories

    @CohenCyril @gares
    CohenCyril authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d1c8070 View commit details
    Browse the repository at this point in the history

  45. defining pullbacks

    @CohenCyril @gares
    CohenCyril authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    b73828c View commit details
    Browse the repository at this point in the history

  46. fix Makefile

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    2e25e5c View commit details
    Browse the repository at this point in the history

  47. colors are proofs

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    cb9cfb0 View commit details
    Browse the repository at this point in the history

  48. HB.tag

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    feb9249 View commit details
    Browse the repository at this point in the history

  49. remove ELIM hack

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    a180918 View commit details
    Browse the repository at this point in the history

  50. cleanup

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    450cf7e View commit details
    Browse the repository at this point in the history

  51. fix test

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    79aba6c View commit details
    Browse the repository at this point in the history

  52. note

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    8ac8c9d View commit details
    Browse the repository at this point in the history

  53. fix HB.tag

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    2a39460 View commit details
    Browse the repository at this point in the history

  54. FIX: toposort will always be buggy ;-)

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    a2bf6d4 View commit details
    Browse the repository at this point in the history

  55. better eta expansion for failsafe structure elab

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    922d6b9 View commit details
    Browse the repository at this point in the history

  56. CAT: use HB.tag for pb_terminal (the wrapper is not autogen, but coul… 

    …d be)
    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    7005440 View commit details
    Browse the repository at this point in the history

  57. use subject-lifter instead of structure-op

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    e24e3a1 View commit details
    Browse the repository at this point in the history

  58. document toposort bug

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    81fe41f View commit details
    Browse the repository at this point in the history

  59. Enter HB.from (from factories)

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    da52021 View commit details
    Browse the repository at this point in the history

  60. fix rebase

    @gares
    gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    8d40177 View commit details
    Browse the repository at this point in the history

  61. added theories/encat.v (formalization of enriched categories, in prog… 

    …ress)
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d7007d3 View commit details
    Browse the repository at this point in the history

  62. updated theories/encat.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    09618b3 View commit details
    Browse the repository at this point in the history

  63. updated theories/encat.v; definitions of enriched category and (tenta… 

    …tively) double category based on ncatlab
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    edb0313 View commit details
    Browse the repository at this point in the history

  64. updated theories/encat.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    02b0fc5 View commit details
    Browse the repository at this point in the history

  65. encat.v: fixed the definition of enriched category (reversed dependen… 

    …cy order between base category and monoidal category
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    75d8bfe View commit details
    Browse the repository at this point in the history

  66. encat.v: basic update of double categories

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    b415e67 View commit details
    Browse the repository at this point in the history

  67. encat.v: minor changes in comment

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    de22884 View commit details
    Browse the repository at this point in the history

  68. encat.v: added Cyril's definition of double categories

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    5531d11 View commit details
    Browse the repository at this point in the history

  69. encat.v: revised parametrisation in enriched categories; revised defi… 

    …nition of double categories, which includes the (also needed) identity functor - there are still some problems with it though
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    b3dd85d View commit details
    Browse the repository at this point in the history

  70. encat.v: minor changes

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    00c66a9 View commit details
    Browse the repository at this point in the history

  71. encat.v: updates to dcat transposition

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    31843f2 View commit details
    Browse the repository at this point in the history

  72. encat.v: minor changes

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    73a9732 View commit details
    Browse the repository at this point in the history

  73. encat.v: fixed unit functor problem (by changing the definition of un… 

    …it_map)
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    995fef1 View commit details
    Browse the repository at this point in the history

  74. encat.v: adding composition - however, it seems more problematic than… 

    … it should
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    b1f88ea View commit details
    Browse the repository at this point in the history

  75. encat.v: adding horizontal cell composition (tough)

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d0014ce View commit details
    Browse the repository at this point in the history

  76. updated encav.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    5c9bac2 View commit details
    Browse the repository at this point in the history

  77. updated encav.v; flat version with 4 functors (source, target, horizo… 

    …ntal unit and horizontal composition); unital and assoc properties still missing; actual hierarchy to be revised
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    3fb6dde View commit details
    Browse the repository at this point in the history

  78. updated encav.v; still missing: associator; product category to be fixed

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    e2536bc View commit details
    Browse the repository at this point in the history

  79. updated encav.v; nlab-style definition of double categories; still mi… 

    …ssing - proof that product category is a category (does not need to be assumed)
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    9c092de View commit details
    Browse the repository at this point in the history

  80. updated encav.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d158ffc View commit details
    Browse the repository at this point in the history

  81. updated encav.v; improved some definitions

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    5220df5 View commit details
    Browse the repository at this point in the history

  82. updated encav.v; version with transpose

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f7a0d99 View commit details
    Browse the repository at this point in the history

  83. updated encav.v; improved a definition

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    6074c78 View commit details
    Browse the repository at this point in the history

  84. updated encav.v; minor changes

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    0d19f51 View commit details
    Browse the repository at this point in the history

  85. updated encav.v; added (alternative definitions of) horizontal 2-cell… 

    … properties
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    64d354c View commit details
    Browse the repository at this point in the history

  86. added encatA.v, older version for experiments on instantiation. minor… 

    … changes in encav.v
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1da3981 View commit details
    Browse the repository at this point in the history

  87. updated encav.v; in progress

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    6a942fb View commit details
    Browse the repository at this point in the history

  88. updated encav.v; discharged product precategory assumptions (still to… 

    … be proved: product is a category)
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    429865c View commit details
    Browse the repository at this point in the history

  89. added encatB.v: complete formalization of double categories, without … 

    …internal categories
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    7f79278 View commit details
    Browse the repository at this point in the history

  90. encatB.v: cleaned up the definition of strict double category; the de… 

    …finition is complete, it does not use internal categories but defines an ad-hoc product category on D1. TODO: improve the style of the proofs
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    c26463b View commit details
    Browse the repository at this point in the history

  91. encatB.v: improving the proofs

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    5faa745 View commit details
    Browse the repository at this point in the history

  92. encatB.v: improving the notation

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    a5e0e21 View commit details
    Browse the repository at this point in the history

  93. encatB.v: renamed definition to be consistent with slide presentation

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d2e0580 View commit details
    Browse the repository at this point in the history

  94. added encatD.v (starting with internal categories)

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    6fdcfb5 View commit details
    Browse the repository at this point in the history

  95. updated encatD.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    5cb88f9 View commit details
    Browse the repository at this point in the history

  96. updated encatD.v, added definition of internal category based on oper… 

    …ators
    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    7a60a01 View commit details
    Browse the repository at this point in the history

  97. updated encatD.v, complete definition of internal category based on NLab

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    45565f9 View commit details
    Browse the repository at this point in the history

  98. updated encatD.v, minor changes

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    0fcd38c View commit details
    Browse the repository at this point in the history

  99. mono/epi code works now

    @CohenCyril @gares
    CohenCyril authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    a2757c4 View commit details
    Browse the repository at this point in the history

  100. walking span

    @CohenCyril @gares
    CohenCyril authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d42cc3e View commit details
    Browse the repository at this point in the history

  101. rephrasing adjunctions (needs wrapping)

    @CohenCyril @gares
    CohenCyril authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    dc4548e View commit details
    Browse the repository at this point in the history

  102. internal categories parametrized with the ambiant one

    @CohenCyril @gares
    CohenCyril authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    b00a244 View commit details
    Browse the repository at this point in the history

  103. updated encatD.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    4151369 View commit details
    Browse the repository at this point in the history

  104. updated encatD.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    fc63ca4 View commit details
    Browse the repository at this point in the history

  105. updated encatD.v, added encatD1.v; open problems in both

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f661ea2 View commit details
    Browse the repository at this point in the history

  106. updated encatD.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    6284697 View commit details
    Browse the repository at this point in the history

  107. updated encatD.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    9560c9f View commit details
    Browse the repository at this point in the history

  108. added encatI.v, which merges new version of cat.v with internal categ… 

    …ory development from encatD.v
    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    b0444ce View commit details
    Browse the repository at this point in the history

  109. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f1325d7 View commit details
    Browse the repository at this point in the history

  110. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    527dd0f View commit details
    Browse the repository at this point in the history

  111. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    c820234 View commit details
    Browse the repository at this point in the history

  112. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1e0aa1b View commit details
    Browse the repository at this point in the history

  113. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    eb7d3eb View commit details
    Browse the repository at this point in the history

  114. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    9974744 View commit details
    Browse the repository at this point in the history

  115. updated encatI.v; added encatI0.v as experiment

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f81757d View commit details
    Browse the repository at this point in the history

  116. updated encatI.v

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    ab63881 View commit details
    Browse the repository at this point in the history

  117. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    3459991 View commit details
    Browse the repository at this point in the history

  118. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    ca8bffd View commit details
    Browse the repository at this point in the history

  119. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    82e72d6 View commit details
    Browse the repository at this point in the history

  120. updated encatI.v; complete definition of double cat based on internal… 

    … cat
    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    f1ab058 View commit details
    Browse the repository at this point in the history

  121. updated encatI.v; cleaning up

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    9ff3448 View commit details
    Browse the repository at this point in the history

  122. updated encatI.v; merged in the strict double category direct definit… 

    …ion from encatD.v
    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d9c6869 View commit details
    Browse the repository at this point in the history

  123. updated comment in encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    41ad7c1 View commit details
    Browse the repository at this point in the history

  124. updated comment in encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    40f762b View commit details
    Browse the repository at this point in the history

  125. changes in encatI0.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    c4724d7 View commit details
    Browse the repository at this point in the history

  126. encatI.v and encatI0.v now depend on cat.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    6570167 View commit details
    Browse the repository at this point in the history

  127. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    deb0352 View commit details
    Browse the repository at this point in the history

  128. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    11e40e2 View commit details
    Browse the repository at this point in the history

  129. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    4292494 View commit details
    Browse the repository at this point in the history

  130. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    b21e282 View commit details
    Browse the repository at this point in the history

  131. restructuring

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    2167b3d View commit details
    Browse the repository at this point in the history

  132. restructuring

    @ptorrx @gares
    ptorrx authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    a2cc722 View commit details
    Browse the repository at this point in the history

  133. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    e84c91f View commit details
    Browse the repository at this point in the history

  134. updated dependencies

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    3564fd6 View commit details
    Browse the repository at this point in the history

  135. updated dependencies

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    1ce5b11 View commit details
    Browse the repository at this point in the history

  136. updated encatI.v

    @gares
    Paolo Torrini authored and gares committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    d94c19f View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. wip

    @gares
    gares committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    d88dd20 View commit details
    Browse the repository at this point in the history

  2. wip

    @gares
    gares committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    b9cb11f View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. unsafe(univ) option

    @gares
    gares committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    f2590ab View commit details
    Browse the repository at this point in the history

  2. wip

    @gares
    gares committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    e8a680c View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2024

  1. wip

    @gares
    gares committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    18ca7ba View commit details
    Browse the repository at this point in the history

  2. wip

    @gares
    gares committed Feb 2, 2024
    Configuration menu
    Copy the full SHA
    59af016 View commit details
    Browse the repository at this point in the history

Commits on Mar 4, 2024

  1. wip

    @gares
    gares committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    e19ed85 View commit details
    Browse the repository at this point in the history

  2. wip

    @gares
    gares committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    10b3fb0 View commit details
    Browse the repository at this point in the history

  3. wip

    @gares
    gares committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    af2989f View commit details
    Browse the repository at this point in the history

  4. wip

    @gares
    gares committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    0cf1c4c View commit details
    Browse the repository at this point in the history

  5. wip

    @gares
    gares committed Mar 4, 2024
    Configuration menu
    Copy the full SHA
    e85441c View commit details
    Browse the repository at this point in the history