GitXplorerGitXplorer
d

oslp

public
0 stars
0 forks
0 issues

Commits

List of commits on branch main.
Unverified
641d540cde89becc91ec14d39ef54a135fb80ac8

Added compilation of bsequencer

ddmgolubovsky committed 3 years ago
Unverified
1b7b1f073ebdd34cee187e4acce8232378319297

Added B-sequencer

ddmgolubovsky committed 3 years ago
Unverified
eb716b765bf3d20a607f5b97538d5d7f07120620

Remove requires symlimks after the syngroup is done.

ddmgolubovsky committed 3 years ago
Unverified
e3cf32a7d1ee2bfa4ce0fcc71bc4812377b2e5e9

Convenience utils to load/unload patches from within ghci

ddmgolubovsky committed 3 years ago
Unverified
1b8d1bbc2e9db59f0ce6b7daeed8a4957c67a4f8

Switch to GHC: too many parts of Hugs are missing these days...

ddmgolubovsky committed 3 years ago
Unverified
4cb567ad82ceac69487a1696cead57c3792b5c9c

A convenience script to load a patch read as JSON from standard input.

ddmgolubovsky committed 3 years ago