Commits

Branch selector

 master

User selector

jedisct1

Datepicker

All time

Commit History

Commits on Sep 2, 2024

• Pin Zig to the current stable version instead of master (#1951)

  jedisct1

  authoredSep 2, 2024
  95ea54c

Commits on May 20, 2024

• Make build.zig files compatible with newly released zig 0.12 (#1913)

  jedisct1

  authoredMay 20, 2024
  a1cfdca

Commits on Nov 21, 2023

• zig: use "const" for variables that are never mutated (#1742)

  jedisct1

  authoredNov 21, 2023
  7845de0

Commits on Jul 6, 2023

• Update for Zig 0.11.0 (#1611)

  jedisct1

  authoredJul 6, 2023
  f954cc5

Commits on Apr 18, 2023

• Minor changes to the build.zig files to prepare for Zig 0.11 (#1588)

  jedisct1

  authoredApr 18, 2023
  457cb5e

Commits on Feb 11, 2023

• Update Zig test scripts for zig 0.11

  

  jedisct1

  authored and

  andres-erbsen

  committedFeb 11, 2023
  3bc9353

Commits on Dec 27, 2022

• Zig inversion code: replace std.meta.bitCount() with @bitSizeOf() (#1552)

  jedisct1

  authoredDec 27, 2022
  6e6809b

Commits on Aug 27, 2022

• Zig backend: bump the comptime branch quota up for cast() calls (#1360)

  jedisct1

  authoredAug 27, 2022
  4a6d9a1

Commits on Jun 3, 2022

• Zig inversion code: compute f and precomp at compile-time (#1275)

  jedisct1

  authoredJun 3, 2022
  a189e87

Commits on May 31, 2022

• Generate code for the scalar field of standard curves (#1259)

  jedisct1

  authoredMay 31, 2022
  3f421f1

• Generate Java files with the expected file names on all platforms (#1260)

  

  jedisct1

  and

  JasonGross

  authoredMay 31, 2022
  3ee1d93

Commits on Oct 10, 2021

• Zig: use @import("builtin") instead of the deprecated reexport

  

  jedisct1

  authored and

  JasonGross

  committedOct 10, 2021
  0d2d908

Commits on Jul 1, 2021

• inversion/zig: remove redundant comptime

  

  jedisct1

  authored and

  JasonGross

  committedJul 1, 2021
  bccc816

Commits on Jun 17, 2021

• Zig: emulate unsafe casts

  

  jedisct1

  authored and

  JasonGross

  committedJun 17, 2021
  f549083

Commits on May 27, 2021

• Zig backend: favor "inline fn" over "fn ... callconv(.Inline)"

  

  jedisct1

  authored and

  JasonGross

  committedMay 27, 2021
  d72f58c

Commits on May 11, 2021

• Update Zig tests after std.testing.* changes

  

  jedisct1

  authored and

  JasonGross

  committedMay 11, 2021
  13b506a

Commits on May 3, 2021

• Multiple updates to the Zig backend

  

  jedisct1

  authored and

  JasonGross

  committedMay 3, 2021
  d60613b

• Fiat-generated code is now continuously tested

  

  jedisct1

  authored and

  JasonGross

  committedMay 3, 2021
  a0ad690

Commits on Apr 28, 2021

• Add another field inversion example

  

  jedisct1

  authored and

  JasonGross

  committedApr 28, 2021
  f3fe7f1

Commits on Apr 21, 2021

• Re-bump coq-scripts

  jedisct1

  committedApr 21, 2021
  405b3f2

• Add code generation for Zig

  jedisct1

  committedApr 21, 2021
  66ae9af

• Regen Java files as well

  

  jedisct1

  authored and

  JasonGross

  committedApr 21, 2021
  8944697

• Regen files

  

  jedisct1

  authored and

  JasonGross

  committedApr 21, 2021
  cfe72d9

• Fix a typo, present in all generated files

  

  jedisct1

  authored and

  JasonGross

  committedApr 21, 2021
  b9c5816