Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 2, 2025

• Merge pull request #54 from brk/standardize-on-dune

  Show description for 55c7beb
  sipma

  authored
  55c7beb

  Copy full SHA for 55c7beb

Commits on May 27, 2025

• Merge pull request #58 from sipma/parsing

  Show description for 9ee0aac
  sipma

  authored
  9ee0aac

  Copy full SHA for 9ee0aac

• Merge branch 'master' into parsing

  sipma

  committed
  c111d36

  Copy full SHA for c111d36

• CLI: add command to print header file

  sipma

  committed
  9cfc6a0

  Copy full SHA for 9cfc6a0

Commits on May 16, 2025

• CMD: Allow excluding files from analysis

  Show description for 5565f63
  

  waskyo

  authored and

  sipma

  committed
  5565f63

  Copy full SHA for 5565f63

Commits on May 15, 2025

• have git ignore ocaml binaries

  

  waskyo

  authored and

  sipma

  committed
  77f2a7b

  Copy full SHA for 77f2a7b

• fix how we count line numbers

  Show description for 066d83b
  

  waskyo

  authored and

  sipma

  committed
  066d83b

  Copy full SHA for 066d83b

• fix typo in return code variable name

  

  waskyo

  authored and

  sipma

  committed
  0c95b65

  Copy full SHA for 0c95b65

• switch github actions to run on ubuntu 22.04

  Show description for 7a30409
  

  waskyo

  authored and

  sipma

  committed
  7a30409

  Copy full SHA for 7a30409

Commits on May 8, 2025

• Update README for dune-built CodeHawk

  brk

  committed
  d63b2c0

  Copy full SHA for d63b2c0

Commits on Dec 18, 2024

• PARSE: catch unicode decoding error

  sipma

  committed
  377c2da

  Copy full SHA for 377c2da

Commits on Dec 17, 2024

• add error handling

  sipma

  committed
  2cb7996

  Copy full SHA for 2cb7996

Commits on Nov 5, 2024

• JSON: add program context to proof obligations

  sipma

  committed
  10d9c4f

  Copy full SHA for 10d9c4f

Commits on Oct 21, 2024

• CMD: add command to list arguments to calls

  sipma

  committed
  020659c

  Copy full SHA for 020659c

Commits on Oct 15, 2024

• JSON: add function api data to json results

  sipma

  committed
  99d2c4a

  Copy full SHA for 99d2c4a

Commits on Oct 14, 2024

• CMD: add cmd-line options

  sipma

  committed
  53078e9

  Copy full SHA for 53078e9

• CSUM: add external state for strtok

  sipma

  committed
  600ffe2

  Copy full SHA for 600ffe2

Commits on Sep 17, 2024

• TESTS: add tests for gcc-like attributes

  sipma

  committed
  1821e9a

  Copy full SHA for 1821e9a

• fix mypy errors

  sipma

  committed
  9021751

  Copy full SHA for 9021751

• terminate parsing when encountering an error

  sipma

  committed
  37a86ad

  Copy full SHA for 37a86ad

Commits on Sep 9, 2024

• include supporting proof obligations in the json output

  Show description for 7018bd3
  

  waskyo

  authored and

  sipma

  committed
  7018bd3

  Copy full SHA for 7018bd3

Commits on May 27, 2024

• APP: handle static initializers with local var refs

  sipma

  committed
  4d28fea

  Copy full SHA for 4d28fea

Commits on May 26, 2024

• Remove duplicate subparser definition

  Show description for 6972386
  Databean

  committed
  6972386

  Copy full SHA for 6972386

Commits on May 24, 2024

• CFILE: add c-file run command

  sipma

  committed
  b2d2cc9

  Copy full SHA for b2d2cc9

Commits on May 21, 2024

• Add GitHub workflow to publish sphinx documentation

  Show description for 7fe1b6f
  Databean

  committed
  7fe1b6f

  Copy full SHA for 7fe1b6f

• pycodestyle compliance

  sipma

  committed
  73d9fb4

  Copy full SHA for 73d9fb4

• DOC: update README and remove obsolete binaries

  sipma

  committed
  5819f2f

  Copy full SHA for 5819f2f

• update project results

  sipma

  committed
  53c7e41

  Copy full SHA for 53c7e41

• DOC: sphinx documentation files

  sipma

  committed
  000ba6e

  Copy full SHA for 000ba6e

• PROOF: reorganize dictionaries

  sipma

  committed
  ab4d006

  Copy full SHA for ab4d006

• LINKER: partially restored

  sipma

  committed
  009e541

  Copy full SHA for 009e541

• INV: add objectmaps for table output

  sipma

  committed
  8b558bb

  Copy full SHA for 8b558bb

• CAPP: add types realign declarations

  sipma

  committed
  50b89c6

  Copy full SHA for 50b89c6

• CPROJ: add CLI commands

  sipma

  committed
  50ad5ee

  Copy full SHA for 50ad5ee

• JULIET: add more commands

  sipma

  committed
  2f179b4

  Copy full SHA for 2f179b4

Pagination

Previous

Next