Commits

Breadcrumbs

History for

ondevelop

User selector

All users

All time

Commit History

Commits on Oct 20, 2025

• Use operator==(exprt, bool)

  Show description for f721429
  tautschnig

  committed
  f721429

  Copy full SHA for f721429

Commits on Nov 9, 2023

• [REFACTOR] Refactor call sites of `string_constantt::get_value` and `string_constantt::set_value`.

  Show description for db61a6a
  NlightNFotis

  committed
  db61a6a

  Copy full SHA for db61a6a

Commits on May 6, 2021

• Remove unnecessary includes

  Show description for 450845d
  tautschnig

  committed
  450845d

  Copy full SHA for 450845d

Commits on Dec 21, 2020

• _Static_assert failures should be reported in the front-end

  Show description for d80f750
  tautschnig

  committed
  d80f750

  Copy full SHA for d80f750

Commits on Feb 7, 2019

• Replace make_typecast by typecast_exprt or typecast_exprt::conditional_cast

  Show description for ebaacea
  tautschnig

  committed
  ebaacea

  Copy full SHA for ebaacea

Commits on Dec 18, 2018

• Use string_constantt's API

  Show description for 72a025a
  tautschnig

  committed
  72a025a

  Copy full SHA for 72a025a

Commits on Jul 16, 2017

• Fix include order in cpp

  reuk

  committed
  1ccd30e

  Copy full SHA for 1ccd30e

Commits on Jun 6, 2017

• Reformat src

  reuk

  committed
  e9349f8

  Copy full SHA for e9349f8

Commits on Jul 20, 2016

• further work towards new messaging API

  kroening

  committed
  95b18a1

  Copy full SHA for 95b18a1

Commits on Dec 31, 2014

• error message for static assertions

  Show description for 2f8d129
  

  kroening

  committed
  2f8d129

  Copy full SHA for 2f8d129

Commits on Apr 13, 2013

• avoid -I ../util

  Show description for 2f61175
  

  kroening

  committed
  2f61175

  Copy full SHA for 2f61175

Commits on Nov 3, 2012

• support for static_assert()

  Show description for b2fb0f3
  

  kroening

  committed
  b2fb0f3

  Copy full SHA for b2fb0f3

Loading