Comparing master...topdual · math-comp/analysis · GitHub
Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: math-comp/analysis
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: math-comp/analysis
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: topdual
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 17 commits
  • 5 files changed
  • 2 contributors

Commits on Apr 9, 2025

  1. LinearContinuous structure

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    bdc7f92 View commit details
    Browse the repository at this point in the history

  2. wip duality

    @CohenCyril @mkerjean
    CohenCyril authored and mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    41099c4 View commit details
    Browse the repository at this point in the history

  3. HB saturate bug

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    03e2340 View commit details
    Browse the repository at this point in the history

  4. fail lcfun_rect

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    6600941 View commit details
    Browse the repository at this point in the history

  5. missing join

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    256e7b7 View commit details
    Browse the repository at this point in the history

  6. bornology wip

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    5e1847a View commit details
    Browse the repository at this point in the history

  7. lcfun_lmodtype and lcfun_topologicaltype

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    45e6c42 View commit details
    Browse the repository at this point in the history

  8. wip lcfun_topologicaltype

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    c8bd6e3 View commit details
    Browse the repository at this point in the history

  9. fix by @affeldt-aist

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    f33c6b8 View commit details
    Browse the repository at this point in the history

  10. wip

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    e860249 View commit details
    Browse the repository at this point in the history

  11. wip

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    cfb110f View commit details
    Browse the repository at this point in the history

  12. wip

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    e289c68 View commit details
    Browse the repository at this point in the history

  13. wip

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    6565705 View commit details
    Browse the repository at this point in the history

  14. wip

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    7e9ad52 View commit details
    Browse the repository at this point in the history

  15. end lcfun_lmodtype with Cyril

    @mkerjean
    mkerjean committed Apr 9, 2025
    Configuration menu
    Copy the full SHA
    5043a15 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2025

  1. notations

    @mkerjean
    mkerjean committed Apr 10, 2025
    Configuration menu
    Copy the full SHA
    d679ce3 View commit details
    Browse the repository at this point in the history

  2. wip

    @mkerjean
    mkerjean committed Apr 10, 2025
    Configuration menu
    Copy the full SHA
    3181335 View commit details
    Browse the repository at this point in the history
Loading