profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/david-christiansen/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.
David Thrane Christiansen david-christiansen Copenhagen, Denmark

david-christiansen/epigram1 47

A version of Epigram 1 that can run with newer GHCs

david-christiansen/derive-all-the-instances 31

Work on type class deriving with elaboration reflection

david-christiansen/final-pretty-printer 29

A monadic (and pretty) pretty printer for Haskell

david-christiansen/dr-racket-like-unicode 17

A clone of DrRacket-style Unicode symbol input for Emacs

david-christiansen/dan-scheme 11

A very little language

ahmadsalim/desc-n-crunch 10

Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.

david-christiansen/Brainfun 6

A Brainf**k interpreter in Idris

david-christiansen/barcodes-code128 4

A Haskell library for generating Code 128 barcodes

david-christiansen/beamerOerestad 4

Unofficial IT University of Copenhagen beamer style

david-christiansen/brush 4

A Racket literate programming system without tangling

release xournalpp/xournalpp

nightly

released time in 15 hours

push eventrjnw/sham

Rajan Walia

commit sha eddd33b886a24020a01c3854f17256e502bd1773

base sham working tests

view details

Rajan Walia

commit sha ceebc4351ab2a18204e8e06aed475c3eb257a112

basic post sham

view details

push time in 21 hours

delete branch GaloisInc/aig

delete branch : at-aig-hashcons

delete time in a day

push eventGaloisInc/aig

Aaron Tomb

commit sha 9adf4ed70972694cb64a3fc36d3516fd64c751b0

Add hash consing to CompactGraph implementation

view details

Aaron Tomb

commit sha c9a7dd9691774b88493fcc7d7e64b5cf957ec9f0

Merge pull request #9 from GaloisInc/at-aig-hashcons Add hash consing to CompactGraph implementation

view details

push time in a day

PR merged GaloisInc/aig

Add hash consing to CompactGraph implementation
+25 -18

1 comment

2 changed files

atomb

pr closed time in a day

pull request commentGaloisInc/aig

Add hash consing to CompactGraph implementation

I can confirm that this fixes the issue with processes being killed in the SAW CI, so it's certainly better performance than before. The AIGER files created are still substantially bigger than those created by ABC, though (and ABC can very quickly squish them), so it's apparently doing some efficient bookkeeping that's more than just hash consing in the C API we were using before. If we can figure out what that is, and implement it here, that might be very helpful.

atomb

comment created time in a day

release mirleft/ocaml-x509

v0.14.0

released time in a day

startedfrex-project/idris-frex

started time in 2 days

startedbloodyowl/rescript-react-update

started time in 2 days

release xournalpp/xournalpp

nightly

released time in 3 days

release xournalpp/xournalpp

nightly

released time in 4 days

push eventacfoltzer/.emacs.d

Adam C. Foltzer

commit sha d1f7a8f7479379f213e9a380241c559417eee86e

add groovy-mode

view details

push time in 4 days

release xournalpp/xournalpp

nightly

released time in 4 days

created repositoryjfdm/olaf-lang

created time in 4 days

delete branch GaloisInc/aig

delete branch : at-aiger

delete time in 4 days

push eventGaloisInc/aig

Aaron Tomb

commit sha 5485c41b7465f71da19044459316e61ae74daff5

Initial version of AIGER export Currently uses the ASCII format, for debugging. Will move to binary format once the core functionality is solid.

view details

Aaron Tomb

commit sha b2ecc30dd8427159c8e8066619546aa6d2fe85a6

Implement binary format AIGER export

view details

Aaron Tomb

commit sha dceb2733f4f74654cc84bbb008441fccd9c9baeb

Implement support for CNF generation

view details

Aaron Tomb

commit sha 754d74f5b5e79df103743ee168ae4d740e521759

Remove unnecessary change

view details

Aaron Tomb

commit sha 12e92ba0bd502f0e16f1c9709efa670df15f2ccb

Clean up and add comments

view details

Aaron Tomb

commit sha 310429427a1129845980ea96de02e23027db1e6e

Remove another unnecessary change

view details

Aaron Tomb

commit sha 2d323162fd6157a88a5eafc1f6803121042103fe

Add support for reading AIGER files Also add tests that reading and writing agree.

view details

Aaron Tomb

commit sha dbfd485dcd80868e705da8a39d8c5b73644c4663

Implement abstractEvaluateAIG in CompactGraph

view details

Aaron Tomb

commit sha 3f53a3e0ed097de37cfe0b76658c327dffad1e5a

Implement getInput and evaluator for CompactGraph

view details

Aaron Tomb

commit sha 874f3e3c7f4638c008b05e56512e0f1fe8cc74c4

Additional comments

view details

Aaron Tomb

commit sha 8398a085a98362f4dcdd58ffd19c51b00997832f

Merge pull request #8 from GaloisInc/at-aiger Add pure Haskell AIGER and CNF generation

view details

push time in 4 days

PR merged GaloisInc/aig

Add pure Haskell AIGER and CNF generation

This PR adds an instance of the IsAIG class that provides pure Haskell support for reading and writing AIGER files and writing CNF files. It's not very highly optimized yet, but somewhat surprisingly already has pretty decent performance. This allows us to preserve all of SAW's current features while ditching abcBridge. SAW PR GaloisInc/saw-script#1320 depends on this.

+504 -0

2 comments

4 changed files

atomb

pr closed time in 4 days

push eventGaloisInc/aig

Aaron Tomb

commit sha 874f3e3c7f4638c008b05e56512e0f1fe8cc74c4

Additional comments

view details

push time in 4 days

pull request commentGaloisInc/aig

Add pure Haskell AIGER and CNF generation

Oh, that's weird. I swear I wrote them, but they're not in the history or in my working copy. I'll add them again!

atomb

comment created time in 4 days

pull request commentGaloisInc/aig

Add pure Haskell AIGER and CNF generation

I don't see the comments you added. Did you miss pushing a patch here?

atomb

comment created time in 4 days

push eventacfoltzer/.emacs.d

Adam C. Foltzer

commit sha 9c9e42703683bb802fbf0cfb1bda56081951f8cf

update customize

view details

push time in 4 days

Pull request review commentidris-hackers/idris-mode

Add status badge

 [![MELPA Stable](http://stable.melpa.org/packages/idris-mode-badge.svg)](http://stable.melpa.org/#/idris-mode) [![MELPA](http://melpa.org/packages/idris-mode-badge.svg)](http://melpa.org/#/idris-mode) +[![Idris1 on Ubuntu](https://github.com/idris-hackers/idris-mode/actions/workflows/idris1.yml/badge.svg)](https://github.com/idris-h

fixed upstream

jfdm

comment created time in 4 days

push eventidris-hackers/idris-mode

Jan de Muijnck-Hughes

commit sha f52ad0b4770403561b40f1d0499ecaca70da886c

Update readme.markdown

view details

push time in 4 days

Pull request review commentidris-hackers/idris-mode

Add status badge

 [![MELPA Stable](http://stable.melpa.org/packages/idris-mode-badge.svg)](http://stable.melpa.org/#/idris-mode) [![MELPA](http://melpa.org/packages/idris-mode-badge.svg)](http://melpa.org/#/idris-mode) +[![Idris1 on Ubuntu](https://github.com/idris-hackers/idris-mode/actions/workflows/idris1.yml/badge.svg)](https://github.com/idris-h

Did you mean

![Idris1 on Ubuntu](https://github.com/idris-hackers/idris-mode/actions/workflows/idris1.yml/badge.svg)

?

jfdm

comment created time in 4 days

push eventidris-hackers/idris-mode

Jan de Muijnck-Hughes

commit sha 4bf4cbdd05d6e73bbe0d9aaacee7d6c600fd5721

added status badge.

view details

Jan de Muijnck-Hughes

commit sha 61b6be50b0ead11eb06a8285ee6fdee448122de3

added checkout so that we actually build the thing we need to test

view details

Jan de Muijnck-Hughes

commit sha 215fc329231ba6a8f484cb9dbea47c8ea0c3c357

Merge pull request #528 from jfdm/add-status-badge Add status badge

view details

push time in 4 days

PR merged idris-hackers/idris-mode

Add status badge
+5 -0

0 comment

2 changed files

jfdm

pr closed time in 4 days

PR opened idris-hackers/idris-mode

Add status badge
+5 -0

0 comment

2 changed files

pr created time in 4 days

push eventidris-hackers/idris-mode

Jan de Muijnck-Hughes

commit sha ad8ea214413e7c94f1570c98e25a34e27a88ac73

[ improvement ] first attempt at migrating to github actions.

view details

Jan de Muijnck-Hughes

commit sha 66994ebe4fb69659eb067fdb343cf20c9447a041

Merge pull request #527 from jfdm/migrate-to-actions [ improvement ] first attempt at migrating to github actions.

view details

push time in 4 days