added results

idsc-frazzoli · Mar 3, 2019 · b27023c · b27023c
1 parent 82892a7
commit b27023c
Show file tree

Hide file tree

Showing 1,237 changed files with 3,808 additions and 0 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -5,3 +5,7 @@
 *css filter=lfs diff=lfs merge=lfs -text
 *html filter=lfs diff=lfs merge=lfs -text
 *svg filter=lfs diff=lfs merge=lfs -text
+*zip filter=lfs diff=lfs merge=lfs -text
+*gif filter=lfs diff=lfs merge=lfs -text
+*xml filter=lfs diff=lfs merge=lfs -text
+*jar filter=lfs diff=lfs merge=lfs -text
diff --git a/dist/190301/baseline-random/index.html b/dist/190301/baseline-random/index.html
diff --git a/...90301/baseline-random/index.html_resources/baseline-random-figure1-cost-average-karma.pdf b/...90301/baseline-random/index.html_resources/baseline-random-figure1-cost-average-karma.pdf
diff --git a/...line-random/index.html_resources/baseline-random-figure1-cost-average-karma.png b/...line-random/index.html_resources/baseline-random-figure1-cost-average-karma.png
diff --git a/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-cost-average.pdf b/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-cost-average.pdf
diff --git a/...1/baseline-random/index.html_resources/baseline-random-figure1-cost-average.png b/...1/baseline-random/index.html_resources/baseline-random-figure1-cost-average.png
diff --git a/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-cost-cumulative.pdf b/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-cost-cumulative.pdf
diff --git a/...aseline-random/index.html_resources/baseline-random-figure1-cost-cumulative.png b/...aseline-random/index.html_resources/baseline-random-figure1-cost-cumulative.png
diff --git a/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-cost-karma.pdf b/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-cost-karma.pdf
diff --git a/...301/baseline-random/index.html_resources/baseline-random-figure1-cost-karma.png b/...301/baseline-random/index.html_resources/baseline-random-figure1-cost-karma.png
diff --git a/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-karma.pdf b/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-karma.pdf
diff --git a/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-karma.png b/dist/190301/baseline-random/index.html_resources/baseline-random-figure1-karma.png
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/jquery.imageZoom.css b/dist/190301/baseline-random/index.html_resources/static/jquery/jquery.imageZoom.css
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/jquery.imageZoom.js b/dist/190301/baseline-random/index.html_resources/static/jquery/jquery.imageZoom.js
diff --git a/.../190301/baseline-random/index.html_resources/static/jquery/jquery.imageZoom.png b/.../190301/baseline-random/index.html_resources/static/jquery/jquery.imageZoom.png
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/jquery.js b/dist/190301/baseline-random/index.html_resources/static/jquery/jquery.js
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/jquery.ui.js b/dist/190301/baseline-random/index.html_resources/static/jquery/jquery.ui.js
diff --git a/.../index.html_resources/static/jquery/tablesorter/addons/pager/jquery.tablesorter.pager.css b/.../index.html_resources/static/jquery/tablesorter/addons/pager/jquery.tablesorter.pager.css
diff --git a/...m/index.html_resources/static/jquery/tablesorter/addons/pager/jquery.tablesorter.pager.js b/...m/index.html_resources/static/jquery/tablesorter/addons/pager/jquery.tablesorter.pager.js
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build.xml b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build.xml
diff --git a/...90301/baseline-random/index.html_resources/static/jquery/tablesorter/build/ParseMaster.js b/...90301/baseline-random/index.html_resources/static/jquery/tablesorter/build/ParseMaster.js
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/js.jar b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/js.jar
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/jsmin.js b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/jsmin.js
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/min.js b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/min.js
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/pack.js b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/pack.js
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/packer.js b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/packer.js
diff --git a/.../190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/writeFile.js b/.../190301/baseline-random/index.html_resources/static/jquery/tablesorter/build/writeFile.js
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/changelog b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/changelog
@@ -0,0 +1,41 @@
+tablesorter changelog
+======================
+http://tablesorter.com
+
+Changes in version 2.0.3 (2008-03-17)
+-------------------------------------
+
+Bug fixes
+* Missing semicolon, broke the minified version
+
+
+Changes in version 2.0.2 (2008-03-14)
+-------------------------------------
+
+General
+* Added support for the new metadata plugin
+* Added support for jQuery 1.2.3
+* Added support for decimal numbers and negative and positive digits
+* Updated documenation and website with new examples
+* Removed packed version.
+
+Bug fixes
+* Sort force (Thanks to David Lynch)
+
+
+Changes in version 2.0.1 (2007-09-17)
+-------------------------------------
+
+General
+* Removed the need for Dimensions plugin when using the pagnation plugin thanks to offset being included in the jQuery 1.2 core.
+* Added support for jQuery 1.2
+* Added new Minified version of tablesorter
+* Updated documenation and website with new examples
+
+Bug fixes
+* If row values are identical the original order is kept (Thanks to David hull)
+* If thead includes a table $('tbody:first', table) breaks (Thanks to David Hull)
+
+Speed improvements:
+* appendToTable, setting innerHTML to "" before appending new content to table body.
+* zebra widget. (Thanks to James Dempster)
diff --git a/...eline-random/index.html_resources/static/jquery/tablesorter/docs/assets/ajax-content.html b/...eline-random/index.html_resources/static/jquery/tablesorter/docs/assets/ajax-content.html
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/css/jq.css b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/css/jq.css
diff --git a/...301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-ajax.html b/...301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-ajax.html
diff --git a/...eline-random/index.html_resources/static/jquery/tablesorter/docs/example-empty-table.html b/...eline-random/index.html_resources/static/jquery/tablesorter/docs/example-empty-table.html
diff --git a/...andom/index.html_resources/static/jquery/tablesorter/docs/example-extending-defaults.html b/...andom/index.html_resources/static/jquery/tablesorter/docs/example-extending-defaults.html
diff --git a/...line-random/index.html_resources/static/jquery/tablesorter/docs/example-meta-headers.html b/...line-random/index.html_resources/static/jquery/tablesorter/docs/example-meta-headers.html
diff --git a/...line-random/index.html_resources/static/jquery/tablesorter/docs/example-meta-parsers.html b/...line-random/index.html_resources/static/jquery/tablesorter/docs/example-meta-parsers.html
diff --git a/...ne-random/index.html_resources/static/jquery/tablesorter/docs/example-meta-sort-list.html b/...ne-random/index.html_resources/static/jquery/tablesorter/docs/example-meta-sort-list.html
diff --git a/...line-random/index.html_resources/static/jquery/tablesorter/docs/example-option-debug.html b/...line-random/index.html_resources/static/jquery/tablesorter/docs/example-option-debug.html
diff --git a/...ine-random/index.html_resources/static/jquery/tablesorter/docs/example-option-digits.html b/...ine-random/index.html_resources/static/jquery/tablesorter/docs/example-option-digits.html
diff --git a/...random/index.html_resources/static/jquery/tablesorter/docs/example-option-sort-force.html b/...random/index.html_resources/static/jquery/tablesorter/docs/example-option-sort-force.html
diff --git a/...e-random/index.html_resources/static/jquery/tablesorter/docs/example-option-sort-key.html b/...e-random/index.html_resources/static/jquery/tablesorter/docs/example-option-sort-key.html
diff --git a/...-random/index.html_resources/static/jquery/tablesorter/docs/example-option-sort-list.html b/...-random/index.html_resources/static/jquery/tablesorter/docs/example-option-sort-list.html
diff --git a/...random/index.html_resources/static/jquery/tablesorter/docs/example-option-sort-order.html b/...random/index.html_resources/static/jquery/tablesorter/docs/example-option-sort-order.html
diff --git a/...m/index.html_resources/static/jquery/tablesorter/docs/example-option-text-extraction.html b/...m/index.html_resources/static/jquery/tablesorter/docs/example-option-text-extraction.html
diff --git a/...e-random/index.html_resources/static/jquery/tablesorter/docs/example-options-headers.html b/...e-random/index.html_resources/static/jquery/tablesorter/docs/example-options-headers.html
diff --git a/...01/baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-pager.html b/...01/baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-pager.html
diff --git a/.../baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-parsers.html b/.../baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-parsers.html
diff --git a/...line-random/index.html_resources/static/jquery/tablesorter/docs/example-trigger-sort.html b/...line-random/index.html_resources/static/jquery/tablesorter/docs/example-trigger-sort.html
diff --git a/...baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-triggers.html b/...baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-triggers.html
diff --git a/...eline-random/index.html_resources/static/jquery/tablesorter/docs/example-update-cell.html b/...eline-random/index.html_resources/static/jquery/tablesorter/docs/example-update-cell.html
diff --git a/.../baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-widgets.html b/.../baseline-random/index.html_resources/static/jquery/tablesorter/docs/example-widgets.html
diff --git a/...ine-random/index.html_resources/static/jquery/tablesorter/docs/img/external.png b/...ine-random/index.html_resources/static/jquery/tablesorter/docs/img/external.png
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/index.html b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/index.html
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/js/docs.js b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/js/docs.js
diff --git a/...190301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/js/examples.js b/...190301/baseline-random/index.html_resources/static/jquery/tablesorter/docs/js/examples.js
diff --git a/.../190301/baseline-random/index.html_resources/static/jquery/tablesorter/jquery.metadata.js b/.../190301/baseline-random/index.html_resources/static/jquery/tablesorter/jquery.metadata.js
diff --git a/...0301/baseline-random/index.html_resources/static/jquery/tablesorter/jquery.tablesorter.js b/...0301/baseline-random/index.html_resources/static/jquery/tablesorter/jquery.tablesorter.js
diff --git a/.../baseline-random/index.html_resources/static/jquery/tablesorter/jquery.tablesorter.min.js b/.../baseline-random/index.html_resources/static/jquery/tablesorter/jquery.tablesorter.min.js
diff --git a/...line-random/index.html_resources/static/jquery/tablesorter/tests/assets/ajax-content.html b/...line-random/index.html_resources/static/jquery/tablesorter/tests/assets/ajax-content.html
diff --git a/...1/baseline-random/index.html_resources/static/jquery/tablesorter/tests/cell.metadata.html b/...1/baseline-random/index.html_resources/static/jquery/tablesorter/tests/cell.metadata.html
diff --git a/...190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/checkbox.html b/...190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/checkbox.html
diff --git a/.../190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/colspan.html b/.../190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/colspan.html
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/demo.html b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/demo.html
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/index.html b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/index.html
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/large.html b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/large.html
diff --git a/...301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/lockedOrder.html b/...301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/lockedOrder.html
diff --git a/...190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/metadata.html b/...190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/metadata.html
diff --git a/...aseline-random/index.html_resources/static/jquery/tablesorter/tests/multiple-headers.html b/...aseline-random/index.html_resources/static/jquery/tablesorter/tests/multiple-headers.html
diff --git a/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/pager.html b/dist/190301/baseline-random/index.html_resources/static/jquery/tablesorter/tests/pager.html
diff --git a/...eline-random/index.html_resources/static/jquery/tablesorter/themes/blue/asc.gif b/...eline-random/index.html_resources/static/jquery/tablesorter/themes/blue/asc.gif
diff --git a/...seline-random/index.html_resources/static/jquery/tablesorter/themes/blue/bg.gif b/...seline-random/index.html_resources/static/jquery/tablesorter/themes/blue/bg.gif
diff --git a/...90301/baseline-random/index.html_resources/static/jquery/tablesorter/themes/blue/blue.zip b/...90301/baseline-random/index.html_resources/static/jquery/tablesorter/themes/blue/blue.zip
diff --git a/...line-random/index.html_resources/static/jquery/tablesorter/themes/blue/desc.gif b/...line-random/index.html_resources/static/jquery/tablesorter/themes/blue/desc.gif
diff --git a/...0301/baseline-random/index.html_resources/static/jquery/tablesorter/themes/blue/style.css b/...0301/baseline-random/index.html_resources/static/jquery/tablesorter/themes/blue/style.css
diff --git a/...line-random/index.html_resources/static/jquery/tablesorter/themes/green/asc.png b/...line-random/index.html_resources/static/jquery/tablesorter/themes/green/asc.png
diff --git a/...eline-random/index.html_resources/static/jquery/tablesorter/themes/green/bg.png b/...eline-random/index.html_resources/static/jquery/tablesorter/themes/green/bg.png
diff --git a/...ine-random/index.html_resources/static/jquery/tablesorter/themes/green/desc.png b/...ine-random/index.html_resources/static/jquery/tablesorter/themes/green/desc.png
diff --git a/...301/baseline-random/index.html_resources/static/jquery/tablesorter/themes/green/green.zip b/...301/baseline-random/index.html_resources/static/jquery/tablesorter/themes/green/green.zip
diff --git a/...301/baseline-random/index.html_resources/static/jquery/tablesorter/themes/green/style.css b/...301/baseline-random/index.html_resources/static/jquery/tablesorter/themes/green/style.css
diff --git a/...ces/static/jquery/ui-lightness/images/ui-bg_diagonals-thick_18_b81900_40x40.png b/...ces/static/jquery/ui-lightness/images/ui-bg_diagonals-thick_18_b81900_40x40.png
diff --git a/...ces/static/jquery/ui-lightness/images/ui-bg_diagonals-thick_20_666666_40x40.png b/...ces/static/jquery/ui-lightness/images/ui-bg_diagonals-thick_20_666666_40x40.png
diff --git a/...tml_resources/static/jquery/ui-lightness/images/ui-bg_flat_10_000000_40x100.png b/...tml_resources/static/jquery/ui-lightness/images/ui-bg_flat_10_000000_40x100.png
diff --git a/...ml_resources/static/jquery/ui-lightness/images/ui-bg_glass_100_f6f6f6_1x400.png b/...ml_resources/static/jquery/ui-lightness/images/ui-bg_glass_100_f6f6f6_1x400.png
diff --git a/...ml_resources/static/jquery/ui-lightness/images/ui-bg_glass_100_fdf5ce_1x400.png b/...ml_resources/static/jquery/ui-lightness/images/ui-bg_glass_100_fdf5ce_1x400.png
diff --git a/...tml_resources/static/jquery/ui-lightness/images/ui-bg_glass_65_ffffff_1x400.png b/...tml_resources/static/jquery/ui-lightness/images/ui-bg_glass_65_ffffff_1x400.png
diff --git a/...ources/static/jquery/ui-lightness/images/ui-bg_gloss-wave_35_f6a828_500x100.png b/...ources/static/jquery/ui-lightness/images/ui-bg_gloss-wave_35_f6a828_500x100.png
diff --git a/...ces/static/jquery/ui-lightness/images/ui-bg_highlight-soft_100_eeeeee_1x100.png b/...ces/static/jquery/ui-lightness/images/ui-bg_highlight-soft_100_eeeeee_1x100.png
diff --git a/...rces/static/jquery/ui-lightness/images/ui-bg_highlight-soft_75_ffe45c_1x100.png b/...rces/static/jquery/ui-lightness/images/ui-bg_highlight-soft_75_ffe45c_1x100.png
diff --git a/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_222222_256x240.png b/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_222222_256x240.png
diff --git a/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_228ef1_256x240.png b/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_228ef1_256x240.png
diff --git a/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_ef8c08_256x240.png b/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_ef8c08_256x240.png
diff --git a/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_ffd27a_256x240.png b/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_ffd27a_256x240.png
diff --git a/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_ffffff_256x240.png b/...ex.html_resources/static/jquery/ui-lightness/images/ui-icons_ffffff_256x240.png
diff --git a/...aseline-random/index.html_resources/static/jquery/ui-lightness/jquery-ui-1.8.5.custom.css b/...aseline-random/index.html_resources/static/jquery/ui-lightness/jquery-ui-1.8.5.custom.css
diff --git a/dist/190301/baseline-random/index.html_resources/static/reprep/default_style.css b/dist/190301/baseline-random/index.html_resources/static/reprep/default_style.css