Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 28, 2023

• Merge pull request #40 from m-carrasco/update-dockerfile

  Show description for c45b12c
  ccadar

  authored
  c45b12c

  Copy full SHA for c45b12c

• Checkout even with uncommited changes (introduced by GIT due to the line encoding).

  m-carrasco

  committed
  995480f

  Copy full SHA for 995480f

• Fix no longer available LLVM repositories.

  m-carrasco

  committed
  4657e02

  Copy full SHA for 4657e02

• Use supported pip version.

  m-carrasco

  committed
  7b3faa2

  Copy full SHA for 7b3faa2

Commits on Sep 5, 2019

• Document using Docker image.

  afd

  committed
  d38b368

  Copy full SHA for d38b368

• Add links to FSE2019 paper resources.

  afd

  committed
  94515fb

  Copy full SHA for 94515fb

Commits on Aug 31, 2019

• Change acronym for JFS. It was originally "JIT Fuzzing Solver" but

  Show description for f6238e4
  afd

  committed
  f6238e4

  Copy full SHA for f6238e4

Commits on Aug 28, 2019

• Add some missing tests.

  afd

  committed
  9272cd1

  Copy full SHA for 9272cd1

• Add stats for SpecialConstantSeedGenerator.

  afd

  committed
  a9aea34

  Copy full SHA for a9aea34

• Add SeedGenerator::postGenerationCallBack(...) that the SeedGenerator

  Show description for 3895818
  afd

  committed
  3895818

  Copy full SHA for 3895818

• Add a smart seed Linux generation test.

  afd

  committed
  e71f4a5

  Copy full SHA for e71f4a5

• Add UBSan libstdc++ pointer alginment suppression and also halt

  Show description for a2ebfdf
  afd

  committed
  a2ebfdf

  Copy full SHA for a2ebfdf

• Fix heap overflow bug reported by ASan.

  Show description for 5a58d30
  afd

  committed
  5a58d30

  Copy full SHA for 5a58d30

• Disable

  Show description for 2507528
  afd

  committed
  2507528

  Copy full SHA for 2507528

• Fix -seed= option parsing. LLVM's llvm::cl::opt<> class doesn't

  Show description for 72dd1bc
  afd

  committed
  72dd1bc

  Copy full SHA for 72dd1bc

• Fix warning about unused success variable and instead emit an

  Show description for 833b58a
  afd

  committed
  833b58a

  Copy full SHA for 833b58a

• Create seeds from various special constants

  Show description for 676f0f5
  

  jryans

  authored and

  afd

  committed
  676f0f5

  Copy full SHA for 676f0f5

• Set default seed limits

  Show description for 2d82ae9
  

  jryans

  authored and

  afd

  committed
  2d82ae9

  Copy full SHA for 2d82ae9

• Add DFS to find constants in constraints

  

  jryans

  authored and

  afd

  committed
  c55a48c

  Copy full SHA for c55a48c

• Sketch out a special constant seed generator

  Show description for 63a5dd8
  

  jryans

  authored and

  afd

  committed
  63a5dd8

  Copy full SHA for 63a5dd8

• Use centralized seed with LibFuzzer

  

  jryans

  authored and

  afd

  committed
  27fa596

  Copy full SHA for 27fa596

• Add random number facility to JFS context

  

  jryans

  authored and

  afd

  committed
  7795bdd

  Copy full SHA for 7795bdd

• Change many vars error in jfs-smt2cnf to warning

  Show description for 2ebe886
  

  jryans

  authored and

  afd

  committed
  2ebe886

  Copy full SHA for 2ebe886

• Introduce static methods to generate some special floating point

  Show description for d0c478d
  afd

  committed
  d0c478d

  Copy full SHA for d0c478d

• Add tests for model saving via round trip after load

  

  jryans

  authored and

  afd

  committed
  fa669e4

  Copy full SHA for fa669e4

• Add save support to serializable models

  Show description for 71dae00
  

  jryans

  authored and

  afd

  committed
  71dae00

  Copy full SHA for 71dae00

• Add jfs_nr_make_bitvector for writing a bit vector to buffer

  

  jryans

  authored and

  afd

  committed
  cf50cb5

  Copy full SHA for cf50cb5

• Fix bug in FreeVariableToBufferAssignmentPass when trying to use

  Show description for 0973b6c
  afd

  committed
  0973b6c

  Copy full SHA for 0973b6c

• To aid debugging also write the satisfiability result to the debug

  Show description for 33c8793
  afd

  committed
  33c8793

  Copy full SHA for 33c8793

• LibPureRandomFuzzer should check timeout per run

  Show description for b8817af
  

  jryans

  authored and

  afd

  committed
  b8817af

  Copy full SHA for b8817af

• Timer in LibPureRandomFuzzer should repeat

  

  jryans

  authored and

  afd

  committed
  cfb0796

  Copy full SHA for cfb0796

• For try-all and try-all-imncsf branch encodings emit code to update

  Show description for 1530678
  afd

  committed
  1530678

  Copy full SHA for 1530678

• Refactor code that adds a check for an increase in the maximum number of

  Show description for 5da795b
  afd

  committed
  5da795b

  Copy full SHA for 5da795b

• Add a hack to make possible to run tests like

  Show description for 7676328
  afd

  committed
  7676328

  Copy full SHA for 7676328

• Add jfs-smt2cnf tool to convert to DIMACS CNF format

  Show description for b965af0
  

  jryans

  authored and

  afd

  committed
  b965af0

  Copy full SHA for b965af0

Pagination

Previous

Next