Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 27, 2023

• Switch to z3-sys bundled feature for static linking (#1247)

  hermanventer

  authored
  b602f32

  Copy full SHA for b602f32

Commits on Oct 25, 2023

• Try again to build on Linux using vcpkg (#1246)

  hermanventer

  authored
  abb3ee8

  Copy full SHA for abb3ee8

Commits on Oct 24, 2023

• Simplify features (#1245)

  Show description for f69b1dc
  

  hermanventer

  and

  vzhli17

  authored
  f69b1dc

  Copy full SHA for f69b1dc

• Make simplification with TOP more aggressive (#1244)

  hermanventer

  authored
  aac396b

  Copy full SHA for aac396b

Commits on Oct 16, 2023

• Add simplification rules (#1243)

  hermanventer

  authored
  9b2ceeb

  Copy full SHA for 9b2ceeb

Commits on Oct 9, 2023

• Upgrade to Clap 4 (#1242)

  hermanventer

  authored
  bff6070

  Copy full SHA for bff6070

Commits on Sep 17, 2023

• Update code for finding #[test] functions (#1239)

  hermanventer

  authored
  0b77af2

  Copy full SHA for 0b77af2

Commits on Aug 4, 2023

• nightly-2023-08-04 (#1232)

  hermanventer

  authored
  c999902

  Copy full SHA for c999902

Commits on Jul 29, 2023

• Update MIRAI to work with latest nightly (#1228)

  Show description for ed3f3b5
  hermanventer

  authored
  ed3f3b5

  Copy full SHA for ed3f3b5

Commits on Jul 25, 2023

• update TAG_PROPAGATION_ALL (#1227)

  hermanventer

  authored
  850e729

  Copy full SHA for 850e729

Commits on Jul 17, 2023

• Additional infomation about dependencies. (#1223)

  Show description for d9d5d4b
  takanotaiga

  authored
  d9d5d4b

  Copy full SHA for d9d5d4b

Commits on Jun 16, 2023

• annotations: Distribute the license with the crate (#1221)

  dm0-

  authored
  957af25

  Copy full SHA for 957af25

Commits on May 10, 2023

• Fix MIRAI warnings in foreign_contracts.rs (#1219)

  hermanventer

  authored
  41b3c94

  Copy full SHA for 41b3c94

Commits on May 9, 2023

• Get rid of actions-rs/grcov@v0.1 (#1217)

  hermanventer

  authored
  bb5b5ff

  Copy full SHA for bb5b5ff

• Move to nightly 2023-05-08 (#1218)

  hermanventer

  authored
  10407a7

  Copy full SHA for 10407a7

Commits on May 7, 2023

• See if Z3 works on Windows (#1216)

  hermanventer

  authored
  8c4fbe9

  Copy full SHA for 8c4fbe9

• Get rid of action-rs actions (#1215)

  hermanventer

  authored
  357830a

  Copy full SHA for 357830a

Commits on May 6, 2023

• Give up on automated PR for actions (#1214)

  hermanventer

  authored
  f6aa9ff

  Copy full SHA for f6aa9ff

• Add preconditions to foreign contracts (#1213)

  hermanventer

  authored
  3e32bcf

  Copy full SHA for 3e32bcf

Commits on May 5, 2023

• Add workflow to update actions (#1212)

  hermanventer

  authored
  bc30c3d

  Copy full SHA for bc30c3d

• Add preconditions to the standard contracts to avoid pointer alignment warnings. (#1211)

  hermanventer

  authored
  36e1832

  Copy full SHA for 36e1832

Commits on Apr 29, 2023

• 2023-04-27 (#1210)

  hermanventer

  authored
  f23430d

  Copy full SHA for f23430d

Commits on Apr 25, 2023

• 2023-04-23 (#1201) (#1208)

  hermanventer

  authored
  b5b2d2f

  Copy full SHA for b5b2d2f

Commits on Apr 24, 2023

• -C overflow-checks=off no longer works (#1207)

  hermanventer

  authored
  4623256

  Copy full SHA for 4623256

Commits on Mar 23, 2023

• nightly-2023-03-22 (#1204)

  hermanventer

  authored
  4a384a1

  Copy full SHA for 4a384a1

Commits on Mar 15, 2023

• 2023-03-14 (#1201)

  hermanventer

  authored
  c442647

  Copy full SHA for c442647

Commits on Mar 8, 2023

• 2023-03-08 (#1199)

  hermanventer

  authored
  e45acd4

  Copy full SHA for e45acd4

Commits on Feb 7, 2023

• Advertise RFP (#1198)

  hermanventer

  authored
  f72a082

  Copy full SHA for f72a082

Commits on Jan 8, 2023

• Use def_id_as_qualified_name_str for call graphs (#1197)

  hermanventer

  authored
  1acf5f7

  Copy full SHA for 1acf5f7

• New nightly (#1196)

  Show description for 8c12e4d
  hermanventer

  authored
  8c12e4d

  Copy full SHA for 8c12e4d

Commits on Nov 29, 2022

• Update version (#1193)

  hermanventer

  authored
  2c5727e

  Copy full SHA for 2c5727e

• Update to nightly-2022-11-24 (#1192)

  hermanventer

  authored
  8526b00

  Copy full SHA for 8526b00

Commits on Nov 21, 2022

• Tolerate missing summaries for call graphs (#1191)

  hermanventer

  authored
  32b5f63

  Copy full SHA for 32b5f63

Commits on Nov 18, 2022

• Merge pull request #1189 from facebookexperimental/new_nightly

  Show description for 2368aac
  arnaudvenet

  authored
  2368aac

  Copy full SHA for 2368aac

Commits on Oct 30, 2022

• nightly-2022-10-29

  hermanventer

  committed
  5ca2f1e

  Copy full SHA for 5ca2f1e

Pagination

Previous

Next