Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on May 3, 2026

• Bitvector related fixes for flux tests with lean-fixpoint (#1581)

  Show description for 0dcdeaa
  petros-marko

  authored
  0dcdeaa

  Copy full SHA for 0dcdeaa

Commits on May 2, 2026

• Fix rendering issues in neural networks book chapter (#1585)

  Show description for ebe026f
  

  3 peopleauthored
  ebe026f

  Copy full SHA for ebe026f

• Add neural imgs (#1586)

  Show description for 91c4816
  ranjitjhala

  authored
  91c4816

  Copy full SHA for 91c4816

Commits on May 1, 2026

• reorder the instructions for running (#1582)

  ranjitjhala

  authored
  8615c31

  Copy full SHA for 8615c31

Commits on Apr 30, 2026

• First batch of fixes to get flux tests passing with lean fixpoint (#1580)

  Show description for 7ce4114
  petros-marko

  authored
  7ce4114

  Copy full SHA for 7ce4114

• Blanket `TryInto` spec (#1575)

  Show description for 162e999
  enjhnsn2

  authored
  162e999

  Copy full SHA for 162e999

Commits on Apr 27, 2026

• Add explicit check for proof matching theorem type (#1578)

  Show description for 009f708
  petros-marko

  authored
  009f708

  Copy full SHA for 009f708

Commits on Apr 24, 2026

• Switch from using hashmap to indexmap (#1577)

  Show description for f934dfb
  petros-marko

  authored
  f934dfb

  Copy full SHA for f934dfb

Commits on Apr 23, 2026

• Flux-core specs for fallible numeric conversion (`TryFrom`) (#1573)

  Show description for b9e40ce
  enjhnsn2

  authored
  b9e40ce

  Copy full SHA for b9e40ce

Commits on Apr 20, 2026

• Fix `[T; N]` repeat array syntax: generate kvar for element type (#1567)

  Copilot

  authored
  c545d94

  Copy full SHA for c545d94

Commits on Apr 19, 2026

• Improve slice spec: add specs for `last`, `get`, `split_first/last`, `split_at_checked`, and mut counterparts (#1552)

  Show description for cebf564
  enjhnsn2

  authored
  cebf564

  Copy full SHA for cebf564

Commits on Apr 14, 2026

• Add flux core specs for `alloc::Layout` (#1559)

  sweiglbosker

  authored
  4fca53a

  Copy full SHA for 4fca53a

• Allow lossless casts from signed to unsigned (#1562)

  sweiglbosker

  authored
  898e515

  Copy full SHA for 898e515

Commits on Apr 12, 2026

• Fix diagnostics (#1560)

  sweiglbosker

  authored
  b62f86d

  Copy full SHA for b62f86d

• Prefer flux_attrs in tests (#1557)

  nilehmann

  authored
  01e5ea6

  Copy full SHA for 01e5ea6

Commits on Apr 10, 2026

• Add `align_of` associated refinement (#1555)

  sweiglbosker

  authored
  41dda86

  Copy full SHA for 41dda86

• Remove extra semicolons (#1556)

  sweiglbosker

  authored
  cf11764

  Copy full SHA for cf11764

Commits on Apr 9, 2026

• Improve option spec (#1554)

  Show description for 56b95a5
  enjhnsn2

  authored
  56b95a5

  Copy full SHA for 56b95a5

Commits on Apr 8, 2026

• Add flux-core spec for Result (#1545)

  Show description for 1372da4
  

  enjhnsn2

  and

  Copilot

  authored
  1372da4

  Copy full SHA for 1372da4

Commits on Apr 7, 2026

• Fix code in equality chapter (#1549)

  Show description for 65c4620
  sweiglbosker

  authored
  65c4620

  Copy full SHA for 65c4620

• Improve flux-core num specs (#1544)

  Show description for 270a7b2
  

  3 peopleauthored
  270a7b2

  Copy full SHA for 270a7b2

• Fix unsound signed integer division rule (#1548)

  Copilot

  authored
  037124c

  Copy full SHA for 037124c

Commits on Apr 2, 2026

• Fix documentation errors (#1541)

  sweiglbosker

  authored
  cc7d346

  Copy full SHA for cc7d346

Commits on Apr 1, 2026

• Add saturating_add/saturating_sub specs for u64 (#1540)

  sweiglbosker

  authored
  51df096

  Copy full SHA for 51df096

• Improve flux-core specs for saturating_add/saturating_sub (#1537)

  Show description for 15fe056
  

  3 peopleauthored
  15fe056

  Copy full SHA for 15fe056

• Update toolchain path in docs (#1536)

  sweiglbosker

  authored
  26be05c

  Copy full SHA for 26be05c

Commits on Mar 30, 2026

• Add error and update tests (#1528)

  ninehusky

  authored
  485dddb

  Copy full SHA for 485dddb

Commits on Mar 27, 2026

• Bump picomatch from 2.3.1 to 2.3.2 in /tools/vscode (#1535)

  Show description for 618941a
  dependabot[bot]

  authored
  618941a

  Copy full SHA for 618941a

Commits on Mar 21, 2026

• Specify `trusted` files (similar to `include` files) in `cargo.toml` (#1500)

  Show description for 10a2f70
  

  ranjitjhala

  and

  nilehmann

  authored
  10a2f70

  Copy full SHA for 10a2f70

Commits on Mar 20, 2026

• Bump flatted from 3.3.2 to 3.4.2 in /tools/vscode (#1534)

  Show description for 4a58725
  dependabot[bot]

  authored
  4a58725

  Copy full SHA for 4a58725

Commits on Mar 3, 2026

• Translate Flux Bool to Prop in Lean and open Classical everywhere (#1527)

  Show description for d6cec33
  petros-marko

  authored
  d6cec33

  Copy full SHA for d6cec33

Commits on Mar 2, 2026

• Extend is_fn_call to find assoc reft bodies for FnOnce::call_once, FnMut::call_mut (#1525)

  nilehmann

  authored
  beaebe5

  Copy full SHA for beaebe5

Commits on Feb 28, 2026

• Bump minimatch from 3.1.2 to 3.1.5 in /tools/vscode (#1523)

  Show description for 2df5417
  dependabot[bot]

  authored
  2df5417

  Copy full SHA for 2df5417

Commits on Feb 27, 2026

• Don't ICE when normalizing associated refinements on dynamic objects (#1522)

  nilehmann

  authored
  802a00a

  Copy full SHA for 802a00a

Commits on Feb 26, 2026

• Fix bug in implementation of Ord for BigInt (#1518)

  nilehmann

  authored
  670ec37

  Copy full SHA for 670ec37