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
Desc'n crunch: Descriptions, levitation, and reflecting the elaborator.
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
A Racket literate programming system without tangling
push eventrjnw/sham
commit sha eddd33b886a24020a01c3854f17256e502bd1773
base sham working tests
commit sha ceebc4351ab2a18204e8e06aed475c3eb257a112
basic post sham
push time in 21 hours
push eventGaloisInc/aig
commit sha 9adf4ed70972694cb64a3fc36d3516fd64c751b0
Add hash consing to CompactGraph implementation
commit sha c9a7dd9691774b88493fcc7d7e64b5cf957ec9f0
Merge pull request #9 from GaloisInc/at-aig-hashcons Add hash consing to CompactGraph implementation
push 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.
comment created time in a day
startedfrex-project/idris-frex
started time in 2 days
startedbloodyowl/rescript-react-update
started time in 2 days
push eventacfoltzer/.emacs.d
commit sha d1f7a8f7479379f213e9a380241c559417eee86e
add groovy-mode
push time in 4 days
push eventGaloisInc/aig
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.
commit sha b2ecc30dd8427159c8e8066619546aa6d2fe85a6
Implement binary format AIGER export
commit sha dceb2733f4f74654cc84bbb008441fccd9c9baeb
Implement support for CNF generation
commit sha 754d74f5b5e79df103743ee168ae4d740e521759
Remove unnecessary change
commit sha 12e92ba0bd502f0e16f1c9709efa670df15f2ccb
Clean up and add comments
commit sha 310429427a1129845980ea96de02e23027db1e6e
Remove another unnecessary change
commit sha 2d323162fd6157a88a5eafc1f6803121042103fe
Add support for reading AIGER files Also add tests that reading and writing agree.
commit sha dbfd485dcd80868e705da8a39d8c5b73644c4663
Implement abstractEvaluateAIG in CompactGraph
commit sha 3f53a3e0ed097de37cfe0b76658c327dffad1e5a
Implement getInput and evaluator for CompactGraph
commit sha 874f3e3c7f4638c008b05e56512e0f1fe8cc74c4
Additional comments
commit sha 8398a085a98362f4dcdd58ffd19c51b00997832f
Merge pull request #8 from GaloisInc/at-aiger Add pure Haskell AIGER and CNF generation
push time in 4 days
PR merged GaloisInc/aig
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.
pr closed time in 4 days
push eventGaloisInc/aig
commit sha 874f3e3c7f4638c008b05e56512e0f1fe8cc74c4
Additional comments
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!
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?
comment created time in 4 days
push eventacfoltzer/.emacs.d
commit sha 9c9e42703683bb802fbf0cfb1bda56081951f8cf
update customize
push time in 4 days
Pull request review commentidris-hackers/idris-mode
[](http://stable.melpa.org/#/idris-mode) [](http://melpa.org/#/idris-mode) +[](https://github.com/idris-h
fixed upstream
comment created time in 4 days
push eventidris-hackers/idris-mode
commit sha f52ad0b4770403561b40f1d0499ecaca70da886c
Update readme.markdown
push time in 4 days
Pull request review commentidris-hackers/idris-mode
[](http://stable.melpa.org/#/idris-mode) [](http://melpa.org/#/idris-mode) +[](https://github.com/idris-h
Did you mean
?
comment created time in 4 days
push eventidris-hackers/idris-mode
commit sha 4bf4cbdd05d6e73bbe0d9aaacee7d6c600fd5721
added status badge.
commit sha 61b6be50b0ead11eb06a8285ee6fdee448122de3
added checkout so that we actually build the thing we need to test
commit sha 215fc329231ba6a8f484cb9dbea47c8ea0c3c357
Merge pull request #528 from jfdm/add-status-badge Add status badge
push time in 4 days
push eventidris-hackers/idris-mode
commit sha ad8ea214413e7c94f1570c98e25a34e27a88ac73
[ improvement ] first attempt at migrating to github actions.
commit sha 66994ebe4fb69659eb067fdb343cf20c9447a041
Merge pull request #527 from jfdm/migrate-to-actions [ improvement ] first attempt at migrating to github actions.
push time in 4 days