Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 22, 2019

• Some fixes to patterns + new set_solver_option command.

  pramodsu

  committed
  a764d0d

  Copy full SHA for a764d0d

Commits on Dec 6, 2018

• Added unsigned bv comparisons

  CameronRasmussen

  committed
  16b0f22

  Copy full SHA for 16b0f22

Commits on Nov 20, 2018

• Add lazysc command

  deepaksirone

  committed
  470cd01

  Copy full SHA for 470cd01

Commits on Nov 15, 2018

• adding hyperaxioms -- still need support in unroll.

  pramodsu

  committed
  f74a7b1

  Copy full SHA for f74a7b1

Commits on Nov 2, 2018

• Added hex and binary bitvectors, update syntax

  CameronRasmussen

  committed
  01ae022

  Copy full SHA for 01ae022

Commits on Oct 1, 2018

• One bug in VerificationExpressionChecker fixed.

  pramodsu

  committed
  869a98d

  Copy full SHA for 869a98d

Commits on Jun 18, 2018

• Block vars allowed in next block.

  pramodsu

  committed
  637be6f

  Copy full SHA for 637be6f

Commits on Apr 16, 2018

• Fixed user defined and bv types

  CameronRasmussen

  authored
  dc23433

  Copy full SHA for dc23433

Commits on Apr 11, 2018

• Better syntax highlighting from Cameron.

  pramodsu

  committed
  9b402d9

  Copy full SHA for 9b402d9

Commits on Mar 30, 2018

• Finally fixing bug with vim syntax highlighting.

  Show description for 081756a
  pramodsu

  committed
  081756a

  Copy full SHA for 081756a

Commits on Mar 23, 2018

• Allowing havoc in parallel code.

  pramodsu

  committed
  3ae11dc

  Copy full SHA for 3ae11dc

Commits on Mar 9, 2018

• minor edits to vim syntax.

  

  Pramod

  committed
  e3461c8

  Copy full SHA for e3461c8

Commits on Mar 8, 2018

• minor fix in VC generation.

  

  Pramod

  committed
  c4df402

  Copy full SHA for c4df402

Commits on Feb 17, 2018

• adding default to vim file.

  

  Pramod

  committed
  92eae75

  Copy full SHA for 92eae75

Commits on Feb 16, 2018

• Change 'bool' to 'boolean'

  Show description for 4abff46
  

  Pramod

  committed
  4abff46

  Copy full SHA for 4abff46

• Changed 'int' -> 'integer'

  

  Pramod

  committed
  9f8f393

  Copy full SHA for 9f8f393

Commits on Feb 1, 2018

• New test + new vim syntax.

  pramodsu

  committed
  2dc6fbd

  Copy full SHA for 2dc6fbd

Commits on Jan 30, 2018

• renaming .ucl4 to .ucl.

  pramodsu

  committed
  e627f04

  Copy full SHA for e627f04

Commits on Jan 19, 2018

• tutorial updates.

  pramodsu

  committed
  f01934b

  Copy full SHA for f01934b

• minor fixes to errors messages.

  pramodsu

  committed
  4b6eb94

  Copy full SHA for 4b6eb94

Commits on Dec 19, 2017

• Removed initialize, simulate; replaced by unroll.

  Show description for 92b879b
  pramodsu

  committed
  92b879b

  Copy full SHA for 92b879b

Commits on Dec 2, 2017

• Parsing synthesis functions + module call -> next

  pramodsu

  committed
  b100322

  Copy full SHA for b100322

Commits on Nov 29, 2017

• Adding induction cmd to vim syntax highlighting.

  pramodsu

  committed
  f175746

  Copy full SHA for f175746

• New keywords in vim.

  pramodsu

  committed
  08a4996

  Copy full SHA for 08a4996

Commits on Nov 16, 2017

• Debugging type import.

  

  Pramod

  committed
  630c5e4

  Copy full SHA for 630c5e4

Commits on Nov 13, 2017

• Adding code to get rid of dead typedecls.

  pramodsu

  committed
  446ea2e

  Copy full SHA for 446ea2e

Commits on Oct 13, 2017

• new commands added to vim.

  pramodsu

  committed
  8879a17

  Copy full SHA for 8879a17

Commits on Oct 12, 2017

• minor fixes the print_property + property support

  pramodsu

  committed
  7ddeefd

  Copy full SHA for 7ddeefd

Commits on Oct 11, 2017

• vim syntax highlighting.

  pramodsu

  committed
  9fccecf

  Copy full SHA for 9fccecf

Commits on Oct 10, 2017

• added esac to vim file.

  pramodsu

  committed
  5720bca

  Copy full SHA for 5720bca

Commits on Oct 9, 2017

• minor edits.

  pramodsu

  committed
  0052158

  Copy full SHA for 0052158

Commits on Oct 5, 2017

• adding syntax highlighter for vim!

  pramodsu

  committed
  f2b5931

  Copy full SHA for f2b5931

Loading