isa-group/IDLReasoner

Issues

• 执行Test类时报错：com.google.common.util.concurrent.UncheckedExecutionException

  #39 opened 6 months ago by BigMasterGithub
  2

• Allow to specify names for mzn, dzn and idl files generated

  #30 opened 4 years ago by AML14
  0

• Operation "randomInvalidRequest"

  #29 opened 4 years ago by AML14
  0

• Separate model from data

  #27 opened 4 years ago by AML14
  1

• Express booleans as ints

  #28 opened 4 years ago by AML14
  0

• Create new randomRequest operation

  #26 opened 4 years ago by AML14
  0

• Use factory pattern for mapper

  #8 opened 4 years ago by AML14
  1

• Manage errors in analysis operations

  #21 opened 5 years ago by AML14
  0

• MiniZinc implementation differs from Designer

  #19 opened 5 years ago by AML14
  3

• Add string-int mapping when generating random request

  #25 opened 5 years ago by AML14
  0

• Fix errors related to each analysis operation

  #10 opened 5 years ago by AML14
  2

• randomRequest returns pSet parameters

  #22 opened 5 years ago by AML14
  0

• Implement mapVariables method in AbstractVariableMapper

  #24 opened 5 years ago by AML14
  0

• Incorrect behavior for isValidIDL when operation has no params nor dependencies

  #23 opened 5 years ago by AML14
  0

• Create new Mapper class

  #18 opened 5 years ago by AML14
  1

• Make prov-fixes branch the default one (master)

  #17 opened 5 years ago by AML14
  0

• Generate file extension dynamically (not always .mzn)

  #15 opened 5 years ago by AML14
  1

• Replace "idl_aux_files" with property in all project

  #14 opened 5 years ago by AML14
  2

• Divide Mapper into 2 classes

  #9 opened 5 years ago by AML14
  1

• Update minizinc reserved words

  #11 opened 5 years ago by AML14
  2

• minizinc.mzn file does not populate properly

  #7 opened 5 years ago by AML14
  2

• validRequest and validPartialRequest return NullPointerException

  #6 opened 5 years ago by AML14
  1

• isValidIDL returns NullPointerException

  #5 opened 5 years ago by AML14
  1

• Change OASlink to use relative path

  #2 opened 5 years ago by AML14
  1

• Do TODOs from the project

  #20 opened 5 years ago by AML14
  0

• Constraints file cannot be deleted after created by IDLMapper jar

  #13 opened 5 years ago by AML14
  1

• Recreate constraints file before executing any analysis operation

  #12 opened 5 years ago by AML14
  1

• isFalseOptional returns incorrect output

  #4 opened 5 years ago by AML14
  1

• isDeadParameter returns incorrect output

  #3 opened 5 years ago by AML14
  1

• Files folder needs to be created automatically

  #1 opened 5 years ago by AML14
  1

• Fix domain of enum variables

  #16 opened 5 years ago by AML14
  0