Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Feb 2, 2025

• rename module paths

  josephfinlayson

  committed
  f8b70ab

  Copy full SHA for f8b70ab

• Update go.mod

  josephfinlayson

  authored
  a8f9cdc

  Copy full SHA for a8f9cdc

• Update go.mod

  josephfinlayson

  authored
  17be903

  Copy full SHA for 17be903

• Update primitive.go

  josephfinlayson

  authored
  07e8a4f

  Copy full SHA for 07e8a4f

Commits on Oct 10, 2024

• Add initial handling for iterators (#288)

  Show description for ba14292
  yuxincs

  authored
  ba14292

  Copy full SHA for ba14292

• Handle newly-introduced types.Alias type (#286)

  Show description for f74befd
  yuxincs

  authored
  f74befd

  Copy full SHA for f74befd

Commits on Oct 5, 2024

• Upgrade minimum version of Go to 1.22 (#275)

  Show description for 045b340
  yuxincs

  authored
  045b340

  Copy full SHA for 045b340

• Remove dead code for custom nilable types (#283)

  Show description for ccdcbe7
  yuxincs

  authored
  ccdcbe7

  Copy full SHA for ccdcbe7

• Rename `testing` test package to `trustedfunc` package (#282)

  Show description for ca8aade
  yuxincs

  authored
  ca8aade

  Copy full SHA for ca8aade

Commits on Oct 4, 2024

• Add modeling for `errors.As` in the generalized hook framework (#281)

  Show description for a7a5ca9
  yuxincs

  authored
  a7a5ca9

  Copy full SHA for a7a5ca9

• Break splitBlocksOn into a new hook (#280)

  Show description for 3c8ea06
  

  yuxincs

  and

  sonalmahajan15

  authored
  3c8ea06

  Copy full SHA for 3c8ea06

• Break assume return into a separate hook in the generalized hook framework (#279)

  Show description for 45bee80
  yuxincs

  authored
  45bee80

  Copy full SHA for 45bee80

• Generalize trusted function framework to be a hook framework (#278)

  Show description for c59c3f4
  yuxincs

  authored
  c59c3f4

  Copy full SHA for c59c3f4

Commits on Aug 21, 2024

• add tip for the JSON output (#266)

  Show description for c91e71c
  

  madneal

  and

  yuxincs

  authored
  c91e71c

  Copy full SHA for c91e71c

• new x/tools dep to work with newer go1.23.0 (#270)

  Show description for 56f5ac5
  

  3 peopleauthored
  56f5ac5

  Copy full SHA for 56f5ac5

• Fix golden test for forked repository (#273)

  Show description for 58a288b
  yuxincs

  authored
  58a288b

  Copy full SHA for 58a288b

Commits on Aug 15, 2024

• Refine the handling of pointers in `TypeAsDeepType` (#251)

  Show description for 8ff8105
  sonalmahajan15

  authored
  8ff8105

  Copy full SHA for 8ff8105

Commits on Jul 26, 2024

• Fix for making rich check effect handling unbiased for return statement ordering (#254)

  Show description for 4f33d8c
  sonalmahajan15

  authored
  4f33d8c

  Copy full SHA for 4f33d8c

• Support for "always safe" for error returning and ok-form functions (#264)

  Show description for 9012b93
  sonalmahajan15

  authored
  9012b93

  Copy full SHA for 9012b93

Commits on Jul 19, 2024

• Implement fact export for manually-written and inferred function contracts (#240)

  Show description for 28b542b
  yuxincs

  authored
  28b542b

  Copy full SHA for 28b542b

• Refactor the contract analyzer (#239)

  Show description for 613d002
  yuxincs

  authored
  613d002

  Copy full SHA for 613d002

Commits on Jun 6, 2024

• Add more test cases for calling no-return functions (#252)

  Show description for e902884
  yuxincs

  authored
  e902884

  Copy full SHA for e902884

Commits on May 24, 2024

• Separate the preprocess into a standalone package (#250)

  Show description for 885be9d
  yuxincs

  authored
  885be9d

  Copy full SHA for 885be9d

• Separate the trustedfunc framework from `assertiontree` package (#248)

  Show description for 3c07894
  yuxincs

  authored
  3c07894

  Copy full SHA for 3c07894

• Refactor CFG preprocess logic (#249)

  Show description for 2ae4ebe
  yuxincs

  authored
  2ae4ebe

  Copy full SHA for 2ae4ebe

Commits on May 21, 2024

• Fix for nested non-builtin call expression in map access (#245)

  Show description for a27654d
  sonalmahajan15

  authored
  a27654d

  Copy full SHA for a27654d

• Fix convergence problem due to unbounded growing of assertion tree (#244)

  Show description for 482b433
  sonalmahajan15

  authored
  482b433

  Copy full SHA for 482b433

Commits on May 14, 2024

• Remove ErrorOnNilableMap handling (#243)

  Show description for fe712a8
  yuxincs

  authored
  fe712a8

  Copy full SHA for fe712a8

• Remove util.TypeOf helper function (#242)

  Show description for a25d53b
  yuxincs

  authored
  a25d53b

  Copy full SHA for a25d53b

Commits on May 13, 2024

• Fix integration tests to not group error messages (#241)

  Show description for 3062237
  yuxincs

  authored
  3062237

  Copy full SHA for 3062237

Commits on Apr 29, 2024

• Add more information on caching custom golangci-lint binary (#237)

  Show description for f3f320c
  yuxincs

  authored
  f3f320c

  Copy full SHA for f3f320c

• Implement the plugin interface for golangci-lint (#234)

  Show description for ded4f3e
  

  yuxincs

  and

  sonalmahajan15

  authored
  ded4f3e

  Copy full SHA for ded4f3e

Commits on Apr 24, 2024

• Support for non-literals in map accesses (#233)

  Show description for 06f1eed
  sonalmahajan15

  authored
  06f1eed

  Copy full SHA for 06f1eed

Commits on Apr 19, 2024

• Fix consequent map access (with literal index) (#228)

  Show description for 8c8bb29
  sonalmahajan15

  authored
  8c8bb29

  Copy full SHA for 8c8bb29

• Refine grouping condition for single assertion conflict (#232)

  Show description for 44700e2
  sonalmahajan15

  authored
  44700e2

  Copy full SHA for 44700e2

Pagination

Previous

Next