Code

Refactor epochrs as a module#298

Code

Merged

ChristopherRabotin merged 5 commits intomasternyx-space/hifitime:masterfrom 295-refactor-epochrs-as-a-modulenyx-space/hifitime:295-refactor-epochrs-as-a-moduleCopy head branch name to clipboardApr 25, 2024

+3,689-3,633

Commits

Commits on Apr 24, 2024

• Start refactor of epoch.rs

  ChristopherRabotin

  committed
  5f9e87a

• Moved Epoch Python to its own file

  ChristopherRabotin

  committed
  fe2fb4b

Commits on Apr 25, 2024

• Move epoch tests to kani

  ChristopherRabotin

  committed
  c068f73

• Split epoch.rs into epoch module and across several files

  ChristopherRabotin

  committed
  97371d7

• Fix J1900 and J2000 ref epochs, but still need more work for 282

  ChristopherRabotin

  committed
  5898c8f