[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-project/csmith] f5e489: Add Class TypeConfig for extend type setting

To: csmith-commits@flux.utah.edu
Subject: [csmith-project/csmith] f5e489: Add Class TypeConfig for extend type setting
From: Xuejun Yang <nitsnow@gmail.com>
Date: Tue, 08 Sep 2015 10:18:48 -0700
Dkim-signature: a=rsa-sha256; v=1; c=relaxed/relaxed; d=github.com; q=dns/txt; s=mailo; t=1441732729; h=Content-Transfer-Encoding: Content-Type: Mime-Version: Subject: Message-ID: To: Reply-To: From: Date: Sender; bh=SCqLpi9wFjhcdvDSwVfEWl5/Sd29/qTZilJdmwfKVLc=; b=DOa89HUt7FFtq1FPOzHplo4hgrbh9D4AtUDQsKCG10diT0giM6dkri7zpjFxw6nZNPadhbxj J/oFYvvHGivvNmXl0s/9GlnG+pGL+fisGO9mSnRiHV+Hf5/+40Zl0lEU6pLi+UjZ/7CVCAVN p4V+53/RycryoR+6l/CfneEHrLo=
Domainkey-signature: a=rsa-sha1; c=nofws; d=github.com; s=mailo; q=dns; h=Sender: Date: From: Reply-To: To: Message-ID: Subject: Mime-Version: Content-Type: Content-Transfer-Encoding; b=vDzqktQYuMtEduQG7k5MLokG8CV9hkFnH9aQ+j7Y1B+Ki8F3p3CjjcpYaSY1ts6buqLI80 snpiorbRvWlFuFej2XZuRxZgrwUD+YkX+ts6L537C2+IY0n0SbgAXGn97zLijm0ahaP4RKF8 Xue0EizTPZ37q4yNxnQtdZNnI6L84=
List-archive: </listarchives/csmith-commits>
List-help: <mailto:csmith-commits-request@flux.utah.edu?subject=help>
List-id: Csmith Commit-Message Mailing List <csmith-commits.flux.utah.edu>
List-post: <mailto:csmith-commits@flux.utah.edu>
List-subscribe: <http://www.flux.utah.edu/mailman/listinfo/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=subscribe>
List-unsubscribe: <http://www.flux.utah.edu/mailman/options/csmith-commits>, <mailto:csmith-commits-request@flux.utah.edu?subject=unsubscribe>
Reply-to: Xuejun Yang <nitsnow@gmail.com>
Sender: nitsnow=gmail.com@github.com

  Branch: refs/heads/csmith-extendable
  Home:   https://github.com/csmith-project/csmith
  Commit: f5e4898a7abb68c01ebe80c2a2e545371741b89a
      https://github.com/csmith-project/csmith/commit/f5e4898a7abb68c01ebe80c2a2e545371741b89a
  Author: ZhuJunhua1104 <tom.Zhu@huawei.com>
  Date:   2015-09-07 (Mon, 07 Sep 2015)

  Changed paths:
    M src/Makefile.am
    M src/Makefile.in
    A src/TypeConfig.cpp
    A src/TypeConfig.h

  Log Message:
  -----------
  Add Class TypeConfig for extend type setting

Using tinyxml to parse extend type, type restriction,
type convert, and operator restriction with extend type.

Signed-off-by: ZhuJunhua1104 tom.Zhu@huawei.com


  Commit: 62386d5d4acbbb707fb493af7a3323da20dc1323
      https://github.com/csmith-project/csmith/commit/62386d5d4acbbb707fb493af7a3323da20dc1323
  Author: ZhuJunhua1104 <tom.Zhu@huawei.com>
  Date:   2015-09-08 (Tue, 08 Sep 2015)

  Changed paths:
    M src/AggregateType.cpp
    M src/BuiltinConfig.cpp
    M src/CGOptions.cpp
    M src/CGOptions.h
    M src/PointerType.cpp
    M src/RandomProgramGenerator.cpp
    M src/Type.cpp
    M src/Type.h
    M src/TypeConfig.cpp
    M src/TypeConfig.h

  Log Message:
  -----------
  Add Class TypeConfig for extend type setting

add extend type to AllTypes in class type, and using type convert
restriction in random_type_from_type

Signed-off-by: ZhuJunhua1104 tom.Zhu@huawei.com


  Commit: a6b565dba465bb2216cbda537b2f2fd3b7d3f5f3
      https://github.com/csmith-project/csmith/commit/a6b565dba465bb2216cbda537b2f2fd3b7d3f5f3
  Author: ZhuJunhua1104 <tom.Zhu@huawei.com>
  Date:   2015-09-08 (Tue, 08 Sep 2015)

  Changed paths:
    M src/AggregateType.cpp
    M src/AggregateType.h
    M src/ArrayVariable.cpp
    M src/Constant.cpp
    M src/Expression.cpp
    M src/ExpressionFuncall.cpp
    M src/Function.cpp
    M src/FunctionInvocation.cpp
    M src/FunctionInvocationBinary.cpp
    M src/FunctionInvocationBinary.h
    M src/FunctionInvocationUnary.cpp
    M src/FunctionInvocationUnary.h
    M src/Lhs.cpp
    M src/Parameter.cpp
    M src/PointerType.cpp
    M src/SafeOpFlags.cpp
    M src/SafeOpFlags.h
    M src/StatementAssign.cpp
    M src/StatementAssign.h
    M src/Variable.cpp
    M src/VariableSelector.cpp
    M src/VariableSelector.h

  Log Message:
  -----------
  Add type restrictions to csmith

According to the type config setting, add the type using
restrictions to methods, such as: choose_var, match etc.

Signed-off-by: ZhuJunhua1104 tom.Zhu@huawei.com


  Commit: 69dd6a0cc5795640216a541bc85ef25f391464fc
      https://github.com/csmith-project/csmith/commit/69dd6a0cc5795640216a541bc85ef25f391464fc
  Author: ZhuJunhua1104 <tom.Zhu@huawei.com>
  Date:   2015-09-08 (Tue, 08 Sep 2015)

  Changed paths:
    M src/csmith.vcxproj
    M testsuite/test0.c
    M testsuite/test1.c
    M testsuite/test10.c
    M testsuite/test11.c
    M testsuite/test12.c
    M testsuite/test13.c
    M testsuite/test14.c
    M testsuite/test15.c
    M testsuite/test16.c
    M testsuite/test17.c
    M testsuite/test18.c
    M testsuite/test19.c
    M testsuite/test2.c
    M testsuite/test20.c
    M testsuite/test21.c
    M testsuite/test22.c
    M testsuite/test23.c
    M testsuite/test24.c
    M testsuite/test25.c
    M testsuite/test26.c
    M testsuite/test27.c
    M testsuite/test28.c
    M testsuite/test29.c
    M testsuite/test3.c
    M testsuite/test30.c
    M testsuite/test31.c
    M testsuite/test32.c
    M testsuite/test33.c
    M testsuite/test34.c
    M testsuite/test35.c
    M testsuite/test36.c
    M testsuite/test37.c
    M testsuite/test38.c
    M testsuite/test39.c
    M testsuite/test4.c
    M testsuite/test40.c
    M testsuite/test41.c
    M testsuite/test42.c
    M testsuite/test43.c
    M testsuite/test44.c
    M testsuite/test45.c
    M testsuite/test46.c
    M testsuite/test47.c
    M testsuite/test48.c
    M testsuite/test49.c
    M testsuite/test5.c
    M testsuite/test50.c
    M testsuite/test51.c
    M testsuite/test53.c
    M testsuite/test54.c
    M testsuite/test55.c
    M testsuite/test56.c
    M testsuite/test57.c
    M testsuite/test58.c
    M testsuite/test59.c
    M testsuite/test6.c
    M testsuite/test60.c
    M testsuite/test61.c
    M testsuite/test62.c
    M testsuite/test63.c
    M testsuite/test64.c
    M testsuite/test65.c
    M testsuite/test66.c
    M testsuite/test67.c
    M testsuite/test68.c
    M testsuite/test69.c
    M testsuite/test7.c
    M testsuite/test70.c
    M testsuite/test71.c
    M testsuite/test72.c
    M testsuite/test73.c
    M testsuite/test74.c
    M testsuite/test75.c
    M testsuite/test76.c
    M testsuite/test77.c
    M testsuite/test78.c
    M testsuite/test79.c
    M testsuite/test8.c
    M testsuite/test80.c
    M testsuite/test81.c
    M testsuite/test82.c
    M testsuite/test83.c
    M testsuite/test84.c
    M testsuite/test85.c
    M testsuite/test86.c
    M testsuite/test87.c
    M testsuite/test88.c
    M testsuite/test89.c
    M testsuite/test9.c
    M testsuite/test90.c
    M testsuite/test91.c
    M testsuite/test92.c
    M testsuite/test93.c
    M testsuite/test94.c
    M testsuite/test95.c
    M testsuite/test96.c
    M testsuite/test97.c
    M testsuite/test98.c
    M testsuite/test99.c

  Log Message:
  -----------
  Add type restrictions to csmith

update the test cases and csmith.vcxproj

Signed-off-by: ZhuJunhua1104 tom.Zhu@huawei.com


  Commit: aa4838640b203d9c5245ffd6754513af00e63bb7
      https://github.com/csmith-project/csmith/commit/aa4838640b203d9c5245ffd6754513af00e63bb7
  Author: Xuejun Yang <nitsnow@gmail.com>
  Date:   2015-09-08 (Tue, 08 Sep 2015)

  Changed paths:
    M src/AggregateType.cpp
    M src/AggregateType.h
    M src/ArrayVariable.cpp
    M src/BuiltinConfig.cpp
    M src/CGOptions.cpp
    M src/CGOptions.h
    M src/Constant.cpp
    M src/Expression.cpp
    M src/ExpressionFuncall.cpp
    M src/Function.cpp
    M src/FunctionInvocation.cpp
    M src/FunctionInvocationBinary.cpp
    M src/FunctionInvocationBinary.h
    M src/FunctionInvocationUnary.cpp
    M src/FunctionInvocationUnary.h
    M src/Lhs.cpp
    M src/Makefile.am
    M src/Makefile.in
    M src/Parameter.cpp
    M src/PointerType.cpp
    M src/RandomProgramGenerator.cpp
    M src/SafeOpFlags.cpp
    M src/SafeOpFlags.h
    M src/StatementAssign.cpp
    M src/StatementAssign.h
    M src/Type.cpp
    M src/Type.h
    A src/TypeConfig.cpp
    A src/TypeConfig.h
    M src/Variable.cpp
    M src/VariableSelector.cpp
    M src/VariableSelector.h
    M src/csmith.vcxproj
    M testsuite/test0.c
    M testsuite/test1.c
    M testsuite/test10.c
    M testsuite/test11.c
    M testsuite/test12.c
    M testsuite/test13.c
    M testsuite/test14.c
    M testsuite/test15.c
    M testsuite/test16.c
    M testsuite/test17.c
    M testsuite/test18.c
    M testsuite/test19.c
    M testsuite/test2.c
    M testsuite/test20.c
    M testsuite/test21.c
    M testsuite/test22.c
    M testsuite/test23.c
    M testsuite/test24.c
    M testsuite/test25.c
    M testsuite/test26.c
    M testsuite/test27.c
    M testsuite/test28.c
    M testsuite/test29.c
    M testsuite/test3.c
    M testsuite/test30.c
    M testsuite/test31.c
    M testsuite/test32.c
    M testsuite/test33.c
    M testsuite/test34.c
    M testsuite/test35.c
    M testsuite/test36.c
    M testsuite/test37.c
    M testsuite/test38.c
    M testsuite/test39.c
    M testsuite/test4.c
    M testsuite/test40.c
    M testsuite/test41.c
    M testsuite/test42.c
    M testsuite/test43.c
    M testsuite/test44.c
    M testsuite/test45.c
    M testsuite/test46.c
    M testsuite/test47.c
    M testsuite/test48.c
    M testsuite/test49.c
    M testsuite/test5.c
    M testsuite/test50.c
    M testsuite/test51.c
    M testsuite/test53.c
    M testsuite/test54.c
    M testsuite/test55.c
    M testsuite/test56.c
    M testsuite/test57.c
    M testsuite/test58.c
    M testsuite/test59.c
    M testsuite/test6.c
    M testsuite/test60.c
    M testsuite/test61.c
    M testsuite/test62.c
    M testsuite/test63.c
    M testsuite/test64.c
    M testsuite/test65.c
    M testsuite/test66.c
    M testsuite/test67.c
    M testsuite/test68.c
    M testsuite/test69.c
    M testsuite/test7.c
    M testsuite/test70.c
    M testsuite/test71.c
    M testsuite/test72.c
    M testsuite/test73.c
    M testsuite/test74.c
    M testsuite/test75.c
    M testsuite/test76.c
    M testsuite/test77.c
    M testsuite/test78.c
    M testsuite/test79.c
    M testsuite/test8.c
    M testsuite/test80.c
    M testsuite/test81.c
    M testsuite/test82.c
    M testsuite/test83.c
    M testsuite/test84.c
    M testsuite/test85.c
    M testsuite/test86.c
    M testsuite/test87.c
    M testsuite/test88.c
    M testsuite/test89.c
    M testsuite/test9.c
    M testsuite/test90.c
    M testsuite/test91.c
    M testsuite/test92.c
    M testsuite/test93.c
    M testsuite/test94.c
    M testsuite/test95.c
    M testsuite/test96.c
    M testsuite/test97.c
    M testsuite/test98.c
    M testsuite/test99.c

  Log Message:
  -----------
  Merge pull request #14 from ZhuJunhua1104/type_restriction

Type restriction


Compare: https://github.com/csmith-project/csmith/compare/2e9b9623645d...aa4838640b20

Prev by Date: [csmith-project/csmith] 831c79: Remove duplicate `#include "Lhs.h"'.
Next by Date: [csmith-project/csmith] cec5c4: removed duplicate header files
Previous by thread: [csmith-project/csmith] 831c79: Remove duplicate `#include "Lhs.h"'.
Next by thread: [csmith-project/csmith] cec5c4: removed duplicate header files
Index(es):
- Date
- Thread