Page MenuHomePhabricator

Please use GitHub pull requests for new patches. Phabricator shutdown timeline

josemonsalve2 (Jose Manuel Monsalve Diaz)
User

Projects

User does not belong to any projects.

User Details

User Since
Aug 29 2017, 10:07 AM (316 w, 5 d)

Recent Activity

May 25 2023

josemonsalve2 added a comment to D150962: [OpenMP] Implement printing TDGs to dot files.

@Munesanz once you add that test case, I will land it.

May 25 2023, 8:01 AM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D150962: [OpenMP] Implement printing TDGs to dot files.

Ping.

May 25 2023, 7:04 AM · Restricted Project, Restricted Project

May 19 2023

josemonsalve2 added a comment to D150962: [OpenMP] Implement printing TDGs to dot files.

I think OMP_ prefix is reserved for environment variables defined by the spec, no? Or is this being added to the spec?

May 19 2023, 9:01 AM · Restricted Project, Restricted Project
josemonsalve2 added inline comments to D150962: [OpenMP] Implement printing TDGs to dot files.
May 19 2023, 6:49 AM · Restricted Project, Restricted Project

May 10 2023

josemonsalve2 added a comment to D146642: [OpenMP] Implement task record and replay mechanism.

Ping @jdoerfert @tianshilei1992

May 10 2023, 8:04 PM · Restricted Project, Restricted Project

Apr 20 2023

josemonsalve2 added a comment to D148178: [OpenMP][libomptarget] Improve plugin device info printing.

Other than the comment this looks good to me, cleaner than before. Thanks Kevin.

Apr 20 2023, 8:17 AM · Restricted Project, Restricted Project

Apr 3 2023

josemonsalve2 committed rG64549f0903e2: [OpenMP][5.1] Fix parallel masked is ignored #59939 (authored by randreshg).
[OpenMP][5.1] Fix parallel masked is ignored #59939
Apr 3 2023, 1:36 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 closed D143527: [OpenMP][5.1] Fix parallel masked is ignored #59939.
Apr 3 2023, 1:36 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 updated the summary of D143527: [OpenMP][5.1] Fix parallel masked is ignored #59939.
Apr 3 2023, 1:25 PM · Restricted Project, Restricted Project, Restricted Project

Mar 28 2023

josemonsalve2 added a comment to D146642: [OpenMP] Implement task record and replay mechanism.

I think it's better to guard the entire related code with macro.

What do you mean by this Shilei? To disable this feature?

Like a opt-in feature.

Why do you think so? What's the harm of leaving it enable as this is just an API function? Are you saying this to save space in the structs?

It's not just an API function. It contains many runtime checks which can potentially compromise the performance for users that don't need the feature. I'd prefer to take it similar to OMPT.

Mar 28 2023, 5:13 PM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D146642: [OpenMP] Implement task record and replay mechanism.
Mar 28 2023, 5:12 PM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D146642: [OpenMP] Implement task record and replay mechanism.

I think it's better to guard the entire related code with macro.

What do you mean by this Shilei? To disable this feature?

Like a opt-in feature.

Mar 28 2023, 5:02 PM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D146642: [OpenMP] Implement task record and replay mechanism.

I think it's better to guard the entire related code with macro.

Mar 28 2023, 4:55 PM · Restricted Project, Restricted Project

Mar 24 2023

josemonsalve2 added inline comments to D143527: [OpenMP][5.1] Fix parallel masked is ignored #59939.
Mar 24 2023, 9:36 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 added inline comments to D146642: [OpenMP] Implement task record and replay mechanism.
Mar 24 2023, 5:04 PM · Restricted Project, Restricted Project

Mar 23 2023

josemonsalve2 added a comment to D143527: [OpenMP][5.1] Fix parallel masked is ignored #59939.

Just a suggestion, I think this works, although it may be best to use OpenMPIRBuilder.

Mar 23 2023, 2:37 PM · Restricted Project, Restricted Project, Restricted Project

Mar 22 2023

josemonsalve2 added a comment to D146642: [OpenMP] Implement task record and replay mechanism.

Adding some initial comments

Mar 22 2023, 9:49 AM · Restricted Project, Restricted Project
josemonsalve2 added reviewers for D146642: [OpenMP] Implement task record and replay mechanism: randreshg, jhuber6, tianshilei1992.
Mar 22 2023, 9:31 AM · Restricted Project, Restricted Project

Mar 20 2023

josemonsalve2 added a comment to D132306: Automatic asynchronous execution of OpenMP Target Regions.

Hi Ravi,

Mar 20 2023, 5:18 PM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D132306: Automatic asynchronous execution of OpenMP Target Regions.

Adding another limitation to this approach. In the following code:

Mar 20 2023, 1:26 PM · Restricted Project, Restricted Project

Mar 14 2023

josemonsalve2 added a comment to D146081: [OpenMP][libomptarget] Init device when printing device info.

Will this solve the problem or mitigate the error?

Mar 14 2023, 2:18 PM · Restricted Project, Restricted Project

Feb 7 2023

josemonsalve2 added a comment to D143527: [OpenMP][5.1] Fix parallel masked is ignored #59939.

Thanks for the clarification Shilei

Feb 7 2023, 4:49 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 added a comment to D143527: [OpenMP][5.1] Fix parallel masked is ignored #59939.

I’m confused that Shilei said in the issue in GitHub that this is supported already. But front end is just throwing an error message.

Feb 7 2023, 2:55 PM · Restricted Project, Restricted Project, Restricted Project

Jan 14 2023

josemonsalve2 added a comment to D140463: [OpenMP] Merge barrier elimination into AAExecutionDomain.

Minor things

Jan 14 2023, 7:10 PM · Restricted Project, Restricted Project, Restricted Project

Jan 7 2023

josemonsalve2 added inline comments to D141010: OpenMPOpt: Check nested parallelism in target region.
Jan 7 2023, 7:11 AM · Restricted Project, Restricted Project

Jan 6 2023

josemonsalve2 added inline comments to D141010: OpenMPOpt: Check nested parallelism in target region.
Jan 6 2023, 10:17 PM · Restricted Project, Restricted Project

Jan 5 2023

josemonsalve2 added inline comments to D141010: OpenMPOpt: Check nested parallelism in target region.
Jan 5 2023, 12:54 PM · Restricted Project, Restricted Project

Jan 4 2023

josemonsalve2 added inline comments to D141010: OpenMPOpt: Check nested parallelism in target region.
Jan 4 2023, 12:30 PM · Restricted Project, Restricted Project
josemonsalve2 added inline comments to D141010: OpenMPOpt: Check nested parallelism in target region.
Jan 4 2023, 12:26 PM · Restricted Project, Restricted Project

Dec 20 2022

josemonsalve2 added a comment to D133949: Make sure the right parameter extension attributes are added in various instrumentation passes..

I could not find source declarations for:

kmpc_get_hardware_num_blocks() // kmpc_get_hardware_num_threads_in_block looks similar and is returning uint

We somehow dropped this one and stopped using it. It was introduced in https://reviews.llvm.org/D106390, @josemonsalve2 can you take a look to re-introduce it (separate review).

Dec 20 2022, 12:19 PM · Restricted Project, Restricted Project, Restricted Project

Oct 17 2022

josemonsalve2 added a comment to D136103: OpenMP asynchronous memory copy support.

Thanks for implementing this. I have added a comment inlined.

Oct 17 2022, 1:24 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 updated subscribers of D136103: OpenMP asynchronous memory copy support.
Oct 17 2022, 1:16 PM · Restricted Project, Restricted Project, Restricted Project

Sep 21 2022

josemonsalve2 updated subscribers of D134396: [OpenMP][libomptarget] New plugin infrastructure and new CUDA plugin.
Sep 21 2022, 4:40 PM · Restricted Project, Restricted Project, Restricted Project

Sep 13 2022

josemonsalve2 added inline comments to D133802: [OpenMP] Remove simplified device runtime handling.
Sep 13 2022, 1:05 PM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D133802: [OpenMP] Remove simplified device runtime handling.

This is a good idea. Thanks Joseph.

Sep 13 2022, 12:59 PM · Restricted Project, Restricted Project

Aug 31 2022

josemonsalve2 added inline comments to D132306: Automatic asynchronous execution of OpenMP Target Regions.
Aug 31 2022, 2:25 PM · Restricted Project, Restricted Project

Aug 20 2022

josemonsalve2 added a comment to D132306: Automatic asynchronous execution of OpenMP Target Regions.

That one is a good point. Let us revise that. Since the effect we actually want to have is the creation of the task graph sequentially.

Aug 20 2022, 5:59 PM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D132306: Automatic asynchronous execution of OpenMP Target Regions.

I agree on 2. Any recommendations? We can move some of the logic there.

Aug 20 2022, 5:50 PM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D132306: Automatic asynchronous execution of OpenMP Target Regions.

CUDA streams are FIFO queues. But it’s true this will not work if the device queue is not FIFO. In the case of CUDA this works for the case you described without being a read after write dependency.

Aug 20 2022, 5:40 PM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D132306: Automatic asynchronous execution of OpenMP Target Regions.

It is only valid under the assumption of non unified shared memory. State across host and device is only visible during data movements. So it is up until then when changes in the host or device data is reflected. Assuming there are no external runtimes, it is possible to synchronize only on data movements, conserving the data dependencies between host and device.

Aug 20 2022, 3:07 PM · Restricted Project, Restricted Project
josemonsalve2 added a reviewer for D132306: Automatic asynchronous execution of OpenMP Target Regions: ronlieb.
Aug 20 2022, 1:30 PM · Restricted Project, Restricted Project
josemonsalve2 added reviewers for D132306: Automatic asynchronous execution of OpenMP Target Regions: jhuber6, tianshilei1992, JonChesterfield.
Aug 20 2022, 1:28 PM · Restricted Project, Restricted Project

Jun 29 2022

josemonsalve2 updated the diff for D128347: [OpenMP] Implementing omp_get_device_num().

Rebasing to master

Jun 29 2022, 12:18 AM · Restricted Project, Restricted Project

Jun 22 2022

josemonsalve2 added a comment to D128347: [OpenMP] Implementing omp_get_device_num().

I'm not sure what to do about the buildbot errors I am getting. I'm accessing them but there's no info that tells me what's going on.

Jun 22 2022, 11:04 AM · Restricted Project, Restricted Project
josemonsalve2 updated the diff for D128347: [OpenMP] Implementing omp_get_device_num().

Fixing var name to coding standard

Jun 22 2022, 10:59 AM · Restricted Project, Restricted Project
josemonsalve2 updated the diff for D128347: [OpenMP] Implementing omp_get_device_num().

Changing omp_get_num_devices() for omp_get_initial_device()

Jun 22 2022, 8:47 AM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D128347: [OpenMP] Implementing omp_get_device_num().

Ah! I missed that. Thanks

Jun 22 2022, 8:39 AM · Restricted Project, Restricted Project
josemonsalve2 requested review of D128347: [OpenMP] Implementing omp_get_device_num().
Jun 22 2022, 8:11 AM · Restricted Project, Restricted Project

Jun 9 2022

josemonsalve2 committed rG15ed5c0a07a2: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info (authored by josemonsalve2).
[LIBOMPTARGET] Adding AMD to llvm-omp-device-info
Jun 9 2022, 5:00 AM · Restricted Project, Restricted Project
josemonsalve2 closed D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.
Jun 9 2022, 5:00 AM · Restricted Project, Restricted Project
josemonsalve2 updated the diff for D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.

Fixing the warning issue on the switch statement.

Jun 9 2022, 4:29 AM · Restricted Project, Restricted Project
josemonsalve2 added a reverting change for rGd16a0877d8ac: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info: rG84e020a061a4: Revert "[LIBOMPTARGET] Adding AMD to llvm-omp-device-info".
Jun 9 2022, 3:47 AM · Restricted Project, Restricted Project
josemonsalve2 committed rG84e020a061a4: Revert "[LIBOMPTARGET] Adding AMD to llvm-omp-device-info" (authored by josemonsalve2).
Revert "[LIBOMPTARGET] Adding AMD to llvm-omp-device-info"
Jun 9 2022, 3:47 AM · Restricted Project, Restricted Project
josemonsalve2 added a reverting change for D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info: rG84e020a061a4: Revert "[LIBOMPTARGET] Adding AMD to llvm-omp-device-info".
Jun 9 2022, 3:47 AM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D127065: [docs] Update supported language standards list for C++.

Changes are fine. I am not familiar with the progress in C++20 and 23, but I trust your judgement here.

Jun 9 2022, 3:39 AM · Restricted Project, Restricted Project
josemonsalve2 reopened D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.

Ah! Sorry about this. Quick fix. Working on it.

Jun 9 2022, 3:27 AM · Restricted Project, Restricted Project

Jun 8 2022

josemonsalve2 committed rGd6f6cd5cd52b: [docs][clang] Fixing minor typo (authored by josemonsalve2).
[docs][clang] Fixing minor typo
Jun 8 2022, 4:36 PM · Restricted Project, Restricted Project
josemonsalve2 committed rG28aa7d188492: [docs][clang] Minor typo fix (authored by josemonsalve2).
[docs][clang] Minor typo fix
Jun 8 2022, 10:42 AM · Restricted Project, Restricted Project
josemonsalve2 committed rGd16a0877d8ac: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info (authored by josemonsalve2).
[LIBOMPTARGET] Adding AMD to llvm-omp-device-info
Jun 8 2022, 9:34 AM · Restricted Project, Restricted Project
josemonsalve2 closed D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.
Jun 8 2022, 9:34 AM · Restricted Project, Restricted Project
josemonsalve2 updated the diff for D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.

Running clang-format

Jun 8 2022, 7:00 AM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.

Thanks Jon for all the comments.

Jun 8 2022, 5:33 AM · Restricted Project, Restricted Project

Jun 7 2022

josemonsalve2 updated the diff for D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.

Cleaning up code to remove unused enums. Removed the commented code with cache_iteration, and all related funcitons.

Jun 7 2022, 7:49 AM · Restricted Project, Restricted Project

Jun 3 2022

josemonsalve2 added a comment to D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.

I missed those. I will check well with all of them.

Jun 3 2022, 3:05 PM · Restricted Project, Restricted Project

Jun 2 2022

josemonsalve2 updated the diff for D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.

I have added the HSA_ISA_INFO_NAME, made the function static, and removed
the unused elements in the enums.

Jun 2 2022, 1:37 PM · Restricted Project, Restricted Project
josemonsalve2 added a comment to D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.

@saiislam I will look into that.

Jun 2 2022, 11:41 AM · Restricted Project, Restricted Project

Jun 1 2022

josemonsalve2 requested review of D126836: [LIBOMPTARGET] Adding AMD to llvm-omp-device-info.
Jun 1 2022, 3:46 PM · Restricted Project, Restricted Project

Oct 21 2021

josemonsalve2 accepted D110047: [test-suite] Only add SOLLVE V&V tests expected to work with Clang..

lgtm

Oct 21 2021, 7:37 PM

Sep 19 2021

josemonsalve2 added a comment to D110047: [test-suite] Only add SOLLVE V&V tests expected to work with Clang..

Thanks for adding this Michael.

I saw you are adding the tests that are expected to pass in the cmake but made changes to allow expected fails in LIT. Wouldn’t it make sense to have expected failures in cmake as well. It seems more intuitive to me to mention what is not expected to work. If new tests are added and they pass then that’s fine. It’s more those that are added that do not pass that should trigger a warning.

Other than that it looks good.

Sep 19 2021, 10:12 PM
josemonsalve2 added a comment to D110047: [test-suite] Only add SOLLVE V&V tests expected to work with Clang..

Thanks for adding this Michael.

Sep 19 2021, 9:58 PM

Jul 30 2021

josemonsalve2 requested review of D107177: [OpenMP] Fixing llvm-omp-device-info compilation with runtimes.
Jul 30 2021, 9:30 AM · Restricted Project, Restricted Project

Jul 29 2021

josemonsalve2 added inline comments to D101663: [OpenMP] Avoid unintentional use of host compiler as bclib compiler..
Jul 29 2021, 11:49 AM · Restricted Project, Restricted Project

Jul 27 2021

josemonsalve2 requested review of D106933: [OpenMP] Fixing missing variables when CUDA SDK not in system.
Jul 27 2021, 9:39 PM · Restricted Project
josemonsalve2 added a comment to D106751: [OpenMP][Libomptarget] Adding `print_device_info` to RTL and `omptarget`.

Sorry for the delay. Working on this

Jul 27 2021, 9:33 PM · Restricted Project
josemonsalve2 updated the diff for D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool.

Removing branch dependency

Jul 27 2021, 7:21 PM · Restricted Project
josemonsalve2 updated the diff for D106033: [OpenMP] Folding threadLimit and numThreads when single value in kernels.

Rebasing to main this time for real

Jul 27 2021, 5:57 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 updated the diff for D106033: [OpenMP] Folding threadLimit and numThreads when single value in kernels.

Resync again

Jul 27 2021, 5:00 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 updated the diff for D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool.

Rebase to main

Jul 27 2021, 4:43 PM · Restricted Project
josemonsalve2 updated the diff for D106751: [OpenMP][Libomptarget] Adding `print_device_info` to RTL and `omptarget`.

Rebase to main

Jul 27 2021, 4:42 PM · Restricted Project
josemonsalve2 updated the diff for D106033: [OpenMP] Folding threadLimit and numThreads when single value in kernels.

Sync to main

Jul 27 2021, 4:41 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 updated the diff for D106298: [OpenMP] Creating the `omp_target_num_teams` and `omp_target_thread_limit` attributes to outlined functions.

Fixing tests

Jul 27 2021, 9:47 AM · Restricted Project
josemonsalve2 updated the diff for D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool.

Fixing @tianshilei1992 comments.

Jul 27 2021, 8:21 AM · Restricted Project
josemonsalve2 added inline comments to D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool.
Jul 27 2021, 8:19 AM · Restricted Project
josemonsalve2 updated the summary of D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool.
Jul 27 2021, 6:21 AM · Restricted Project
josemonsalve2 retitled D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool from [OpenMP][Tool] Introducing the `llvm-deviceinfo` tool to [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool.
Jul 27 2021, 6:20 AM · Restricted Project

Jul 26 2021

josemonsalve2 updated the diff for D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool.

Changing name and adding cstdio instead of iostream. Adding license headers. Other minor changes

Jul 26 2021, 6:17 PM · Restricted Project
josemonsalve2 updated the diff for D106751: [OpenMP][Libomptarget] Adding `print_device_info` to RTL and `omptarget`.

Updating minor comments. Major re-design of a less verbose solution will be added later

Jul 26 2021, 6:03 PM · Restricted Project
josemonsalve2 abandoned D90670: Simplifying memory globalization from the front end to move optimizations to the middle end..

This has been completed by @jhuber6 in D97680

Jul 26 2021, 1:33 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 updated the diff for D106298: [OpenMP] Creating the `omp_target_num_teams` and `omp_target_thread_limit` attributes to outlined functions.

Rebasing to main

Jul 26 2021, 1:26 PM · Restricted Project
josemonsalve2 updated the diff for D106033: [OpenMP] Folding threadLimit and numThreads when single value in kernels.

Rebasing to main

Jul 26 2021, 1:25 PM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 updated the diff for D106033: [OpenMP] Folding threadLimit and numThreads when single value in kernels.

Fixing final comments from @jdoerfert

Jul 26 2021, 11:09 AM · Restricted Project, Restricted Project, Restricted Project

Jul 25 2021

josemonsalve2 added a comment to D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool.

I thought about the -omp- in the name too. But I remembered that the ACC folks wanted to use the same runtime. I like both llvm-omp-device-info and llvm-omp-deviceinfo. Or we could drop the llvm- as they do in mlir- tools

Jul 25 2021, 9:50 AM · Restricted Project
josemonsalve2 added a comment to D106033: [OpenMP] Folding threadLimit and numThreads when single value in kernels.

My test is still failing, but it fails on an assertion on the changeToSPMD method:

Jul 25 2021, 8:23 AM · Restricted Project, Restricted Project, Restricted Project

Jul 24 2021

josemonsalve2 added inline comments to D106751: [OpenMP][Libomptarget] Adding `print_device_info` to RTL and `omptarget`.
Jul 24 2021, 3:22 PM · Restricted Project
josemonsalve2 added a comment to D106751: [OpenMP][Libomptarget] Adding `print_device_info` to RTL and `omptarget`.

Not obvious to me that the functionality has much to do with the plugin. Could do a standalone tool instead?

I think there's a tool called nvidia-smi that does something similar. There's definitely one called rocminfo that does. The latter prints 'human readable' output, which gets in the way of scripting with it.

Jul 24 2021, 3:21 PM · Restricted Project
josemonsalve2 added reviewers for D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool: JonChesterfield, ggeorgakoudis, jhuber6, baziotis, sstefan1, uenoku, tianshilei1992.
Jul 24 2021, 11:00 AM · Restricted Project
josemonsalve2 requested review of D106752: [OpenMP][Tool] Introducing the `llvm-omp-device-info` tool.
Jul 24 2021, 10:58 AM · Restricted Project
josemonsalve2 requested review of D106751: [OpenMP][Libomptarget] Adding `print_device_info` to RTL and `omptarget`.
Jul 24 2021, 10:58 AM · Restricted Project

Jul 23 2021

josemonsalve2 updated the diff for D106033: [OpenMP] Folding threadLimit and numThreads when single value in kernels.

Format

Jul 23 2021, 7:23 AM · Restricted Project, Restricted Project, Restricted Project
josemonsalve2 updated the diff for D106033: [OpenMP] Folding threadLimit and numThreads when single value in kernels.
  • Created a single function receiving a string instead of one per attribute: foldKernelFnAttribute
  • Removed pesimisticFixpoint if no kernel is found.
  • Adding Check for the ReachingKernelEntries valid state
  • Removed unnecesary comments
Jul 23 2021, 7:21 AM · Restricted Project, Restricted Project, Restricted Project