Commits

Breadcrumbs

History for

onff98b13

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 24, 2024

• Caught a couple more places that weren't preserving comments

  msprotz

  committed
  94581dd

  Copy full SHA for 94581dd

• Merge branch 'protz_comments' of github.com:FStarLang/karamel into protz_comments

  msprotz

  committed
  cd84089

  Copy full SHA for cd84089

Commits on Sep 20, 2024

• A new cross-workspace visibility flag

  msprotz

  committed
  37a11a9

  Copy full SHA for 37a11a9

Commits on Sep 13, 2024

• remove ecomment

  msprotz

  committed
  686aa74

  Copy full SHA for 686aa74

• Better handling of comments

  msprotz

  committed
  b9aae02

  Copy full SHA for b9aae02

Commits on Aug 28, 2024

• Relicense

  msprotz

  committed
  7fc5493

  Copy full SHA for 7fc5493

Commits on Jun 18, 2024

• new attributes for mustinline and target architecture

  karthikbhargavan

  committed
  018dcd1

  Copy full SHA for 018dcd1

Commits on May 29, 2024

• Resurrect a commit from branch protz_misc and add support for multidimensional arrays on the stack, and as top-level constants. + a fix for hoisting

  msprotz

  committed
  e8e461c

  Copy full SHA for e8e461c

Commits on May 24, 2024

• Remove debug

  msprotz

  committed
  a70e4f1

  Copy full SHA for a70e4f1

• Forgot to resolve subtituted type application to monomorphized instance

  msprotz

  committed
  af7a594

  Copy full SHA for af7a594

• Comment out debugging, generalize one phase

  msprotz

  committed
  efbceb5

  Copy full SHA for efbceb5

• Start introducing type schemes all over the place, with backwards-compat relaxations in the checker

  msprotz

  committed
  ddc7e0a

  Copy full SHA for ddc7e0a

Commits on May 23, 2024

• Fix a few issues with monomorphization and partial cg applications

  msprotz

  committed
  b4d12dd

  Copy full SHA for b4d12dd

• Support for monomorphization over regular values like trait methods

  msprotz

  committed
  ea140fe

  Copy full SHA for ea140fe

Commits on Feb 19, 2024

• Insert missing conversions; revamp struct ownership compilation strategy

  msprotz

  committed
  3d33437

  Copy full SHA for 3d33437

Commits on Dec 22, 2023

• Merge remote-tracking branch 'origin/master' into protz_cg

  msprotz

  committed
  a16c3c1

  Copy full SHA for a16c3c1

Commits on Dec 13, 2023

• Get rid of KList.find_opt

  Show description for e378cb4
  Niols

  committed
  e378cb4

  Copy full SHA for e378cb4

• Get rid of KList.make

  Show description for 9e3301b
  Niols

  committed
  9e3301b

  Copy full SHA for 9e3301b

Commits on Dec 11, 2023

• Get rid of the compatibility Option module

  Show description for dab250e
  Niols

  committed
  dab250e

  Copy full SHA for dab250e

Commits on Dec 8, 2023

• Missing recursive call to infer

  msprotz

  committed
  f0b4a9a

  Copy full SHA for f0b4a9a

• Various missing cases in checker, monomorphization, and fixing a type error in removing struct literals

  msprotz

  committed
  416d59a

  Copy full SHA for 416d59a

• cg data type monomorphization

  msprotz

  committed
  b704a34

  Copy full SHA for b704a34

Commits on Dec 7, 2023

• Redo substitutions and binder representation for safer usage

  msprotz

  committed
  6156d7d

  Copy full SHA for 6156d7d

Commits on Dec 6, 2023

• Add a field for the number of parameters that should be understood to be const generics. This has no effect on the existing binder representation, transformation passes, or anything else whatsoever…

  Show description for b221a8c
  msprotz

  committed
  b221a8c

  Copy full SHA for b221a8c

Commits on Nov 27, 2023

• Fix incorrect type information in DataTypes.ml

  msprotz

  committed
  419718c

  Copy full SHA for 419718c

Commits on Nov 11, 2023

• WIP: buffill, handling non-const-length arrays, more tidbits

  msprotz

  committed
  5d1c0dc

  Copy full SHA for 5d1c0dc

Commits on Nov 9, 2023

• Edge case in buffer-splitting compilation logic

  msprotz

  committed
  b0b61c3

  Copy full SHA for b0b61c3

Commits on Nov 8, 2023

• Visibility, reference fixes, misc

  msprotz

  committed
  84feb03

  Copy full SHA for 84feb03

Commits on Nov 6, 2023

• wip

  msprotz

  committed
  ba0f133

  Copy full SHA for ba0f133

Commits on Nov 3, 2023

• Misc changes

  Show description for d9498f3
  msprotz

  committed
  d9498f3

  Copy full SHA for d9498f3

Commits on Oct 4, 2023

• An a supplemental analysis for static (private) functions which *may* end up being unused locally if all of their call-sites are underneath ifdefs (but not all ifdefs)

  msprotz

  committed
  46a1532

  Copy full SHA for 46a1532

Commits on Oct 3, 2023

• Completely revamp variable usage analysis

  Show description for a41167e
  msprotz

  committed
  a41167e

  Copy full SHA for a41167e

Commits on Sep 27, 2023

• Better treatment of non-terminating loops, add unchecked matches

  msprotz

  committed
  6033630

  Copy full SHA for 6033630

Commits on Sep 25, 2023

• Correct unit-to-void optimization in the presence of type applications emitted as macro calls

  msprotz

  committed
  ff9c2fc

  Copy full SHA for ff9c2fc

Commits on Aug 20, 2023

• Support for CNoInline, along with a reformatting of various headers

  msprotz

  committed
  041dc71

  Copy full SHA for 041dc71

Pagination

Previous

Next