Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit history

Commits on Oct 18, 2020

• Enable building of Qt online-help in gui.pro (#2851)

  Show description for fa84b30
  c72578

  authored
  fa84b30View commit details

  Copy full SHA for fa84b30

  View code at this pointBrowse repository at this point

Commits on Sep 13, 2020

• gui.pro: disable precompiled headers for older VS versions

  firewave

  committed
  57201cfView commit details

  Copy full SHA for 57201cf

  View code at this pointBrowse repository at this point

• added precompiled header for qmake

  firewave

  committed
  56c4546View commit details

  Copy full SHA for 56c4546

  View code at this pointBrowse repository at this point

• gui.pro: aligned qmake warnings with make ones

  firewave

  committed
  be45abeView commit details

  Copy full SHA for be45abe

  View code at this pointBrowse repository at this point

Commits on Aug 28, 2020

• windows installer: another attempt to make help work. the 'contents' are shown now but for some reason the 'index' is not.

  danmar

  committed
  262d37fView commit details

  Copy full SHA for 262d37f

  View code at this pointBrowse repository at this point

Commits on Aug 24, 2020

• Variable contracts

  danmar

  committed
  6277eecView commit details

  Copy full SHA for 6277eec

  View code at this pointBrowse repository at this point

Commits on Aug 1, 2020

• GUI: Try to reuse Qt Assistant to show help

  danmar

  committed
  14dfa03View commit details

  Copy full SHA for 14dfa03

  View code at this pointBrowse repository at this point

Commits on Jul 20, 2020

• Quick fix for Travis problems. Skip building gui online-help.

  danmar

  committed
  d7f9dc2View commit details

  Copy full SHA for d7f9dc2

  View code at this pointBrowse repository at this point

• gui.pro: build help

  danmar

  committed
  65742b9View commit details

  Copy full SHA for 65742b9

  View code at this pointBrowse repository at this point

• GUI: Add online help

  danmar

  committed
  0924103View commit details

  Copy full SHA for 0924103

  View code at this pointBrowse repository at this point

Commits on Apr 27, 2020

• GUI: Try to improve usability for function contracts

  danmar

  committed
  dae009cView commit details

  Copy full SHA for dae009c

  View code at this pointBrowse repository at this point

Commits on Feb 11, 2020

• compiling; you can put z3 files in externals/z3

  danmar

  committed
  0bf9858View commit details

  Copy full SHA for 0bf9858

  View code at this pointBrowse repository at this point

Commits on Feb 10, 2020

• appveyor: download and install z3 so the gui can be built

  danmar

  committed
  125c483View commit details

  Copy full SHA for 125c483

  View code at this pointBrowse repository at this point

Commits on Feb 4, 2020

• GUI: Simple first hack to allow bughunting in the GUI

  danmar

  committed
  25b5304View commit details

  Copy full SHA for 25b5304

  View code at this pointBrowse repository at this point

Commits on Jul 23, 2019

• gui.pro: added -Wno-deprecated-declarations

  danmar

  committed
  8f9912dView commit details

  Copy full SHA for 8f9912d

  View code at this pointBrowse repository at this point

Commits on Jun 28, 2019

• Revert "GUI: Show information label if Cppcheck is outdated"

  Show description for 0ab3d07
  danmar

  committed
  0ab3d07View commit details

  Copy full SHA for 0ab3d07

  View code at this pointBrowse repository at this point

• GUI: Show information label if Cppcheck is outdated

  danmar

  committed
  5f759e8View commit details

  Copy full SHA for 5f759e8

  View code at this pointBrowse repository at this point

Commits on Jun 23, 2019

• Implement User Selectable Code Editor Style in cppcheck-gui (#1913)

  Show description for 0d76d07
  

  scottfurry

  authored and

  danmar

  committed
  0d76d07View commit details

  Copy full SHA for 0d76d07

  View code at this pointBrowse repository at this point

Commits on Jun 8, 2019

• CodeEditor Widget Styling (#1874)

  Show description for 32f4549
  

  scottfurry

  authored and

  danmar

  committed
  32f4549View commit details

  Copy full SHA for 32f4549

  View code at this pointBrowse repository at this point

Commits on Apr 9, 2018

• Suppressions: New extensible Suppressions xml format that allow more attributes. To start with it also allows symbolName.

  danmar

  committed
  a090614View commit details

  Copy full SHA for a090614

  View code at this pointBrowse repository at this point

Commits on Feb 17, 2018

• GUI: Added code editor for quick inspection of bugs

  danmar

  committed
  66c275eView commit details

  Copy full SHA for 66c275e

  View code at this pointBrowse repository at this point

Commits on Aug 19, 2017

• Fixed #8169 (GUI: Show checking log in mainwindow)

  danmar

  committed
  f6184bbView commit details

  Copy full SHA for f6184bb

  View code at this pointBrowse repository at this point

Commits on Aug 13, 2017

• GUI: Remove support for Qt4 in gui.pro

  

  rudolfgrauberger

  authored and

  danmar

  committed
  4bde6f7View commit details

  Copy full SHA for 4bde6f7

  View code at this pointBrowse repository at this point

Commits on Aug 9, 2017

• GUI: Add a simple graph in the statistics dialog

  danmar

  committed
  c1b0a07View commit details

  Copy full SHA for c1b0a07

  View code at this pointBrowse repository at this point

Commits on Aug 3, 2017

• gui: fix compiler selection if CXX is empty

  matthiaskrgr

  committed
  ef80abaView commit details

  Copy full SHA for ef80aba

  View code at this pointBrowse repository at this point

• gui: get QMAKE_CXX from CXX env var of system.

  matthiaskrgr

  committed
  25a19b5View commit details

  Copy full SHA for 25a19b5

  View code at this pointBrowse repository at this point

Commits on Jul 31, 2017

• GUI: Remove Project class

  danmar

  committed
  037fc6eView commit details

  Copy full SHA for 037fc6e

  View code at this pointBrowse repository at this point

Commits on Jul 29, 2017

• GUI: Removed XML format version 1

  PKEuS

  committed
  2aa1523View commit details

  Copy full SHA for 2aa1523

  View code at this pointBrowse repository at this point

Commits on Nov 19, 2016

• GUI: rename main.ui to mainwindow.ui

  danmar

  committed
  93fc489View commit details

  Copy full SHA for 93fc489

  View code at this pointBrowse repository at this point

• GUI: Renamed projectfile.ui to projectfiledialog.ui. moved some code from project.cpp to projectfiledialog.cpp

  danmar

  committed
  ad1b336View commit details

  Copy full SHA for ad1b336

  View code at this pointBrowse repository at this point

Commits on Jan 31, 2016

• Improved flags in gui.pro:

  Show description for c31f7c7
  PKEuS

  committed
  c31f7c7View commit details

  Copy full SHA for c31f7c7

  View code at this pointBrowse repository at this point

Commits on Jan 8, 2016

• Fixed #7275 - Make GUI tests buildable

  Show description for e92bbf6
  

  Aleksandr Pikalev

  authored and

  danmar

  committed
  e92bbf6View commit details

  Copy full SHA for e92bbf6

  View code at this pointBrowse repository at this point

Commits on Dec 7, 2015

• GUI: Fixed compiler warnings

  

  nemaakhilesh

  authored and

  danmar

  committed
  ca3c19cView commit details

  Copy full SHA for ca3c19c

  View code at this pointBrowse repository at this point

Commits on Sep 5, 2015

• GUI: rewrote library dialog xml input/output

  danmar

  committed
  40bd3deView commit details

  Copy full SHA for 40bd3de

  View code at this pointBrowse repository at this point

Commits on Sep 4, 2015

• GUI: Readd library editor

  danmar

  committed
  f5c6561View commit details

  Copy full SHA for f5c6561

  View code at this pointBrowse repository at this point