 Oliver Kennedy
|
5321761acf
|
Trimming about all that I can trim through rephrasing+spacing cheats
|
2020-12-19 14:02:12 -05:00 |
|
|
Oliver Kennedy
|
6662a05813
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-19 12:59:35 -05:00 |
|
|
Oliver Kennedy
|
a2bf8d6daf
|
Trimming for space
|
2020-12-19 12:59:27 -05:00 |
|
 Aaron Huber
|
5263bde6ac
|
Merge S2.4 with S2.5
|
2020-12-19 12:57:27 -05:00 |
|
|
Aaron Huber
|
430b69fd76
|
Small changes to S2.4
|
2020-12-19 12:31:35 -05:00 |
|
Boris Glavic
|
22e5af76db
|
split related work
|
2020-12-19 08:32:58 -06:00 |
|
|
Boris Glavic
|
d020eba059
|
fixed refs
|
2020-12-19 00:28:07 -06:00 |
|
|
Boris Glavic
|
61b46da038
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-19 00:21:03 -06:00 |
|
|
Boris Glavic
|
923cba6a34
|
merged bib + wrote related work
|
2020-12-19 00:19:27 -06:00 |
|
|
Oliver Kennedy
|
aa8b4b9464
|
Undoing a few glitches
|
2020-12-19 01:17:15 -05:00 |
|
|
Oliver Kennedy
|
e45be8b1c5
|
Finishing S4.
|
2020-12-19 01:15:50 -05:00 |
|
|
Oliver Kennedy
|
ac34a521f2
|
a few more tweaks
|
2020-12-19 00:57:52 -05:00 |
|
|
Oliver Kennedy
|
0e7aaa8ebe
|
Pass over S2, S3; Ended up saving a column or so
|
2020-12-19 00:45:30 -05:00 |
|
|
Aaron Huber
|
899edc4248
|
Finished porting all @atri asked in 121820 meeting
|
2020-12-18 18:23:24 -05:00 |
|
|
Oliver Kennedy
|
1673b0393f
|
A few more intro tweaks
|
2020-12-18 18:02:28 -05:00 |
|
|
Aaron Huber
|
2b9999e160
|
Consolidated S2
|
2020-12-18 17:04:29 -05:00 |
|
|
Oliver Kennedy
|
2b200bfd0e
|
Minor tweaks
|
2020-12-18 16:21:19 -05:00 |
|
|
Oliver Kennedy
|
b096ab186a
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-18 16:14:22 -05:00 |
|
|
Oliver Kennedy
|
abc401dc33
|
Intro pass
|
2020-12-18 16:14:11 -05:00 |
|
|
Boris Glavic
|
cc989e88bc
|
sec 3
|
2020-12-18 12:06:13 -06:00 |
|
|
Boris Glavic
|
dcbbafa4e9
|
Merge branch 'master' of gitlab.odin.cse.buffalo.edu:ahuber/SketchingWorlds
|
2020-12-18 11:23:20 -06:00 |
|
|
Boris Glavic
|
aaebbc7912
|
sec 3
|
2020-12-18 11:23:13 -06:00 |
|
 Atri Rudra
|
8993b36ccc
|
added some minor macros
|
2020-12-18 12:10:48 -05:00 |
|
|
Atri Rudra
|
9dc5ed2345
|
Done with intro pass:
|
2020-12-18 12:03:17 -05:00 |
|
|
Aaron Huber
|
a8c399325e
|
Ported some defs from S4 to S2; capitalized variables.
|
2020-12-18 11:39:38 -05:00 |
|
|
Atri Rudra
|
634d6a0048
|
In middle of my pass on intro
|
2020-12-18 11:37:37 -05:00 |
|
|
Aaron Huber
|
bdb95465e1
|
More changes to experiment section
|
2020-12-18 10:53:39 -05:00 |
|
|
Aaron Huber
|
a7c74ba380
|
Restructure Experiments Section, stated error in terms of \gamma
|
2020-12-18 10:18:47 -05:00 |
|
|
Oliver Kennedy
|
d773f8e314
|
pass through S5
|
2020-12-17 22:00:32 -05:00 |
|
|
Aaron Huber
|
e9d13722af
|
Moved S2 proofs into Appendix
|
2020-12-17 17:08:48 -05:00 |
|
|
Aaron Huber
|
aa8bac2075
|
Moved unnecessary S3 defs into appendix.
|
2020-12-17 16:53:45 -05:00 |
|
|
Aaron Huber
|
7c4949ab6c
|
Moved proofs into appendix (S3, S4)
|
2020-12-17 16:40:48 -05:00 |
|
|
Aaron Huber
|
14cd501bfe
|
Reading pass on S5
|
2020-12-17 12:13:30 -05:00 |
|
|
Atri Rudra
|
19b6220ee6
|
Done with my pass on Sec 5
|
2020-12-17 01:32:08 -05:00 |
|
|
Atri Rudra
|
f63cf9c2e5
|
Still working on Sec 5
|
2020-12-17 00:02:07 -05:00 |
|
|
Aaron Huber
|
e13373cf21
|
Small changes Sec 3
|
2020-12-16 22:09:57 -05:00 |
|
|
Atri Rudra
|
b9ad03d01b
|
Finally, started my pass on Sec 5
|
2020-12-16 21:34:26 -05:00 |
|
Su Feng
|
f2a6a62320
|
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2020-12-16 20:01:32 -06:00 |
|
|
Su Feng
|
b128f5b90b
|
comments section 1&2
|
2020-12-16 20:01:22 -06:00 |
|
|
Aaron Huber
|
fe14d240b6
|
Fixed end of lemma 3.5 proof.
|
2020-12-16 17:25:37 -05:00 |
|
|
Aaron Huber
|
ac684a8d47
|
Made a pass on S2.
|
2020-12-16 12:38:21 -05:00 |
|
|
Aaron Huber
|
b4d0814133
|
Fixed typo in section 2.
|
2020-12-16 09:54:46 -05:00 |
|
|
Aaron Huber
|
9993556324
|
Merge branch 'master' of https://gitlab.odin.cse.buffalo.edu/ahuber/SketchingWorlds
|
2020-12-16 09:39:21 -05:00 |
|
|
Atri Rudra
|
2a07b70b48
|
Made pass on Aaron Sec 4 comments
|
2020-12-15 19:26:19 -05:00 |
|
|
Atri Rudra
|
b824916441
|
Handled Oliver's comments on Sec 3
|
2020-12-15 19:10:17 -05:00 |
|
|
Aaron Huber
|
88f2d50b4f
|
Resolving conflicts
|
2020-12-15 18:48:44 -05:00 |
|
|
Aaron Huber
|
ccc2f2ef0b
|
Minor cosmetic changes
|
2020-12-15 18:46:36 -05:00 |
|
|
Oliver Kennedy
|
9e101082c7
|
Minor typo fixes
|
2020-12-15 17:46:35 -05:00 |
|
|
Oliver Kennedy
|
56b47078a0
|
Minor tweaks
|
2020-12-15 17:26:40 -05:00 |
|
|
Aaron Huber
|
f118d51339
|
Fixed arithmetic error in experiment section.
|
2020-12-15 12:51:17 -05:00 |
|