Skip to content

Activity

Showing most recent first

add documentation

lbeurerkellnercreated prompt-sketching • 3db7201 • 
on Jun 3, 2024

add documentation

lbeurerkellnerpushed 2 commits to main • fdb773c…3db7201 • 
on May 9, 2024

query builder wip

lbeurerkellnercreated query-builder • d64ade8 • 
on May 9, 2024

Merge pull request #334 from Saibo-creator/query_builder

Pull request merge
lbeurerkellnerpushed 3 commits to main • eaf03be…fdb773c • 
on May 9, 2024

Merge pull request #340 from kentjhall/bopenai-race-fix

Pull request merge
lbeurerkellnerpushed 2 commits to main • 969af9b…eaf03be • 
on Apr 28, 2024

Deploying to web from @ 969af9b 🚀

github-actions[bot]pushed 1 commit to web • 3d2cca8…762d1e2 • 
on Mar 8, 2024

Update test_stopping.py

lbeurerkellnerpushed 1 commit to main • 5c9d802…969af9b • 
on Mar 8, 2024

fix bug with looped nested queries

lbeurerkellnerpushed 1 commit to main • bd1e7ce…5c9d802 • 
on Mar 8, 2024

Deploying to web from @ bd1e7ce 🚀

github-actions[bot]pushed 1 commit to web • b390fd1…3d2cca8 • 
on Mar 7, 2024

Merge pull request #336 from Saibo-creator/feat_torch_compile

Pull request merge
lbeurerkellnerpushed 2 commits to main • ee74c2b…bd1e7ce • 
on Mar 7, 2024

Merge pull request #314 from tillfalko/main

Pull request merge
lbeurerkellnerpushed 2 commits to main • 60feb0b…ee74c2b • 
on Mar 7, 2024

Merge pull request #335 from stevenbedrick/fixing-layout-and-visible-…

Pull request merge
lbeurerkellnerpushed 2 commits to main • 0148db2…60feb0b • 
on Mar 7, 2024

Deploying to web from @ 0148db2 🚀

github-actions[bot]pushed 1 commit to web • 59500d6…b390fd1 • 
on Feb 19, 2024

add papers

lbeurerkellnerpushed 1 commit to main • 67bd95c…0148db2 • 
on Feb 19, 2024

Deploying to web from @ 67bd95c 🚀

github-actions[bot]pushed 1 commit to web • 6cfdfbe…59500d6 • 
on Feb 14, 2024

disable browser playground + survey blog

lbeurerkellnerpushed 1 commit to main • a9bd191…67bd95c • 
on Feb 14, 2024

Deploying to web from @ a9bd191 🚀

github-actions[bot]pushed 1 commit to web • 64e3688…6cfdfbe • 
on Feb 14, 2024

fix stopping test

lbeurerkellnerpushed 1 commit to main • b6d2dc1…a9bd191 • 
on Feb 14, 2024

Merge branch 'main' of github.com:eth-sri/lmql

lbeurerkellnerpushed 2 commits to main • 2bffb8d…b6d2dc1 • 
on Feb 14, 2024

Merge pull request #319 from CodeWordKey/fix-playground-windows

Pull request merge
lbeurerkellnerpushed 2 commits to main • fa19660…2bffb8d • 
on Feb 14, 2024

Merge pull request #318 from CodeWordKey/fix-build

Pull request merge
lbeurerkellnerpushed 2 commits to main • 42fccbe…fa19660 • 
on Feb 14, 2024

Update README.md

lbeurerkellnerpushed 1 commit to main • e379504…42fccbe • 
on Feb 14, 2024

Update README.md

lbeurerkellnerpushed 1 commit to main • 536ab30…e379504 • 
on Feb 14, 2024

Update README.md

lbeurerkellnerpushed 1 commit to main • b758347…536ab30 • 
on Feb 14, 2024

Update README.md

lbeurerkellnerpushed 1 commit to main • c319446…b758347 • 
on Feb 14, 2024

Merge branch 'main' of github.com:eth-sri/lmql

lbeurerkellnerpushed 2 commits to main • 2c54489…c319446 • 
on Jan 9, 2024

Deploying to web from @ e147d1d 🚀

github-actions[bot]pushed 1 commit to web • 4fee5a2…64e3688 • 
on Jan 9, 2024

Merge pull request #294 from endolith/patch-1

Pull request merge
lbeurerkellnerpushed 3 commits to main • e147d1d…2c54489 • 
on Jan 9, 2024

Merge pull request #301 from andy-zhou/ensure_tracer

Pull request merge
lbeurerkellnerpushed 2 commits to main • 490a813…e147d1d • 
on Jan 9, 2024

Deploying to web from @ 490a813 🚀

github-actions[bot]pushed 1 commit to web • ffc48c5…4fee5a2 • 
on Jan 9, 2024