Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 20, 2018

• Unit tests for sparse_arrayt

  romainbrenguier

  committed
  654418a

  Copy full SHA for 654418a

Commits on Jan 26, 2018

• Adapt unit tests for splitted axiom vectors

  romainbrenguier

  committed
  51d86f5

  Copy full SHA for 51d86f5

Commits on Jan 11, 2018

• Unit test for string symbol resolution

  romainbrenguier

  committed
  23c3561

  Copy full SHA for 23c3561

Commits on Jan 10, 2018

• Add unit test for has_subtype

  romainbrenguier

  committed
  954060e

  Copy full SHA for 954060e

Commits on Nov 2, 2017

• Initialize architecture in `instantiate_not_contains` unit test

  Show description for 35096b8
  

  Matthias Güdemann

  committed
  35096b8

  Copy full SHA for 35096b8

Commits on Oct 28, 2017

• Unit test: adapte instantiate_nc for new signature

  Show description for 369dd62
  romainbrenguier

  committed
  369dd62

  Copy full SHA for 369dd62

• Complete string solver rework

  Show description for edf7057
  romainbrenguier

  committed
  edf7057

  Copy full SHA for edf7057

• Unit tests for union_find_replacet

  romainbrenguier

  committed
  9ea2eda

  Copy full SHA for 9ea2eda

Commits on Oct 17, 2017

• Merge pull request #1447 from NathanJPhillips/bugfix/calculate_max_string_length-unit-test

  Show description for 47c2a51
  

  Thomas Kiley

  authored
  47c2a51

  Copy full SHA for 47c2a51

Commits on Oct 16, 2017

• Fixed calculate_max_string_length unit test to work in CLion

  NathanJPhillips

  committed
  11c8aba

  Copy full SHA for 11c8aba

Commits on Oct 10, 2017

• Add new testing-utils library

  reuk

  committed
  aacd436

  Copy full SHA for aacd436

Commits on Sep 22, 2017

• TG-592 Implemented the correct instantiation procedure for not contains constraints

  Show description for e4e2b10
  jasigal

  committed
  e4e2b10

  Copy full SHA for e4e2b10

Commits on Sep 19, 2017

• Fix unit test build

  

  Lukasz A.J. Wrona

  committed
  b544a4b

  Copy full SHA for b544a4b

Commits on Sep 8, 2017

• remove spurious references to langapi/language_ui.h

  

  Daniel Kroening

  committed
  8c4ff7b

  Copy full SHA for 8c4ff7b

Commits on Aug 30, 2017

• Fix linter errors

  

  Lukasz A.J. Wrona

  committed
  83a29dc

  Copy full SHA for 83a29dc

• Don't pass language_uit::uit as a pointer

  

  Lukasz A.J. Wrona

  committed
  4087187

  Copy full SHA for 4087187

• Update unit tests with new constructors

  

  Lukasz A.J. Wrona

  committed
  1282d03

  Copy full SHA for 1282d03

• constraint generator const namespace

  

  Lukasz A.J. Wrona

  committed
  16a0a34

  Copy full SHA for 16a0a34

Commits on Aug 29, 2017

• Adding unit test for concretize_arrays_in_expression

  romainbrenguier

  committed
  8f51b01

  Copy full SHA for 8f51b01

Commits on Aug 21, 2017

• Tests for Long.toString and related functions

  Show description for 87007b0
  

  Owen Jones

  committed
  87007b0

  Copy full SHA for 87007b0

Commits on Aug 9, 2017

• Unit test for substitute_array_list

  romainbrenguier

  committed
  c38549f

  Copy full SHA for c38549f

Commits on Aug 8, 2017

• Added unit tests for `instantiate_not_contains`

  jasigal

  committed
  f5ebce0

  Copy full SHA for f5ebce0

Commits on Aug 4, 2017

• Minor improvements to unit tests

  

  Owen Jones

  committed
  0a0a357

  Copy full SHA for 0a0a357

• Address @smowton's comments

  Show description for bc3405b
  

  Owen Jones

  committed
  bc3405b

  Copy full SHA for bc3405b

• Calculate max string length for speed

  Show description for 4db3fbd
  

  Owen Jones

  committed
  4db3fbd

  Copy full SHA for 4db3fbd

• Integer.toString(int i, int radix) now works

  Show description for db4f90d
  

  Owen Jones

  committed
  db4f90d

  Copy full SHA for db4f90d

Commits on Jul 27, 2017

• Updated two unit tests

  

  Owen Jones

  committed
  4cfbfb5

  Copy full SHA for 4cfbfb5

Commits on Jul 26, 2017

• Fix formatting spotted by the linter

  

  Owen Jones

  committed
  3a13476

  Copy full SHA for 3a13476

Commits on Jul 3, 2017

• add_axioms_for_parse_int can take optional radix

  Show description for 4e5d8cc
  

  Owen Jones

  committed
  4e5d8cc

  Copy full SHA for 4e5d8cc

• Create is_digit_with_radix()

  Show description for 50732ee
  

  Owen Jones

  committed
  50732ee

  Copy full SHA for 50732ee

Loading