Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add dimensionality check through a Newton runtime #590

Open
wants to merge 23 commits into
base: issue-644
Choose a base branch
from
Open

Add dimensionality check through a Newton runtime #590

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
23 commits
Select commit Hold shift + click to select a range
aa7effb
Dimensionality check pass inserts calls to runtime function in the ca…
blackgeorge-boom Apr 15, 2022
cdd42b8
Dimensionality check pass dumps transformed IR code to temporary file.
blackgeorge-boom Apr 15, 2022
9f08cd5
Added example with simple dimensionality check hook at runtime, along…
blackgeorge-boom Apr 15, 2022
d18786e
Added simple runtime check function for dimensionality check.
blackgeorge-boom Apr 15, 2022
d67b56e
Added simple example as target for dimensionality check.
blackgeorge-boom Apr 15, 2022
6f365cd
Added automatic path creation for the transformed IR file in the output.
blackgeorge-boom May 13, 2022
9cbcc33
Instrumented the IR by adding simple call to malloc.
blackgeorge-boom May 13, 2022
80e2b80
Merge branch 'master' into issue-586
blackgeorge-boom May 27, 2022
8226496
Added function to check if a PhysicsInfo is composite.
blackgeorge-boom Jun 6, 2022
71fcc75
Refactored output file name definition for modified IR.
blackgeorge-boom Jun 6, 2022
746951e
Added JSON serializing mechanism for source variable physics type inf…
blackgeorge-boom Jun 6, 2022
8fd2e2d
Merge branch 'issue-586' of github.com:phillipstanleymarbell/Noisy-la…
blackgeorge-boom Jun 6, 2022
b5b18fa
Draft runtime
KomaGR Jul 1, 2022
279754a
Removed version from llvm-dis tool.
blackgeorge-boom Jul 8, 2022
13e23fa
Converted some PhysicsType methods in camelCase.
blackgeorge-boom Jul 8, 2022
de736fb
Removed redundant LLVM Context variable.
blackgeorge-boom Jul 8, 2022
987e231
Fixed camelCase.
blackgeorge-boom Jul 8, 2022
fb5a085
Added call to newton runtime initialization.
blackgeorge-boom Jul 8, 2022
47ba21f
Add functions for products and quotients
KomaGR Jul 16, 2022
3003b87
Renamed argument types for instrumentation.
blackgeorge-boom Jul 26, 2022
b59743f
Added instrumentation for the runtime function `newtonInsert`.
blackgeorge-boom Jul 28, 2022
9194fcd
Added instrumentation for the runtime function `newtonCheckDimensions`.
blackgeorge-boom Jul 28, 2022
a11d742
Added call to runtime function `newtonInsert` for simple array access.
blackgeorge-boom Jul 28, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 2 additions & 1 deletion analysis/statistics/16d7754fb4a4cd69a1028da671ef704574b4e9d4.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@

changeset: 1218:16d7754fb4a4cd69a1028da671ef704574b4e9d4
char kNewtonVersion[] = "0.3-alpha- () (build 04-22-2022-10:[email protected]_64)";

char kNewtonVersion[] = "0.3-alpha-1218 (16d7754fb4a4cd69a1028da671ef704574b4e9d4) (build 04-15-2022-14:04-blackgeorge@blackgeorge-IdeaPad-L340-17IRH-Gaming-Linux-5.3.0-62-generic-x86_64)";

./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s

Expand Down
48 changes: 48 additions & 0 deletions analysis/statistics/1808151ae6b905cbe574df3ed2db14d13367609c.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@

changeset: 1227:1808151ae6b905cbe574df3ed2db14d13367609c
char kNewtonVersion[] = "0.3-alpha-1227 (1808151ae6b905cbe574df3ed2db14d13367609c) (build 06-06-2022-17:36-blackgeorge@blackgeorge-IdeaPad-L340-17IRH-Gaming-Linux-5.3.0-62-generic-x86_64)";

./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s

./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt

Informational Report:
---------------------
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...

Kernel 0 is a valid kernel:

1 1
-0.5 -0
1 0
0.5 0
0 -1
-0 -1


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)

Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)


Kernel 1 is a valid kernel:

1 0
-0.5 1
1 -2
0.5 -1
-0 -2
0 -2


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)

Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)




48 changes: 48 additions & 0 deletions analysis/statistics/279754a0b3665b3baee486d37e61ff6d0f6904e8.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@

changeset: 1247:279754a0b3665b3baee486d37e61ff6d0f6904e8
char kNewtonVersion[] = "0.3-alpha-1247 (279754a0b3665b3baee486d37e61ff6d0f6904e8) (build 07-08-2022-13:25-blackgeorge@blackgeorge-IdeaPad-L340-17IRH-Gaming-Linux-5.3.0-62-generic-x86_64)";

./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s

./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt

Informational Report:
---------------------
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...

Kernel 0 is a valid kernel:

1 1
-0.5 -0
1 0
0.5 0
0 -1
-0 -1


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)

Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)


Kernel 1 is a valid kernel:

1 0
-0.5 1
1 -2
0.5 -1
-0 -2
0 -2


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)

Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)




46 changes: 46 additions & 0 deletions analysis/statistics/2ed4676fadc4e25f48a265d7cf3887accde6cdb8.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,46 @@

changeset: 1216:2ed4676fadc4e25f48a265d7cf3887accde6cdb8
char kNewtonVersion[] = "0.3-alpha-1216 (2ed4676fadc4e25f48a265d7cf3887accde6cdb8) (build 03-17-2022-18:[email protected]_64)";
\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt

Informational Report:
---------------------
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...

Kernel 0 is a valid kernel:

1 1
-0.5 -0
1 0
0.5 0
0 -1
-0 -1


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)

Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)


Kernel 1 is a valid kernel:

1 0
-0.5 1
1 -2
0.5 -1
-0 -2
0 -2


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)

Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)




48 changes: 48 additions & 0 deletions analysis/statistics/8de02aa61d2056e16f8ba12999d7cce9f0d88f48.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@

changeset: 1226:8de02aa61d2056e16f8ba12999d7cce9f0d88f48
char kNewtonVersion[] = "0.3-alpha-1226 (8de02aa61d2056e16f8ba12999d7cce9f0d88f48) (build 06-06-2022-17:27-blackgeorge@blackgeorge-IdeaPad-L340-17IRH-Gaming-Linux-5.3.0-62-generic-x86_64)";

./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s

./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt

Informational Report:
---------------------
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...

Kernel 0 is a valid kernel:

1 1
-0.5 -0
1 0
0.5 0
0 -1
-0 -1


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)

Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)


Kernel 1 is a valid kernel:

1 0
-0.5 1
1 -2
0.5 -1
-0 -2
0 -2


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)

Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)




4 changes: 4 additions & 0 deletions analysis/statistics/8fd2e2ddb2eb4ccf0beb25c15dc26601b9c93c82.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@

changeset: 1245:8fd2e2ddb2eb4ccf0beb25c15dc26601b9c93c82
\n./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s
\n./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt
48 changes: 48 additions & 0 deletions analysis/statistics/9cbcc3328c03ef7c68f9a27da8d386b06dad905c.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@

changeset: 1225:9cbcc3328c03ef7c68f9a27da8d386b06dad905c
char kNewtonVersion[] = "0.3-alpha-1225 (9cbcc3328c03ef7c68f9a27da8d386b06dad905c) (build 06-06-2022-17:24-blackgeorge@blackgeorge-IdeaPad-L340-17IRH-Gaming-Linux-5.3.0-62-generic-x86_64)";

./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s

./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt

Informational Report:
---------------------
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...

Kernel 0 is a valid kernel:

1 1
-0.5 -0
1 0
0.5 0
0 -1
-0 -1


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)

Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)


Kernel 1 is a valid kernel:

1 0
-0.5 1
1 -2
0.5 -1
-0 -2
0 -2


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)

Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)




48 changes: 48 additions & 0 deletions analysis/statistics/9f08cd5b9ad7957b2561752f29e6af797d8aeabf.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@

changeset: 1221:9f08cd5b9ad7957b2561752f29e6af797d8aeabf
char kNewtonVersion[] = "0.3-alpha-1221 (9f08cd5b9ad7957b2561752f29e6af797d8aeabf) (build 04-15-2022-19:39-blackgeorge@blackgeorge-IdeaPad-L340-17IRH-Gaming-Linux-5.3.0-62-generic-x86_64)";

./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s

./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt

Informational Report:
---------------------
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...

Kernel 0 is a valid kernel:

1 1
-0.5 -0
1 0
0.5 0
0 -1
-0 -1


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)

Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)


Kernel 1 is a valid kernel:

1 0
-0.5 1
1 -2
0.5 -1
-0 -2
0 -2


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)

Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)




48 changes: 48 additions & 0 deletions analysis/statistics/aa7effbeb449550bc7e1863950dfa85bf8e5f42e.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,48 @@

changeset: 1219:aa7effbeb449550bc7e1863950dfa85bf8e5f42e
char kNewtonVersion[] = "0.3-alpha-1219 (aa7effbeb449550bc7e1863950dfa85bf8e5f42e) (build 04-15-2022-19:36-blackgeorge@blackgeorge-IdeaPad-L340-17IRH-Gaming-Linux-5.3.0-62-generic-x86_64)";

./src/noisy/noisy-linux-EN -O0 applications/noisy/helloWorld.n -s

./src/newton/newton-linux-EN -v 0 -eP applications/newton/invariants/ViolinWithTemperatureDependence-pigroups.nt

Informational Report:
---------------------
Invariant "ViolinWithTemperatureDependenceForPiGroups" has 2 unique kernels, each with 2 column(s)...

Kernel 0 is a valid kernel:

1 1
-0.5 -0
1 0
0.5 0
0 -1
-0 -1


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 0, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^( 0) P5^(-0)

Pi group 0, Pi 1 is: P0^(-0) P1^( 1) P2^( 0) P3^( 0) P4^(-1) P5^(-1)


Kernel 1 is a valid kernel:

1 0
-0.5 1
1 -2
0.5 -1
-0 -2
0 -2


The ordering of parameters is: P1 P0 P3 P2 P4 P5

Pi group 1, Pi 0 is: P0^(-0.5) P1^( 1) P2^(0.5) P3^( 1) P4^(-0) P5^( 0)

Pi group 1, Pi 1 is: P0^( 1) P1^( 0) P2^(-1) P3^(-2) P4^(-2) P5^(-2)




Loading