profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/luc-tielen/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Luc Tielen luc-tielen Kabisa Belgium https://luctielen.com Interested in functional programming and compilers.

luc-tielen/Cure 70

Small library that interfaces C-code with Erlang/Elixir using Ports.

luc-tielen/eclair-lang 26

An experimental, minimal Datalog implementation in Haskell

luc-tielen/besra-lang 6

Repository for the Besra programming language

kabisa/serverless_backup_check 2

Serverless backup check of files inside an S3 bucket.

luc-tielen/codecation2019 1

Code I wrote during the Kabisa 2019 codecation

luc-tielen/dotfiles 1

My dot files collection

luc-tielen/fire-emblem-rs 1

My attempt at recreating the Fire Emblem GBA games, in Rust. WIP

andorp/souffle-haskell 0

Haskell bindings for the Souffle datalog language

kabisa/Docker-Nagios 0

Docker image for Nagios

pull request commentsnowleopard/alga

Revise bipartite graphs

Thanks for pinging me and merging this in. I've been focusing on the LLVM codegen part of my project, so didn't do any changes yet to the graph algorithm part.. but I only make use of maxMatching and Matching so I should be fine (I think).

(and otherwise I will create a new issue once I integrate everything together :wink:)

snowleopard

comment created time in a day

issue commentllvm-hs/llvm-hs

Interface to LLVM::DataLayout:: methods

This got me a little further for my specific case (it looks like some datalayout functionality is exposed in internals?):

experiment :: ModuleBuilderT IO ()
experiment = do
  s <- typedef "struct_t" $ Just $ StructureType False [i8, i64]
  size <- liftIO $ do
    s' <- Context.withContext $ flip runEncodeAST $ encodeM s
    let dl = defaultDataLayout LittleEndian
    DL.withFFIDataLayout dl $ flip DL.getTypeAllocSize s'
  print ("size =", size)

This snippet works if you use i8 or any of the other builtin types instead of s in the encodeM function, but with my custom struct I get EncodeException "reference to undefined type: Name \"struct_t\""

If I could get an up-to-date DataLayout inside the ModuleBuilder monad, my problem would be fixed?

jfaure

comment created time in 3 days

issue commentllvm-hs/llvm-hs

Interface to LLVM::DataLayout:: methods

@jfaure How then? It just doesn't typecheck..? Also there's no function to go from Constant to Word64.. and the other functions in that module are partial and would error out if I tried converting that way. I would prefer defining my types all using the typedef function which uses the LLVM.AST.Type I mentioned earlier. For this I think the only way is with DataLayout..

BTW: here's what I tried:

experiment :: ModuleBuilder ()
experiment = do
  s <- typedef "struct_t" $ Just $ StructureType False [i8, i64]
  let x = Constant.sizeof s
  let a = ArrayType x i32 -- Couldn't match expected type 'Word64' with 'Constant'
  -- ...

@andrew-wja I'm not familiar with the codebase but if you give me some high level pointers on how to best approach this, I can try giving it a shot..

jfaure

comment created time in 3 days

issue commentllvm-hs/llvm-hs

Interface to LLVM::DataLayout:: methods

@jfaure I don't think that works? ArrayType requires a Word64 for size: https://hackage.haskell.org/package/llvm-hs-pure-9.0.0/docs/LLVM-AST-Type.html#t:Type

jfaure

comment created time in 3 days

issue commentllvm-hs/llvm-hs

Interface to LLVM::DataLayout:: methods

I just ran also in the issue of needing DataLayout functionality. Here's the C code I'm trying to port:

#define DESIRED_NUM_KEYS \
    (((BLOCK_SIZE > sizeof(struct node_data)) \
        ? BLOCK_SIZE - sizeof(struct node_data) \
        : 0) / sizeof(value))

#define NUM_KEYS (DESIRED_NUM_KEYS > 3 ? DESIRED_NUM_KEYS : 3)

typedef struct node
{
    node_type type;
    struct node_data meta;
    value values[NUM_KEYS];
} node;

Basically: I need "sizeof" so that I can use that result during codegen to determine length of an array in some other type.

jfaure

comment created time in 3 days

push eventluc-tielen/validators

Luc Tielen

commit sha c870c96fc8b3ffa98948c4e5fae8bfe5ceca197b

Update .gitignore

view details

push time in 4 days

startedHaskell-Chapelure/chapelure

started time in 8 days

pull request commentsnowleopard/alga

Update of bipartite graph algorithms

Right, I will do that in the meantime! Thanks again.

luc-tielen

comment created time in 8 days

pull request commentsnowleopard/alga

Update of bipartite graph algorithms

Thanks @snowleopard ! Could you let me know when you finish that implementation / make a new release so I can start using it in my own code?

luc-tielen

comment created time in 11 days

delete branch luc-tielen/alga

delete branch : hopcroft

delete time in 11 days

pull request commentsnowleopard/alga

Update of bipartite graph algorithms

Great! Thanks so much!

luc-tielen

comment created time in 12 days

pull request commentsnowleopard/alga

Update of bipartite graph algorithms

@snowleopard so that was it, CI is finally green 😅

luc-tielen

comment created time in 16 days

push eventluc-tielen/alga

Luc Tielen

commit sha 2d294c42ed979046dc9472722bbee06fd943b73e

Fix issue with long filepath on Windows

view details

push time in 16 days

pull request commentsnowleopard/alga

Update of bipartite graph algorithms

@snowleopard so I think I might have an idea what's going on.. what if the filename is simply too long on Windows? I vaguely remember that Windows has a max limit on filenames.. Can we try shortening the module name somehow? Right now the path C:\Users\runneradmin\AppData\Local\Temp\extra-dir-798123346708\algebraic-graphs-0.6.1\dist-newstyle\build\x86_64-windows\ghc-9.0.1\algebraic-graphs-0.6.1\t\test-alga\build\test-alga\test-alga-tmp\Algebra\Graph\Test\Bipartite\Undirected\AdjacencyMap\Algorithm.o is 260 chars long.. which is apparently around the limit that Windows supports..

If this is indeed the case, this will make me facepalm so hard 🤦

luc-tielen

comment created time in 18 days

push eventluc-tielen/souffle

Sam

commit sha 039eb95eb953018843635699e0065d4f912151b9

Fixed weird issue with const ref

view details

Abdul Zreika

commit sha 8111e1bdde8a06c3311199f9e4fc4d90581a87da

Fixed up issues with target expression simplifier. No longer crashes.

view details

Abdul Zreika

commit sha ddaf4e1a0b8f7ced478617fce763406a6975cff2

Fixed up order in which aggregators are replaced.

view details

Abdul Zreika

commit sha 2a8dd7cc4e1c1ae5311117d149029a2a3be21ace

Minor cleanups of TES.

view details

Abdul Zreika

commit sha fe98c95fd34fa8ef6a4e94606c90704271d89ed3

Fixed level choice in aggr.

view details

azreika

commit sha 92b383a2cc98d398f68bd987ba1a0abb1ed81f37

Merge branch 'master' into transfactor6

view details

Abdul Zreika

commit sha 638773ace4d34ccf61f08f0cff5c3ac4928c86c8

Made comments more consistent with rest of code in TES code.

view details

Sam

commit sha 293ea273dcf9af1f55c14fa648c469f4e0b07c6c

refactored interpreter

view details

XiaowenHu96

commit sha 95e58a30d64acf0efe8275612b13990acc0d2dd5

tbs, fix merge

view details

Bernhard Scholz

commit sha bbe75160a157c5229e1953b1e9c7ab784b235dfb

Merge pull request #1783 from azreika/transfactor6 Second stage of clause translator refactoring (+ aggregator bug fix).

view details

Abdul Zreika

commit sha dbc90e492999e6414259492a519014ea86f1dade

Split up ram fact creation from main translation too.

view details

Abdul Zreika

commit sha 4e3b89af7802df39872a621cb1b3d582bfb53c01

Some aggregator indexing clarity fixups.

view details

Josh

commit sha eb322116921236d696ccbb1861dd887b2d9421cb

Choice experimentation programs (each experiment contains a pair of programs: a version using the choice operator, and a version using native Souffle with aggregates and auxiliary relations to emulate choice)

view details

Abdul Zreika

commit sha 7041bdce04208d011e9ea8f6acd1ef0673bd4009

Cleared up parts of constraint filtering.

view details

Abdul Zreika

commit sha 38cf1fb9fb3289ca4327fce02f1e890d2b186f35

Removed semantically unnecessary functor constraining.

view details

Abdul Zreika

commit sha 62e68b675c8110f8a092480b03a8efd94f04de44

Cleaned up constant constraint adder a little.

view details

Sam

commit sha f9a052409f8079adefa152a4dce646e3fab0bd5d

Fixed interpreter unit tests

view details

Abdul Zreika

commit sha e007d7fc975e18ca7c29b8b53ec1c27f4ffdc581

Moved out eqcheck functionality.

view details

Abdul Zreika

commit sha 6734e146b38a8926b7026dcca1662e10f54c529e

Minor changes for clarity.

view details

Sam

commit sha 07e93d9018013348e3d1204fc85bfa184e0ab004

Refactored relations to accept an index selection rather than indexAnalysis directly

view details

push time in 22 days

startedkillercup/cargo-edit

started time in 24 days

push eventluc-tielen/alga

Luc Tielen

commit sha e17b94f3aed255bf663de56c5f9dff7ebb2b682f

Remove unneeded language extensions

view details

push time in 25 days

PullRequestReviewEvent

Pull request review commentsnowleopard/alga

Update of bipartite graph algorithms

+{-# LANGUAGE DeriveGeneric, RankNTypes #-}

I will, sorry about this noise.

luc-tielen

comment created time in 25 days

push eventluc-tielen/dotfiles

Luc Tielen

commit sha febf439ccb469e3d27063dfba39bc21865e73b1c

Configure rust_analyzer in nvim

view details

Luc Tielen

commit sha abd586da0b7037fee46a9f03e1d621826f3cd16b

Update keybindings and plugins

view details

push time in a month

push eventluc-tielen/dotfiles

Luc Tielen

commit sha 9a44429aec81f62cdcd88434adbab6d2baae5c30

Always shown signcolumn

view details

push time in a month

push eventluc-tielen/dotfiles

Luc Tielen

commit sha 87ed504065401a032b4952fc57ad760fab6a1472

Add some nvim helper functions

view details

push time in a month

push eventluc-tielen/dotfiles

Luc Tielen

commit sha b95a753ce4c472d0dc903fa8405000b35e3fe6a5

Add souffle filetype detection

view details

push time in a month

push eventluc-tielen/dotfiles

Luc Tielen

commit sha 198410c3af8c353f2f5672d1f06ac5fd00a46bcb

Update LSP config, use null-ls for formatting

view details

Luc Tielen

commit sha 79b71b61111c1c6ae988655a719787f72d9167bc

Update nvim plugins

view details

Luc Tielen

commit sha 399cbc3da75e1c5b284a749614013618167e3501

Make telescope search only in files in git

view details

Luc Tielen

commit sha c51513337123b4dc0d888eec1fac1b3115471cf7

Update general nvim settings

view details

Luc Tielen

commit sha 78899597437866ab20de2fe1f738bf832a94a5ed

Ignore auto generated packer plugin folder

view details

push time in a month

pull request commentsnowleopard/alga

Update of bipartite graph algorithms

@snowleopard Idk what the current error is.. it's complaining it can't find an object file when linking? Maybe I still have an error in cabal file? I have no windows machine to test it with either, only Linux and OSX. Tests on Linux seem to be passing though! 😃

luc-tielen

comment created time in a month

push eventluc-tielen/alga

Luc Tielen

commit sha 25be099466f2c4bb2161c3aff1e9ba5d02a2b980

Fix warnings in bipartite graph algorithms

view details

push time in a month

pull request commentsnowleopard/alga

Update of bipartite graph algorithms

@snowleopard Yeah, I'm fixing these during my lunchbreaks :-) the remaining errors are related to the actual code, but should be easy to fix.

luc-tielen

comment created time in a month

startedchrrasmussen/Idris2-Erlang

started time in a month

push eventluc-tielen/alga

Luc Tielen

commit sha fea65a55e562d16d02a79c926a2c95a6a51847aa

Add default hlint config

view details

Luc Tielen

commit sha 29d0945de9c89c8b9bd51197de063264d76200e0

Fix hlint warnings

view details

push time in a month

push eventluc-tielen/alga

Luc Tielen

commit sha 48b7fca67a50f2e3fd47dc446ff7907a1f0529c3

Fix cabal file

view details

push time in a month