Commits

Branch selector

 refs/heads/main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 24, 2025

• Merge pull request #945 from diffblue/clocking_declaration

  Show description for 5ffa8e0
  tautschnig

  authored
  5ffa8e0

  Copy full SHA for 5ffa8e0

Commits on Jan 23, 2025

• SystemVerilog: clocking declarations

  Show description for ed026f5
  kroening

  committed
  ed026f5

  Copy full SHA for ed026f5

Commits on Jan 22, 2025

• Merge pull request #943 from diffblue/sequence_and_or

  Show description for d923a32
  tautschnig

  authored
  d923a32

  Copy full SHA for d923a32

• SVA: sequence 'and'/'or' vs. property 'and'/'or'

  Show description for 04715c9
  kroening

  committed
  04715c9

  Copy full SHA for 04715c9

• Merge pull request #944 from diffblue/sequence_repetition4

  Show description for 009b13b
  tautschnig

  authored
  009b13b

  Copy full SHA for 009b13b

Commits on Jan 21, 2025

• SVA: sequence repetition for proper sequences

  Show description for 38a7880
  kroening

  committed
  38a7880

  Copy full SHA for 38a7880

• Merge pull request #942 from diffblue/sequence6

  Show description for a0c228e
  tautschnig

  authored
  a0c228e

  Copy full SHA for a0c228e

• Merge pull request #940 from diffblue/k-induction-property-checker-result

  Show description for 66aae3b
  tautschnig

  authored
  66aae3b

  Copy full SHA for 66aae3b

• Merge pull request #933 from diffblue/property1-dix

  Show description for 26f366e
  tautschnig

  authored
  26f366e

  Copy full SHA for 26f366e

Commits on Jan 19, 2025

• SVA: allow parentheses around sequences

  Show description for 270c867
  kroening

  committed
  270c867

  Copy full SHA for 270c867

Commits on Jan 17, 2025

• Merge pull request #941 from diffblue/file1

  Show description for a7f30f8
  tautschnig

  authored
  a7f30f8

  Copy full SHA for a7f30f8

• Verilog: __FILE__ and __LINE__

  Show description for dce0b37
  kroening

  committed
  dce0b37

  Copy full SHA for dce0b37

• Merge pull request #936 from diffblue/cycle_delay1

  Show description for 6e81cd1
  kroening

  authored
  6e81cd1

  Copy full SHA for 6e81cd1

• SVA: error message non-constant SVA cycle delays

  Show description for 31af192
  kroening

  committed
  31af192

  Copy full SHA for 31af192

• k_induction(...) now returns property_checker_resultt

  Show description for 04f1ae8
  kroening

  committed
  04f1ae8

  Copy full SHA for 04f1ae8

• Merge pull request #937 from diffblue/posedge_real

  Show description for 892735f
  tautschnig

  authored
  892735f

  Copy full SHA for 892735f

• Merge pull request #938 from diffblue/posedge_vector-fix

  Show description for ce3098d
  tautschnig

  authored
  ce3098d

  Copy full SHA for ce3098d

• Verilog: allow vector-typed operands to edge event control

  Show description for d9ce3a7
  kroening

  committed
  d9ce3a7

  Copy full SHA for d9ce3a7

• Verilog: error on real operand for edge control

  Show description for aa53cdd
  kroening

  committed
  aa53cdd

  Copy full SHA for aa53cdd

• Merge pull request #934 from diffblue/prop_handles

  Show description for f6c38d9
  tautschnig

  authored
  f6c38d9

  Copy full SHA for f6c38d9

• BMC: return property handles/literals

  Show description for 4700fa7
  kroening

  committed
  4700fa7

  Copy full SHA for 4700fa7

• Merge pull request #935 from diffblue/bmc-result

  Show description for a2cd909
  tautschnig

  authored
  a2cd909

  Copy full SHA for a2cd909

Commits on Jan 16, 2025

• BMC: return property_checker_resultt

  Show description for 6a49d99
  kroening

  committed
  6a49d99

  Copy full SHA for 6a49d99

• Merge pull request #923 from diffblue/k-induction6-fix

  Show description for f334106
  kroening

  authored
  f334106

  Copy full SHA for f334106

• Merge pull request #929 from diffblue/aval-bval-bitwise

  Show description for 4f09a7e
  tautschnig

  authored
  4f09a7e

  Copy full SHA for 4f09a7e

• Merge pull request #932 from diffblue/property1

  Show description for bc7a3df
  tautschnig

  authored
  bc7a3df

  Copy full SHA for bc7a3df

• SystemVerilog: allow SVA in property ... endproperty

  Show description for 729e0ab
  kroening

  committed
  729e0ab

  Copy full SHA for 729e0ab

• Verilog: KNOWNBUG test for property ... endproperty

  Show description for b395a5e
  kroening

  committed
  b395a5e

  Copy full SHA for b395a5e

Commits on Jan 15, 2025

• Engine heuristic: fix for assumptions unsupported by k-induction

  Show description for 600f348
  kroening

  committed
  600f348

  Copy full SHA for 600f348

• aval/bval encoding for bitwise operators

  Show description for b40d0a8
  kroening

  committed
  b40d0a8

  Copy full SHA for b40d0a8

• Merge pull request #928 from diffblue/checker5

  Show description for 095ae90
  tautschnig

  authored
  095ae90

  Copy full SHA for 095ae90

• KNOWNBUG tests for checkers

  kroening

  committed
  68eae99

  Copy full SHA for 68eae99

• Merge pull request #917 from diffblue/verilog_associative_array

  Show description for c93d1e8
  tautschnig

  authored
  c93d1e8

  Copy full SHA for c93d1e8

• Merge pull request #926 from diffblue/checker2

  Show description for 845b340
  tautschnig

  authored
  845b340

  Copy full SHA for 845b340

• Merge pull request #927 from diffblue/bitwise_not1

  Show description for f274e11
  tautschnig

  authored
  f274e11

  Copy full SHA for f274e11

Pagination

Previous

Next