Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 29, 2023

• Merge pull request GaloisInc#352 from GaloisInc/cns/polyglot-skeletons

  Show description for 443d420
  thatplguy

  authored
  443d420

Commits on Nov 28, 2023

• Merge branch 'master' of github.com:GaloisInc/daedalus into cns/polyglot-skeletons

  thatplguy

  committed
  5394085

• Remove broken sexp test (GaloisInc#354)

  Show description for 7ef9398
  thatplguy

  authored
  7ef9398

• Fix counts in the README results table

  thatplguy

  committed
  28c2cb6

Commits on Nov 8, 2023

• Update READMEs

  thatplguy

  committed
  8786b85

• Remove notes.txt

  Show description for 2ec4a62
  thatplguy

  committed
  2ec4a62

• Update .gitignore

  thatplguy

  committed
  f4f705a

• BUGFIX: use xxd to dump bytes

  Show description for 0956ac1
  thatplguy

  committed
  0956ac1

• Adds PHP Archive (PHAR) format and polyglots

  Show description for 77ab1d4
  thatplguy

  committed
  77ab1d4

• Polyglot skeletons

  Show description for bd1d47f
  thatplguy

  committed
  bd1d47f

Commits on Nov 7, 2023

• Only promote arguments when expecting a value argument.

  yav

  committed
  09cee2b

• Add a constraint on newer attoparsec

  yav

  committed
  a04dc86

Commits on Oct 24, 2023

• Use hyperfine for benchmarking

  yav

  committed
  a74f5a6

Commits on Oct 23, 2023

• Tweak makefile

  yav

  committed
  41b42e5

• Add ANTLR s-expr tests, and make benchmarks use common Makefiles

  yav

  committed
  e9edf8c

Commits on Oct 20, 2023

• Remove unused type synonym.

  yav

  committed
  bd570f8

• Benchmarking for S-Expression parser

  yav

  committed
  635719f

Commits on Oct 13, 2023

• A BSON parser using the bson package from Hackage

  yav

  committed
  1224f73

• Rnadom BSON generator, and benchamrking for katiad, ddl, and ddl-hs

  yav

  committed
  df28021

• Bugfix: correct the implementation of getByteArray

  yav

  committed
  5db683c

• Remove extra wrapping, f16 is not a built-in type

  yav

  committed
  c7ae3ef

Commits on Oct 12, 2023

• A benchmarking example for BSON

  yav

  committed
  5f7955f

• Guard error operations with CPP, for easy disabling of errors.

  yav

  committed
  be87812

• Test the Haskell backend of daedalus

  yav

  committed
  f0c2ca3

• Fix Makefile to not clean the whole of daedalus.

  yav

  committed
  3d02e72

• Build Kaitai struct parser with -O3

  yav

  committed
  e4ec4ed

• Add support for 3 error levels in the Haskell backend

  yav

  committed
  489c8fe

Commits on Oct 11, 2023

• Fix up Makefile

  yav

  committed
  92e6270

• Generate strict datatypes.

  Show description for a5d16e0
  yav

  committed
  a5d16e0

• More aggressive inlining of things.

  yav

  committed
  1b3e01b

Commits on Oct 5, 2023

• Implement LEB128 with attoparsec.

  Show description for 29e93e9
  yav

  committed
  29e93e9

Commits on Oct 4, 2023

• Refactor DDL spec to avoid unneeded if

  yav

  committed
  547f951

• Generate more numbers

  yav

  committed
  e155b4f

• LEB 128 format.

  Show description for 55f75cf
  yav

  committed
  55f75cf

Commits on Oct 2, 2023

• Merge pull request GaloisInc#347 from GaloisInc/wip/talos-dump-smt

  Show description for 3747bc1
  simonjwinwood

  authored
  3747bc1

Pagination

PreviousNext