natas_hw
/
sempre
mirror of https://github.com/percyliang/sempre
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
446 Commits 15 Branches 6 Tags 140 MiB
Commit Graph

446 Commits

Author SHA1 Message Date
Sida Wang d2214efda8 Merge pull request #22 from samginn/sidaw-interactive 
Send down all the structs at once
 2017-02-03 18:21:37 -08:00
Sam Ginn 6c85cc6c3d Send down all the structs at once 2017-02-03 18:00:46 -08:00
Sida Wang 07ad58abc7 Merge pull request #21 from samginn/sidaw-interactive 
Fix citation sort and show 10 top builders
 2017-02-03 13:05:16 -08:00
Sam Ginn f036ecc678 Fix citation sort and show 10 top builders 2017-02-03 12:48:26 -08:00
Sida Wang ffd8cb298b Merge branch 'sidaw-interactive' of https://github.com/sidaw/sempre-interactive into sidaw-interactive 2017-02-03 02:32:00 -08:00
Sida Wang 32b4470e40 final stress test, improvements to grammar induction, general bug fixes 2017-02-03 02:31:52 -08:00
Sida Wang bb38eb442c Merge pull request #20 from samginn/sidaw-interactive 
fix safepath check to test absolute paths
 2017-02-02 22:55:13 -08:00
Sida Wang f16fdf8b54 simple packing, tested 2017-02-02 11:03:13 -08:00
Sida Wang 75e2ceb64e grammar test passing 2017-02-02 08:23:33 -08:00
Sida Wang b03ab90688 grammar induction iteration, fix parenthesis bug 2017-02-02 07:09:44 -08:00
Sam Ginn 6da565982e fix safepath check to test absolute paths 2017-02-01 22:51:37 -08:00
Sida Wang 83c43998c4 qualifer 3 data, fix up of qualifer 1 2017-02-01 21:52:34 -08:00
Sida Wang 23b1764ff0 improvements to features, bug fix on automatic scoping 2017-02-01 20:40:10 -08:00
Sida Wang 5a860ab1bd Merge pull request #19 from samginn/sidaw-interactive 
ensure path names from user data are safe paths
 2017-01-31 23:07:38 -08:00
Sida Wang 02a25f5af0 language analyzer exception length stats 2017-01-31 15:32:07 -08:00
Sam Ginn e52f5b5822 ensure path names from user data are safe paths 2017-01-31 12:23:14 -08:00
Sida Wang d81370eaf5 Merge pull request #18 from samginn/sidaw-interactive 
SID parameters from URL server
 2017-01-30 22:08:42 -08:00
Sam Ginn 6920b8fc2d Get shared struct id from passed sid via URL param 2017-01-30 21:10:12 -08:00
Sam Ginn 73170c7d23 Revert "Add save structure to slot" 
This reverts commit 509be8cf95.
 2017-01-30 21:09:09 -08:00
Sida Wang ae46098d43 Merge branch 'sidaw-interactive' of https://github.com/sidaw/sempre-interactive into sidaw-interactive 2017-01-30 02:05:24 -08:00
Sida Wang 13b7eba13e analysis script 2017-01-30 02:05:19 -08:00
Sida Wang bc0b9e656b Merge pull request #17 from samginn/sidaw-interactive 
Bug Fixes: put logs in their own files by uid bug fix and sort top builders properly
 2017-01-30 02:04:03 -08:00
Sam Ginn 509be8cf95 Add save structure to slot 2017-01-30 00:14:09 -08:00
Sida Wang 10075d88ab rename command inputs 2017-01-29 23:52:41 -08:00
Sida Wang 822d902e5d analytics and new data 2017-01-29 23:52:22 -08:00
Sam Ginn 310bd5797f sort top builders properly 2017-01-29 16:52:14 -08:00
Sam Ginn 04550e8c12 put logs in their own files by uid bug fix 2017-01-29 15:59:41 -08:00
Sida Wang 06420127f2 analysis utilities 2017-01-29 13:36:56 -08:00
Sida Wang ce23b45066 bug fixes for deriving empty formula 2017-01-29 00:40:49 -08:00
Sida Wang 0b52931789 bug fixes 2017-01-28 23:47:54 -08:00
Sida Wang dcde9d3b73 Merge branch 'sidaw-interactive' of https://github.com/sidaw/sempre-interactive into sidaw-interactive 2017-01-28 21:43:32 -08:00
Sida Wang 84c93f1377 no scoping on def 2017-01-28 21:43:23 -08:00
Sida Wang 34eded2c21 Merge pull request #16 from samginn/sidaw-interactive 
Show 7 top builders with top 7 citations and only 3 newest builders
 2017-01-28 21:37:45 -08:00
Sam Ginn 15ffcfa874 Show 7 top builders with top 7 citations and only 3 newest builders 2017-01-28 19:14:18 -08:00
Sida Wang 7a74929661 messing with block, changed isolate to be blocklike, default to no scoping on definitions 2017-01-28 18:51:23 -08:00
Sida Wang 842a626913 more error checking, rule source, etc. 2017-01-27 21:07:30 -08:00
Sida Wang fdba93c017 source information for rules 2017-01-26 15:29:11 -08:00
Sida Wang 4bba263616 Merge pull request #14 from samginn/sidaw-interactive 
send sessionID per request
 2017-01-25 18:45:00 -08:00
Sam Ginn 5435b5a20b send sessionID per request 2017-01-25 18:29:12 -08:00
Sida Wang f3a3a05347 trying to catch the threading issue 2017-01-25 15:37:28 -08:00
Sida Wang 5c83e6c612 simplications 2017-01-25 14:39:10 -08:00
Sida Wang 5ba580c58d Merge pull request #13 from samginn/sidaw-interactive 
prefer sending definitions with cites
 2017-01-25 13:29:40 -08:00
Sam Ginn dc26e6b390 prefer sending definitions with cites 2017-01-25 13:10:57 -08:00
Sida Wang 37f4f02610 test server for Sam 2017-01-25 11:38:20 -08:00
Sida Wang e085e31a09 Merge pull request #12 from samginn/sidaw-interactive 
update h-index formula and score formula and delete structs support
 2017-01-24 23:43:01 -08:00
Sam Ginn 2bb1e8340c Added delete structs 2017-01-24 23:33:26 -08:00
Sida Wang a093ef5b60 simulator, sandboxing, bug fixes 2017-01-24 23:33:26 -08:00
Sida Wang 3f4d37bf4d sandbox bug fix 2017-01-24 23:33:05 -08:00
Sida Wang 397f103bee simulator, sandboxing, bug fixes 2017-01-24 23:12:29 -08:00
Sam Ginn ac43e36e5f update h-index formula and score formula 2017-01-23 16:53:23 -08:00