8000 Tags · 007vasy/PhysLean · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: 007vasy/PhysLean

Tags

v4.20.1

Toggle v4.20.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
feat: Update (HEPLean#593)

v4.20.0

Toggle v4.20.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
chore: Bump v4.20.0 (HEPLean#591)

* chore: update dependencies

* chore: Update readme

* chore: Fix build 1

* chore: fix build 2

* chore: fix build 3

* chore: fix build 4

* chore: Fix build

* refactor: Lint

* refactor: Transitive imports

v4.20.0-rc5

Toggle v4.20.0-rc5's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
chore: Bump to v4.20.0-rc5 (HEPLean#566)

* chore: Bump to v4.20.0-rc5

* chore: Remove docs files

* refactor: lint

---------

Co-authored-by: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>

v4.19.0

Toggle v4.19.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
chore: Bump to v4.19.0 (HEPLean#539)

* feat: bump, basics

* refactor: Fix builds part 1

* chore: build fix part 2

* chore: Build fix part 3

* chore: Build fix part 4

* chore: Build fix part 5 (final)

* refactor: Lint

v4.18.0

Toggle v4.18.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
chore: Bump to v4.18.0 (HEPLean#460)

* chore: Bump

* feat: Building

* feat: add update yml

v4.18.0-rc1

Toggle v4.18.0-rc1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request HEPLean#415 from HEPLean/bump

chore: Bump to v4.18.0-rc1

v4.17.0

Toggle v4.17.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request HEPLean#369 from HEPLean/bump-v4.17

Bump v4.17

v4.16.0

Toggle v4.16.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
Merge pull request HEPLean#330 from HEPLean/bump

chore: bump to lean v4.16.0

v4.15.0

Toggle v4.15.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode 
chore: bump toolchain to v4.15.0

HEPLean#281 adapt code to v4.15.0 and fix long heartbeats, e.g., toDualRep_apply_eq_contrOneTwoLeft.

---------

Co-authored-by: jstoobysmith <72603918+jstoobysmith@users.noreply.github.com>
0