• R/O
  • HTTP
  • SSH
  • HTTPS

List of commits

Tags
No Tags

Frequently used words (click to add to your profile)

javac++androidlinuxc#windowsobjective-ccocoa誰得qtpythonphprubygameguibathyscaphec計画中(planning stage)翻訳omegatframeworktwitterdomtestvb.netdirectxゲームエンジンbtronarduinopreviewer

IPODwBDD


RSS
Rev. Time Author
6a36386 2018-11-16 18:52:12 Tatsuhiro Tsuchiya

Create Abstract Syntax Tree for Constraints

d6cb6ac 2018-11-14 18:26:06 Tatsuhiro Tsuchiya

some (very) small changes

f9dde52 2018-08-07 15:56:51 Tatsuhiro Tsuchiya

# WARNING: head commit changed in the meantime
Correct some part of Parameter.java

4cc39bb 2018-08-03 16:58:01 Tatsuhiro Tsuchiya

Rework main. Create InputFileData.java. Change Inputer.java to
SeedReader.java

ea802af 2018-03-30 16:08:11 Tatsuhiro Tsuchiya

Added placeholder for variable ordering

99b8f66 2018-03-29 16:56:46 Tatsuhiro Tsuchiya

Temporarily stable version

7c46572 2018-03-29 07:20:20 Tatsuhiro Tsuchiya

Added print statements for debugging

ec1cc87 2018-03-28 15:26:48 Tatsuhiro Tsuchiya

Add randstar (off, on, empty) and verbose (0, 1, 2,...) options

88ac441 2018-01-26 14:38:06 Tatsuhiro Tsuchiya

Implemented Anding strategy

cdb5529 2018-01-24 18:26:05 Tatsuhiro Tsuchiya

ADD options for chandler. ConjConstraintHander is the class for naive
(BDD-intensive) implementation (only for comparison purposes)

573527d 2018-01-23 16:22:49 Tatsuhiro Tsuchiya

Forgot where I am. Push all things

888ff72 2017-10-13 16:48:31 Tatsuhiro Tsuchiya

[bug fixed] a big bug was fixed

fixed a critical bug

cf83fde 2017-10-13 14:16:20 Tatsuhiro Tsuchiya

[bug fix] a big bug fixed

A validity check was missing.

106b1b5 2017-09-28 18:48:32 Tatsuhiro Tsuchiya

[add] traslator from XML to text

Translator from ACTS's XML format to CIT-BACH/ACTS text formats
Buggy

87bddda 2017-09-27 17:51:45 Tatsuhiro Tsuchiya

Merge remote-tracking branch 'origin/master'

Conflicts:
src/v1/IPOG.java

75c8365 2017-09-27 17:27:58 Tatsuhiro Tsuchiya

[Correct] Sort parameters

Sort paramters in original order

5645887 2017-09-27 15:33:25 Tatsuhiro Tsuchiya

[modify] samples

Modified input samples

4f0838b 2017-07-18 15:35:20 t-tutiya

just make sure the code base is updated

70115bd 2017-07-18 15:25:30 t-tutiya

Just make sure the code is updated

46b3ca0 2017-05-25 17:48:31 t-tutiya

Use random number for tie-breaking
TO DO: don't care value should be changed in horizontal growth so as to
maximize the number of newly covered tuples

2331dfc 2017-05-23 18:00:13 t-tutiya

Almost done. Need to introduce some asymmetry for tie-breaking.

eb6db62 2017-05-22 18:08:42 t-tutiya

still buggy

d1bd46a 2017-05-22 16:29:05 t-tutiya

Delete greedy part

65cccc5 2017-05-22 15:35:15 t-tutiya

Precomputation for vertical growth

c3a15d0 2017-05-18 13:34:58 t-tutiya

Done horizontal growth

2e04409 2017-05-18 09:01:53 t-tutiya

add IPOG.java

8596e63 2017-05-17 09:07:55 t-tutiya

Made part of a skelton where IPOG runs

73ca751 2017-05-15 18:40:08 t-tutiya

sort factors

694443e 2017-05-15 16:51:25 t-tutiya

I have copied the CIT-bach project.

dfb9b32 2016-03-24 14:24:11 t-tutiya

Version 1.10
- Support arithmetic comparators: ===, !==, <, >, <=, >=.
- Memory usage reduction in BDD construction