Skip to content

Commit

Permalink
refactor(ocaml): refactoring ocaml formula
Browse files Browse the repository at this point in the history
  • Loading branch information
@henrylee97
henrylee97 committed Nov 9, 2023
1 parent 7ae3b3f commit ccdc49f
Show file tree
Hide file tree
Showing 502 changed files with 4,065 additions and 100 deletions.
2 changes: 2 additions & 0 deletions OCaml/formula-1/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/formula-1/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/formula/bugs/bug_1/bug.ml → OCaml/formula-1/buggy/src.ml
View file
File renamed without changes.
0 functional/OCaml/formula/src/testcases → OCaml/formula-1/buggy/testcases
View file
File renamed without changes.
12 changes: 12 additions & 0 deletions OCaml/formula-1/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "formula-1",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/formula-10/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/formula-10/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/formula/bugs/bug_10/bug.ml → OCaml/formula-10/buggy/src.ml
View file
File renamed without changes.
20 changes: 20 additions & 0 deletions OCaml/formula-10/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
Imply (Not False,Not False) => true;
Imply (Not False,AndAlso (True,False)) => false;
Imply (False, False) => true;
Equal (Minus (Num 5,Num 2),Num 3) => true;
Not (Not (Not (Not (Imply (True, True))))) => true;
AndAlso (OrElse(True, False), Not (Imply (True, False))) => true;
Not (Imply (AndAlso (False, True), OrElse (False, False))) => false;
Equal (Plus (Minus (Num 4, Num 5), Minus (Num 1, Num (-1))), Plus (Minus (Num 3, Num (-5)), Plus (Num 4, Num 5))) => false;
OrElse (Equal (Minus (Num 3, Num 4), Plus (Num 3, Num 4)), AndAlso (Not (True), True)) => false;
AndAlso (AndAlso(True, True), AndAlso (Not (AndAlso (True, False)), Not (OrElse (False, False)))) => true;
OrElse (True, True) => true;
OrElse (True, Not True) => true;
Equal (Num 1, Plus (Num 0, Num 1)) => true;
AndAlso ((True, Not (True))) => false;
OrElse ((False, Not (False))) => true;
Imply (False, True) => true;
Not (Not (Not (True))) => false;
Not (AndAlso ((True, Not (False)))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/formula-10/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "formula-1",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/formula-100/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/formula-100/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/formula/bugs/bug_100/bug.ml → OCaml/formula-100/buggy/src.ml
View file
File renamed without changes.
20 changes: 20 additions & 0 deletions OCaml/formula-100/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
Imply (Not False,Not False) => true;
Imply (Not False,AndAlso (True,False)) => false;
Imply (False, False) => true;
Equal (Minus (Num 5,Num 2),Num 3) => true;
Not (Not (Not (Not (Imply (True, True))))) => true;
AndAlso (OrElse(True, False), Not (Imply (True, False))) => true;
Not (Imply (AndAlso (False, True), OrElse (False, False))) => false;
Equal (Plus (Minus (Num 4, Num 5), Minus (Num 1, Num (-1))), Plus (Minus (Num 3, Num (-5)), Plus (Num 4, Num 5))) => false;
OrElse (Equal (Minus (Num 3, Num 4), Plus (Num 3, Num 4)), AndAlso (Not (True), True)) => false;
AndAlso (AndAlso(True, True), AndAlso (Not (AndAlso (True, False)), Not (OrElse (False, False)))) => true;
OrElse (True, True) => true;
OrElse (True, Not True) => true;
Equal (Num 1, Plus (Num 0, Num 1)) => true;
AndAlso ((True, Not (True))) => false;
OrElse ((False, Not (False))) => true;
Imply (False, True) => true;
Not (Not (Not (True))) => false;
Not (AndAlso ((True, Not (False)))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/formula-100/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "formula-1",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/formula-11/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/formula-11/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/formula/bugs/bug_11/bug.ml → OCaml/formula-11/buggy/src.ml
View file
File renamed without changes.
20 changes: 20 additions & 0 deletions OCaml/formula-11/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
Imply (Not False,Not False) => true;
Imply (Not False,AndAlso (True,False)) => false;
Imply (False, False) => true;
Equal (Minus (Num 5,Num 2),Num 3) => true;
Not (Not (Not (Not (Imply (True, True))))) => true;
AndAlso (OrElse(True, False), Not (Imply (True, False))) => true;
Not (Imply (AndAlso (False, True), OrElse (False, False))) => false;
Equal (Plus (Minus (Num 4, Num 5), Minus (Num 1, Num (-1))), Plus (Minus (Num 3, Num (-5)), Plus (Num 4, Num 5))) => false;
OrElse (Equal (Minus (Num 3, Num 4), Plus (Num 3, Num 4)), AndAlso (Not (True), True)) => false;
AndAlso (AndAlso(True, True), AndAlso (Not (AndAlso (True, False)), Not (OrElse (False, False)))) => true;
OrElse (True, True) => true;
OrElse (True, Not True) => true;
Equal (Num 1, Plus (Num 0, Num 1)) => true;
AndAlso ((True, Not (True))) => false;
OrElse ((False, Not (False))) => true;
Imply (False, True) => true;
Not (Not (Not (True))) => false;
Not (AndAlso ((True, Not (False)))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/formula-11/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "formula-1",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/formula-12/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/formula-12/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/formula/bugs/bug_12/bug.ml → OCaml/formula-12/buggy/src.ml
View file
File renamed without changes.
20 changes: 20 additions & 0 deletions OCaml/formula-12/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
Imply (Not False,Not False) => true;
Imply (Not False,AndAlso (True,False)) => false;
Imply (False, False) => true;
Equal (Minus (Num 5,Num 2),Num 3) => true;
Not (Not (Not (Not (Imply (True, True))))) => true;
AndAlso (OrElse(True, False), Not (Imply (True, False))) => true;
Not (Imply (AndAlso (False, True), OrElse (False, False))) => false;
Equal (Plus (Minus (Num 4, Num 5), Minus (Num 1, Num (-1))), Plus (Minus (Num 3, Num (-5)), Plus (Num 4, Num 5))) => false;
OrElse (Equal (Minus (Num 3, Num 4), Plus (Num 3, Num 4)), AndAlso (Not (True), True)) => false;
AndAlso (AndAlso(True, True), AndAlso (Not (AndAlso (True, False)), Not (OrElse (False, False)))) => true;
OrElse (True, True) => true;
OrElse (True, Not True) => true;
Equal (Num 1, Plus (Num 0, Num 1)) => true;
AndAlso ((True, Not (True))) => false;
OrElse ((False, Not (False))) => true;
Imply (False, True) => true;
Not (Not (Not (True))) => false;
Not (AndAlso ((True, Not (False)))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/formula-12/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "formula-1",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/formula-13/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/formula-13/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/formula/bugs/bug_13/bug.ml → OCaml/formula-13/buggy/src.ml
View file
File renamed without changes.
20 changes: 20 additions & 0 deletions OCaml/formula-13/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
Imply (Not False,Not False) => true;
Imply (Not False,AndAlso (True,False)) => false;
Imply (False, False) => true;
Equal (Minus (Num 5,Num 2),Num 3) => true;
Not (Not (Not (Not (Imply (True, True))))) => true;
AndAlso (OrElse(True, False), Not (Imply (True, False))) => true;
Not (Imply (AndAlso (False, True), OrElse (False, False))) => false;
Equal (Plus (Minus (Num 4, Num 5), Minus (Num 1, Num (-1))), Plus (Minus (Num 3, Num (-5)), Plus (Num 4, Num 5))) => false;
OrElse (Equal (Minus (Num 3, Num 4), Plus (Num 3, Num 4)), AndAlso (Not (True), True)) => false;
AndAlso (AndAlso(True, True), AndAlso (Not (AndAlso (True, False)), Not (OrElse (False, False)))) => true;
OrElse (True, True) => true;
OrElse (True, Not True) => true;
Equal (Num 1, Plus (Num 0, Num 1)) => true;
AndAlso ((True, Not (True))) => false;
OrElse ((False, Not (False))) => true;
Imply (False, True) => true;
Not (Not (Not (True))) => false;
Not (AndAlso ((True, Not (False)))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/formula-13/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "formula-1",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/formula-14/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/formula-14/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/formula/bugs/bug_14/bug.ml → OCaml/formula-14/buggy/src.ml
View file
File renamed without changes.
20 changes: 20 additions & 0 deletions OCaml/formula-14/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
Imply (Not False,Not False) => true;
Imply (Not False,AndAlso (True,False)) => false;
Imply (False, False) => true;
Equal (Minus (Num 5,Num 2),Num 3) => true;
Not (Not (Not (Not (Imply (True, True))))) => true;
AndAlso (OrElse(True, False), Not (Imply (True, False))) => true;
Not (Imply (AndAlso (False, True), OrElse (False, False))) => false;
Equal (Plus (Minus (Num 4, Num 5), Minus (Num 1, Num (-1))), Plus (Minus (Num 3, Num (-5)), Plus (Num 4, Num 5))) => false;
OrElse (Equal (Minus (Num 3, Num 4), Plus (Num 3, Num 4)), AndAlso (Not (True), True)) => false;
AndAlso (AndAlso(True, True), AndAlso (Not (AndAlso (True, False)), Not (OrElse (False, False)))) => true;
OrElse (True, True) => true;
OrElse (True, Not True) => true;
Equal (Num 1, Plus (Num 0, Num 1)) => true;
AndAlso ((True, Not (True))) => false;
OrElse ((False, Not (False))) => true;
Imply (False, True) => true;
Not (Not (Not (True))) => false;
Not (AndAlso ((True, Not (False)))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/formula-14/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "formula-1",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/formula-15/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/formula-15/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/formula/bugs/bug_15/bug.ml → OCaml/formula-15/buggy/src.ml
View file
File renamed without changes.
20 changes: 20 additions & 0 deletions OCaml/formula-15/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
Imply (Not False,Not False) => true;
Imply (Not False,AndAlso (True,False)) => false;
Imply (False, False) => true;
Equal (Minus (Num 5,Num 2),Num 3) => true;
Not (Not (Not (Not (Imply (True, True))))) => true;
AndAlso (OrElse(True, False), Not (Imply (True, False))) => true;
Not (Imply (AndAlso (False, True), OrElse (False, False))) => false;
Equal (Plus (Minus (Num 4, Num 5), Minus (Num 1, Num (-1))), Plus (Minus (Num 3, Num (-5)), Plus (Num 4, Num 5))) => false;
OrElse (Equal (Minus (Num 3, Num 4), Plus (Num 3, Num 4)), AndAlso (Not (True), True)) => false;
AndAlso (AndAlso(True, True), AndAlso (Not (AndAlso (True, False)), Not (OrElse (False, False)))) => true;
OrElse (True, True) => true;
OrElse (True, Not True) => true;
Equal (Num 1, Plus (Num 0, Num 1)) => true;
AndAlso ((True, Not (True))) => false;
OrElse ((False, Not (False))) => true;
Imply (False, True) => true;
Not (Not (Not (True))) => false;
Not (AndAlso ((True, Not (False)))) => false;
}
12 changes: 12 additions & 0 deletions OCaml/formula-15/metadata.json
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
{
"language": "ocaml",
"id": "formula-1",

"buggyPath": "buggy",
"referencePath": null,

"buildCommand": "ocamlc src.ml",
"testCommand": null,

"categories": ["functional"]
}
2 changes: 2 additions & 0 deletions OCaml/formula-16/.dockerignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
.dockerignore
Dockerfile
6 changes: 6 additions & 0 deletions OCaml/formula-16/Dockerfile
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
FROM ghcr.io/sambyeol/ocaml-devcontainer:4.14.1-debian-root

USER root
RUN mkdir -p /workspace
WORKDIR /workspace
COPY . /workspace
0 functional/OCaml/formula/bugs/bug_16/bug.ml → OCaml/formula-16/buggy/src.ml
View file
File renamed without changes.
20 changes: 20 additions & 0 deletions OCaml/formula-16/buggy/testcases
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,20 @@
{
Imply (Not False,Not False) => true;
Imply (Not False,AndAlso (True,False)) => false;
Imply (False, False) => true;
Equal (Minus (Num 5,Num 2),Num 3) => true;
Not (Not (Not (Not (Imply (True, True))))) => true;
AndAlso (OrElse(True, False), Not (Imply (True, False))) => true;
Not (Imply (AndAlso (False, True), OrElse (False, False))) => false;
Equal (Plus (Minus (Num 4, Num 5), Minus (Num 1, Num (-1))), Plus (Minus (Num 3, Num (-5)), Plus (Num 4, Num 5))) => false;
OrElse (Equal (Minus (Num 3, Num 4), Plus (Num 3, Num 4)), AndAlso (Not (True), True)) => false;
AndAlso (AndAlso(True, True), AndAlso (Not (AndAlso (True, False)), Not (OrElse (False, False)))) => true;
OrElse (True, True) => true;
OrElse (True, Not True) => true;
Equal (Num 1, Plus (Num 0, Num 1)) => true;
AndAlso ((True, Not (True))) => false;
OrElse ((False, Not (False))) => true;
Imply (False, True) => true;
Not (Not (Not (True))) => false;
Not (AndAlso ((True, Not (False)))) => false;
}
Loading

0 comments on commit ccdc49f

Please sign in to comment.