kgardas

POWER (ppc64le) port.

26

It would be great if there is also ppc64le/power platform supported.

do not mask SIGSEGV to hide real crash culprit/place

1

Hi, this solves issue #202

Row-level security not working correctly for vertex create.

2

While experimenting with row-level security on AgensGraph I've found out that row-level security is not working correct while working with graphs. It is working well on simple tables etc, but...

Compilation failure while using GHC 9.2.1-rc1

8

Attempt to compile basement with ghc 9.2.1-rc1 on ubuntu 20.04.x on amd64 reveals following issue: ``` [19 of 84] Compiling Basement.Numerical.Conversion ( Basement/Numerical/Conversion.hs, /export/home/karel/vcs/haskell-libraries/foundation/basement/dist-newstyle/build/x86_64-linux/ghc-9.2.0.20210821/basement-0.0.12/build/Basement/Numerical/Conversion.o, /export/home/karel/vcs/haskell-libraries/foundation/basement/dist-newstyle/build/x86_64-linux/ghc-9.2.0.20210821/basement-0.0.12/build/Basement/Numerical/Conversion.dyn_o ) Basement/Numerical/Conversion.hs:84:46: error: • Couldn't...

Build Fstar fails when using ./everest make.

1

Hello, following instructions and recommendations from ./everest check I've installed everything as needed and allowed ./everst script to do whatever it needed to do. Anyway, the build, e.g. ./everest make...

User home dir-based or programamble based org.dslforge.workspace.config.configuration

6

Hello, as mentioned in #45 it would be good either to have (a) programming way to specify workspace location or (b) support to use @user.home in specification of workspace location...

Notebook: spec2 demo not working in Object inspector page: #inspectorSpec not understood.

1

Hello, I have an issue with Spec2 demo, e.g. Help -> Spec2 examples -- in a window select Notebook and then select Object inspector page/tab. Result is `Instance of SpMorphicNotebookAdapter...