Skip to content

Activity

Showing most recent first

switched back to the completion API

KasraFcreated leap-instruct-model • 210bb19 • 
on Jan 23, 2024

minor improvements to LEAP prompting

KasraFpushed 1 commit to leap • 9536e8e…c201687 • 
on Jan 22, 2024

tweaked for code completion prompt for correct indentations

KasraFpushed 1 commit to leap • 5460164…9536e8e • 
on Jan 10, 2024

tweaked for code completion prompt for correct indentations

rlisahuangcreated lisa-prompt-indentation • 9536e8e • 
on Jan 10, 2024

fixed various issues with the remote LeapUtils code

KasraFpushed 1 commit to leap • 265def4…5460164 • 
on Jan 10, 2024

Merge pull request #56 from UCSD-PL/mj-openai-chat

Pull request merge
KasraFpushed 7 commits to leap • 8129e98…265def4 • 
on Jan 10, 2024

local dev instructions in README under the leap directory

rlisahuangpushed 1 commit to mj-openai-chat • 1434eea…358fc87 • 
on Jan 9, 2024

fixed rendering completions

rlisahuangpushed 3 commits to mj-openai-chat • 621d57d…1434eea • 
on Jan 9, 2024

need to allow dangerous execution in electron

michaelbjamespushed 1 commit to mj-openai-chat • e99fb2d…621d57d • 
on Jan 9, 2024

use new openai package and models

michaelbjamescreated mj-openai-chat • e99fb2d • 
on Jan 9, 2024

show a spinner if the Output box is out of date

KasraFpushed 1 commit to leap • 6b46de2…8129e98 • 
on Mar 24, 2023

fixed bug where plt.show() showed multiple plots

KasraFpushed 1 commit to leap • 736a72a…6b46de2 • 
on Mar 23, 2023

use Ctrl/Cmd+. to toggle the Output box

KasraFpushed 1 commit to leap • 2bd6d43…736a72a • 
on Mar 22, 2023

read the OpenAI completion request from the server

KasraFpushed 1 commit to leap • d5782e2…2bd6d43 • 
on Mar 22, 2023

added Admin user group

KasraFpushed 1 commit to leap • 8d1677d…d5782e2 • 
on Mar 20, 2023

synthesizing -> getting suggestions

KasraFpushed 1 commit to leap • 94b700d…8d1677d • 
on Mar 20, 2023

various minor fixes to the logging code

KasraFpushed 1 commit to leap • 768f44b…94b700d • 
on Mar 19, 2023

added leap to the copyright filter

KasraFpushed 2 commits to leap • 511277a…768f44b • 
on Mar 17, 2023

fixed minor bug in local logging code

KasraFpushed 2 commits to leap • ad50986…511277a • 
on Mar 15, 2023

fixed bug where our post-processed code was save, rather than the use…

KasraFpushed 1 commit to leap • d379b04…ad50986 • 
on Mar 15, 2023

fixed bug where non-Exception errors (e.g. GeneratorExit) could overw…

KasraFpushed 2 commits to leap • b8b2892…d379b04 • 
on Mar 15, 2023

Merge remote-tracking branch 'origin/leap' into leap

rlisahuangpushed 2 commits to leap • 4967fd8…b8b2892 • 
on Mar 14, 2023

slight changes around cancelling Projection Boxes updates

KasraFpushed 1 commit to leap • cf9a212…4967fd8 • 
on Mar 13, 2023

first draft of Leap logger

KasraFpushed 1 commit to leap • 4dba59b…cf9a212 • 
on Mar 13, 2023

refactored the RTVLogger

KasraFpushed 1 commit to leap • 68b8c1d…4dba59b • 
on Mar 13, 2023

Deleted branch

rlisahuangdeleted show-variables-for-print • 
on Mar 12, 2023

Merge pull request #50 from UCSD-PL/show-variables-for-print

Pull request merge
rlisahuangpushed 4 commits to leap • eb0a7a7…68b8c1d • 
on Mar 12, 2023

only show print arg values in PB when the args are name exprs

rlisahuangpushed 1 commit to show-variables-for-print • 9d9ca8d…21f2ccc • 
on Mar 12, 2023

show loop counter in PB under ModVars mode when there is a loop

rlisahuangpushed 1 commit to leap • 6232d6d…eb0a7a7 • 
on Mar 12, 2023

added a test case

rlisahuangcreated show-variables-for-print • 9d9ca8d • 
on Mar 12, 2023