Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 15, 2024

• Merge pull request #12 from anzenlang/timelib_namespace

  Show description for 89cf06c
  ammkrn

  authored
  89cf06c

  Copy full SHA for 89cf06c

Commits on Apr 13, 2024

• change _root_.Int.rataDie to protected

  AdrienChampion

  committed
  5f8efec

  Copy full SHA for 5f8efec

• everything in Timelib namespace

  AdrienChampion

  committed
  dce6dde

  Copy full SHA for dce6dde

• Merge pull request #11 from anzenlang/docgen

  Show description for 4a12d03
  ammkrn

  authored
  4a12d03

  Copy full SHA for 4a12d03

Commits on Apr 10, 2024

• chore: add optional docgen dependency, discuss in readme

  AdrienChampion

  committed
  f31c615

  Copy full SHA for f31c615

• Merge pull request #10 from anzenlang/no_more_sorry_s

  Show description for 9079906
  ammkrn

  authored
  9079906

  Copy full SHA for 9079906

• Merge pull request #9 from anzenlang/bump_to_latest

  Show description for 981db51
  ammkrn

  authored
  981db51

  Copy full SHA for 981db51

• Merge pull request #8 from anzenlang/vscode_settings

  Show description for 8d5654e
  ammkrn

  authored
  8d5654e

  Copy full SHA for 8d5654e

• chore: fix all sorry-s but one in Convert.lean

  AdrienChampion

  committed
  92dbd31

  Copy full SHA for 92dbd31

• chore: fix sorry-s in Util.lean

  AdrienChampion

  committed
  063552f

  Copy full SHA for 063552f

• Merge branch 'vscode_settings' into bump_to_latest

  AdrienChampion

  committed
  c430775

  Copy full SHA for c430775

• fix: namespace-related definition typos

  AdrienChampion

  committed
  9cbeaaf

  Copy full SHA for 9cbeaaf

• chore: bump to 4.7.0

  AdrienChampion

  committed
  1fee2a4

  Copy full SHA for 1fee2a4

• chore: remove deprecated vscode setting

  AdrienChampion

  committed
  eede583

  Copy full SHA for eede583

• chore: add std4-style vscode settings

  AdrienChampion

  committed
  68ee27b

  Copy full SHA for 68ee27b

Commits on Apr 9, 2024

• Merge pull request #7 from ammkrn/si_index

  Show description for e010aaa
  ammkrn

  authored
  e010aaa

  Copy full SHA for e010aaa

Commits on Apr 8, 2024

• Merge branch 'main' into si_index

  ammkrn

  committed
  5e417e4

  Copy full SHA for 5e417e4

• het order instances, E-types, move p <= 0 to field

  Show description for 3921992
  ammkrn

  committed
  3921992

  Copy full SHA for 3921992

Commits on Mar 18, 2024

• remove old implementations, update dateTime

  ammkrn

  committed
  9a67c36

  Copy full SHA for 9a67c36

Commits on Mar 13, 2024

• Merge pull request #6 from AdrienChampion/adrienchampion_proofs

  Show description for 0607427
  ammkrn

  authored
  0607427

  Copy full SHA for 0607427

• implement new design for precision and leap/TZ

  ammkrn

  committed
  043e0d4

  Copy full SHA for 043e0d4

Commits on Mar 11, 2024

• formating HClockTime

  AdrienChampion

  committed
  567ff91

  Copy full SHA for 567ff91

• work on ClockTime files

  AdrienChampion

  committed
  586074d

  Copy full SHA for 586074d

• Merge pull request #5 from AdrienChampion/adrienchampion_proofs

  Show description for 26b18f2
  ammkrn

  authored
  26b18f2

  Copy full SHA for 26b18f2

• minor cleanup in NaiveDateTime

  AdrienChampion

  committed
  4067fab

  Copy full SHA for 4067fab

• Merge remote-tracking branch 'upstream/main' into adrienchampion_proofs

  AdrienChampion

  committed
  cdc8462

  Copy full SHA for cdc8462

• remove sorry-s from NanoPrecision.DateTime.DateTime and cleaning

  AdrienChampion

  committed
  5ef608c

  Copy full SHA for 5ef608c

• Merge branch 'AdrienChampion-adrienchampion_proofs'

  ammkrn

  committed
  ef3be26

  Copy full SHA for ef3be26

• NanoPrecision.Duration.SignedDuration cleanup

  AdrienChampion

  committed
  761a6be

  Copy full SHA for 761a6be

• remove sorry-s from NanoPrecision.Duration.SignedDuration

  AdrienChampion

  committed
  0a61dea

  Copy full SHA for 0a61dea

• Merge branch 'AdrienChampion-adrienchampion_proofs'

  ammkrn

  committed
  a1fa559

  Copy full SHA for a1fa559

Commits on Mar 10, 2024

• minor

  AdrienChampion

  committed
  e7a25c9

  Copy full SHA for e7a25c9

• update gitignore

  AdrienChampion

  committed
  504581f

  Copy full SHA for 504581f

• some proofs in Util, removed warnings

  AdrienChampion

  committed
  52f0cc8

  Copy full SHA for 52f0cc8

• fix: ScalarDate.newYear fixes #2

  AdrienChampion

  committed
  ca4e368

  Copy full SHA for ca4e368

Pagination

Previous

Next