- Stanford University Centaur Group
- https://leni.sh
-
Admin of this website
- Joined on
2023-08-21
fix: Instantiation causes infinite loop
0c260addcf
Merge pull request 'feat: Instantiation tests' (#52) from io/serial into dev
90f7f251e9
Merge branch 'dev' into io/serial
bc83a5732e
feat: Instantiation tests
90f7f251e9
Merge branch 'dev' into io/serial
ff8a462bcd
Merge pull request 'fix: Build failure on macOS due to LLVM version' (#53) from misc/toolchain into dev
431bdab236
doc: Reason why not to follow nixpkgs
a4a1dfabef
Merge branch 'dev' into misc/toolchain
08874d433f
fix: Update flake so lean builds on Darwin
ff8a462bcd
Merge pull request 'fix: Build failure on macOS due to LLVM version' (#53) from misc/toolchain into dev
431bdab236
doc: Reason why not to follow nixpkgs
a4a1dfabef
Merge branch 'dev' into misc/toolchain
08874d433f
fix: Update flake so lean builds on Darwin
5c970bfeed
fix: Lean build failure on macOS
fix: Build failure on macOS due to LLVM version
a4a1dfabef
Merge branch 'dev' into misc/toolchain
c701210f53
Merge pull request 'feat: Query arbitrary assignment in goal' (#47) from goal/relation into dev
113e65e193
Merge branch 'dev' into goal/relation
8853b17fee
test: More diagnostics for tests
5c970bfeed
fix: Lean build failure on macOS
aeed233846
Merge pull request 'chore: Version bump and toolchain cleanup' (#51) from misc/toolchain into dev
fix: Build failure on macOS due to LLVM version
c701210f53
Merge pull request 'feat: Query arbitrary assignment in goal' (#47) from goal/relation into dev
113e65e193
Merge branch 'dev' into goal/relation
8853b17fee
test: More diagnostics for tests
feat: Query arbitrary assignment in goal
113e65e193
Merge branch 'dev' into goal/relation
aeed233846
Merge pull request 'chore: Version bump and toolchain cleanup' (#51) from misc/toolchain into dev
3e1a14222c
Merge branch 'dev' into misc/toolchain
0ade3d1637
Merge pull request 'feat: Remove display of implementation details' (#50) from io/serial into dev
bdb060b79f
build: Dev shell