Finished

ticup · Jan 11, 2013 · b9ab827 · b9ab827
1 parent 89969b1
commit b9ab827
Show file tree

Hide file tree

Showing 346 changed files with 3,487 additions and 10,593 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/BUILD b/BUILD
@@ -1,3 +1,6 @@
-BUILD:
+NOTE: Should be ran with OPA version 1.1.0 or higher!
+NOTE: The versions on the homepage of opalang are not up to date at all and if you're unlucky you probably need to build it yourself to get the latest.
 
-opa ace/ace.js ace/ace.opa jquery-ui/widgets.js jquery-ui/widgets.opa --opx-dir _build --import-package stdlib.database.mongo    --conf opa.conf --conf-opa-files -o dopa.exe --build-dir _build/dopa.exe
+Once you got it the following commands in terminal:
+> opa ace/ace.js ace/ace.opa jquery-ui/widgets.js jquery-ui/widgets.opa --opx-dir _build --import-package stdlib.database.mongo    --conf opa.conf --conf-opa-files -o dopa.exe --build-dir _build/dopa.exe
+> ./dopa.exe
diff --git a/_build/ace.opx/ResolveRemoteCalls b/_build/ace.opx/ResolveRemoteCalls
diff --git a/_build/ace.opx/consistency_check b/_build/ace.opx/consistency_check
diff --git a/_build/ace.opx/funactionlifting b/_build/ace.opx/funactionlifting
diff --git a/_build/ace.opx/imp_Inlining_js b/_build/ace.opx/imp_Inlining_js
diff --git a/_build/ace.opx/imp_Inlining_nodejs b/_build/ace.opx/imp_Inlining_nodejs
diff --git a/_build/ace.opx/imp_Sharing_nodejs b/_build/ace.opx/imp_Sharing_nodejs
diff --git a/_build/ace.opx/main.js b/_build/ace.opx/main.js
diff --git a/_build/ace.opx/opa_InsertRemote_explicit_map_client b/_build/ace.opx/opa_InsertRemote_explicit_map_client
diff --git a/_build/ace.opx/pass_EarlyLambdaLifting_server b/_build/ace.opx/pass_EarlyLambdaLifting_server
diff --git a/_build/ace.opx/pass_ExplicitInstantiation_lifting_client b/_build/ace.opx/pass_ExplicitInstantiation_lifting_client
diff --git a/_build/ace.opx/pass_ExplicitInstantiation_lifting_server b/_build/ace.opx/pass_ExplicitInstantiation_lifting_server
diff --git a/_build/ace.opx/pass_ExplicitInstantiation_memo b/_build/ace.opx/pass_ExplicitInstantiation_memo
diff --git a/_build/ace.opx/pass_GenerateServerAst b/_build/ace.opx/pass_GenerateServerAst
diff --git a/_build/ace.opx/pass_LambdaLifting_client b/_build/ace.opx/pass_LambdaLifting_client
diff --git a/_build/ace.opx/pass_LambdaLifting_server b/_build/ace.opx/pass_LambdaLifting_server
diff --git a/_build/ace.opx/pass_Slicing b/_build/ace.opx/pass_Slicing
diff --git a/_build/ace.opx/pass_TypeDefinition b/_build/ace.opx/pass_TypeDefinition
diff --git a/_build/ace.opx/pass_Typing b/_build/ace.opx/pass_Typing
diff --git a/_build/ace.opx/qmlSimpleSlicerEffect b/_build/ace.opx/qmlSimpleSlicerEffect
diff --git a/_build/ace.opx/renaming_exp b/_build/ace.opx/renaming_exp
diff --git a/_build/ace.opx/renaming_opamaptoident b/_build/ace.opx/renaming_opamaptoident
diff --git a/_build/ace.opx/renaming_type b/_build/ace.opx/renaming_type
diff --git a/_build/ace.opx/undot b/_build/ace.opx/undot
diff --git a/_build/dopa.controller.opx/consistency_check b/_build/dopa.controller.opx/consistency_check
diff --git a/_build/dopa.controller.opx/funactionlifting b/_build/dopa.controller.opx/funactionlifting
diff --git a/_build/dopa.controller.opx/imp_Inlining_nodejs b/_build/dopa.controller.opx/imp_Inlining_nodejs
diff --git a/_build/dopa.controller.opx/imp_Sharing_nodejs b/_build/dopa.controller.opx/imp_Sharing_nodejs
diff --git a/_build/dopa.controller.opx/main.js b/_build/dopa.controller.opx/main.js
diff --git a/_build/dopa.controller.opx/pass_DbSchemaGeneration b/_build/dopa.controller.opx/pass_DbSchemaGeneration
diff --git a/_build/dopa.controller.opx/pass_EarlyLambdaLifting_server b/_build/dopa.controller.opx/pass_EarlyLambdaLifting_server
diff --git a/_build/dopa.controller.opx/pass_ExplicitInstantiation_lifting_server b/_build/dopa.controller.opx/pass_ExplicitInstantiation_lifting_server
diff --git a/_build/dopa.controller.opx/pass_GenerateServerAst b/_build/dopa.controller.opx/pass_GenerateServerAst
diff --git a/_build/dopa.controller.opx/pass_LambdaLifting_client b/_build/dopa.controller.opx/pass_LambdaLifting_client
diff --git a/_build/dopa.controller.opx/pass_LambdaLifting_server b/_build/dopa.controller.opx/pass_LambdaLifting_server
diff --git a/_build/dopa.controller.opx/pass_SimplifyEquality b/_build/dopa.controller.opx/pass_SimplifyEquality
diff --git a/_build/dopa.controller.opx/pass_Slicing b/_build/dopa.controller.opx/pass_Slicing
diff --git a/_build/dopa.controller.opx/pass_TypeDefinition b/_build/dopa.controller.opx/pass_TypeDefinition
diff --git a/_build/dopa.controller.opx/pass_Typing b/_build/dopa.controller.opx/pass_Typing
diff --git a/_build/dopa.controller.opx/qmlCpsRewriter_server b/_build/dopa.controller.opx/qmlCpsRewriter_server
diff --git a/_build/dopa.controller.opx/qmlSimpleSlicerEffect b/_build/dopa.controller.opx/qmlSimpleSlicerEffect
diff --git a/_build/dopa.controller.opx/renaming_exp b/_build/dopa.controller.opx/renaming_exp
diff --git a/_build/dopa.controller.opx/renaming_opamaptoident b/_build/dopa.controller.opx/renaming_opamaptoident
diff --git a/_build/dopa.controller.opx/undot b/_build/dopa.controller.opx/undot
diff --git a/_build/dopa.model.opx/JavascriptCompilation b/_build/dopa.model.opx/JavascriptCompilation
diff --git a/_build/dopa.model.opx/ResolveRemoteCalls b/_build/dopa.model.opx/ResolveRemoteCalls
diff --git a/_build/dopa.model.opx/consistency_check b/_build/dopa.model.opx/consistency_check
diff --git a/_build/dopa.model.opx/funactionlifting b/_build/dopa.model.opx/funactionlifting
diff --git a/_build/dopa.model.opx/imp_Inlining_js b/_build/dopa.model.opx/imp_Inlining_js
diff --git a/_build/dopa.model.opx/imp_Inlining_nodejs b/_build/dopa.model.opx/imp_Inlining_nodejs
diff --git a/_build/dopa.model.opx/imp_Sharing_js b/_build/dopa.model.opx/imp_Sharing_js
diff --git a/_build/dopa.model.opx/imp_Sharing_nodejs b/_build/dopa.model.opx/imp_Sharing_nodejs
diff --git a/_build/dopa.model.opx/main.js b/_build/dopa.model.opx/main.js
diff --git a/_build/dopa.model.opx/opa_InsertRemote_explicit_map_client b/_build/dopa.model.opx/opa_InsertRemote_explicit_map_client
diff --git a/_build/dopa.model.opx/pass_DbSchemaGeneration b/_build/dopa.model.opx/pass_DbSchemaGeneration
diff --git a/_build/dopa.model.opx/pass_EarlyLambdaLifting_server b/_build/dopa.model.opx/pass_EarlyLambdaLifting_server
diff --git a/_build/dopa.model.opx/pass_ExplicitInstantiation b/_build/dopa.model.opx/pass_ExplicitInstantiation
diff --git a/_build/dopa.model.opx/pass_ExplicitInstantiation_lifting_client b/_build/dopa.model.opx/pass_ExplicitInstantiation_lifting_client
diff --git a/_build/dopa.model.opx/pass_ExplicitInstantiation_lifting_server b/_build/dopa.model.opx/pass_ExplicitInstantiation_lifting_server
diff --git a/_build/dopa.model.opx/pass_ExplicitInstantiation_memo b/_build/dopa.model.opx/pass_ExplicitInstantiation_memo
diff --git a/_build/dopa.model.opx/pass_GenerateServerAst b/_build/dopa.model.opx/pass_GenerateServerAst
diff --git a/_build/dopa.model.opx/pass_LambdaLifting_client b/_build/dopa.model.opx/pass_LambdaLifting_client
diff --git a/_build/dopa.model.opx/pass_LambdaLifting_server b/_build/dopa.model.opx/pass_LambdaLifting_server
diff --git a/_build/dopa.model.opx/pass_Slicing b/_build/dopa.model.opx/pass_Slicing
diff --git a/_build/dopa.model.opx/pass_TypeDefinition b/_build/dopa.model.opx/pass_TypeDefinition
diff --git a/_build/dopa.model.opx/pass_Typing b/_build/dopa.model.opx/pass_Typing
diff --git a/_build/dopa.model.opx/qmlCpsRewriter_server b/_build/dopa.model.opx/qmlCpsRewriter_server
diff --git a/_build/dopa.model.opx/qmlSimpleSlicerEffect b/_build/dopa.model.opx/qmlSimpleSlicerEffect
diff --git a/_build/dopa.model.opx/renaming_exp b/_build/dopa.model.opx/renaming_exp
diff --git a/_build/dopa.model.opx/renaming_opamaptoident b/_build/dopa.model.opx/renaming_opamaptoident
diff --git a/_build/dopa.model.opx/renaming_type b/_build/dopa.model.opx/renaming_type
diff --git a/_build/dopa.model.opx/undot b/_build/dopa.model.opx/undot
diff --git a/_build/dopa.view.opx/ResolveRemoteCalls b/_build/dopa.view.opx/ResolveRemoteCalls
diff --git a/_build/dopa.view.opx/ServerJavascriptOptimization b/_build/dopa.view.opx/ServerJavascriptOptimization
diff --git a/_build/dopa.view.opx/consistency_check b/_build/dopa.view.opx/consistency_check
diff --git a/_build/dopa.view.opx/funactionlifting b/_build/dopa.view.opx/funactionlifting
diff --git a/_build/dopa.view.opx/imp_Inlining_js b/_build/dopa.view.opx/imp_Inlining_js
diff --git a/_build/dopa.view.opx/imp_Inlining_nodejs b/_build/dopa.view.opx/imp_Inlining_nodejs
diff --git a/_build/dopa.view.opx/imp_Sharing_js b/_build/dopa.view.opx/imp_Sharing_js
diff --git a/_build/dopa.view.opx/imp_Sharing_nodejs b/_build/dopa.view.opx/imp_Sharing_nodejs
diff --git a/_build/dopa.view.opx/main.js b/_build/dopa.view.opx/main.js
diff --git a/_build/dopa.view.opx/opa_InsertRemote_explicit_map_client b/_build/dopa.view.opx/opa_InsertRemote_explicit_map_client
diff --git a/_build/dopa.view.opx/package.json b/_build/dopa.view.opx/package.json
@@ -1 +1 @@
-{"name":"dopa.view.opx","version":"1.1.0","main":"main.js","dependencies":{"stdlib.widgets.textarea.opx":"1.1.0","stdlib.web.client.opx":"1.1.0","stdlib.themes.bootstrap.opx":"1.1.0","opabsl.opp":"1.1.0","opa-js-runtime-cps":"1.1.0","jquery-ui.opx":"1.1.0","dopa.model.opx":"1.1.0","ace.opx":"1.1.0"}}
+{"name":"dopa.view.opx","version":"1.1.0","main":"main.js","dependencies":{"stdlib.web.client.opx":"1.1.0","stdlib.themes.bootstrap.opx":"1.1.0","opabsl.opp":"1.1.0","opa-js-runtime-cps":"1.1.0","jquery-ui.opx":"1.1.0","dopa.model.opx":"1.1.0","ace.opx":"1.1.0"}}
diff --git a/_build/dopa.view.opx/pass_DbSchemaGeneration b/_build/dopa.view.opx/pass_DbSchemaGeneration
diff --git a/_build/dopa.view.opx/pass_EarlyLambdaLifting_server b/_build/dopa.view.opx/pass_EarlyLambdaLifting_server
diff --git a/_build/dopa.view.opx/pass_ExplicitInstantiation b/_build/dopa.view.opx/pass_ExplicitInstantiation
diff --git a/_build/dopa.view.opx/pass_ExplicitInstantiation_lifting_client b/_build/dopa.view.opx/pass_ExplicitInstantiation_lifting_client
diff --git a/_build/dopa.view.opx/pass_ExplicitInstantiation_lifting_server b/_build/dopa.view.opx/pass_ExplicitInstantiation_lifting_server
diff --git a/_build/dopa.view.opx/pass_ExplicitInstantiation_memo b/_build/dopa.view.opx/pass_ExplicitInstantiation_memo
diff --git a/_build/dopa.view.opx/pass_GenerateServerAst b/_build/dopa.view.opx/pass_GenerateServerAst
diff --git a/_build/dopa.view.opx/pass_LambdaLifting_client b/_build/dopa.view.opx/pass_LambdaLifting_client
diff --git a/_build/dopa.view.opx/pass_LambdaLifting_server b/_build/dopa.view.opx/pass_LambdaLifting_server
diff --git a/_build/dopa.view.opx/pass_Slicing b/_build/dopa.view.opx/pass_Slicing
diff --git a/_build/dopa.view.opx/pass_Typing b/_build/dopa.view.opx/pass_Typing
diff --git a/_build/dopa.view.opx/qmlCpsRewriter_server b/_build/dopa.view.opx/qmlCpsRewriter_server
diff --git a/_build/dopa.view.opx/qmlSimpleSlicerEffect b/_build/dopa.view.opx/qmlSimpleSlicerEffect
diff --git a/_build/dopa.view.opx/renaming_exp b/_build/dopa.view.opx/renaming_exp
diff --git a/_build/dopa.view.opx/renaming_opamaptoident b/_build/dopa.view.opx/renaming_opamaptoident
diff --git a/_build/dopa.view.opx/undot b/_build/dopa.view.opx/undot
diff --git a/_build/jquery-ui.opx/consistency_check b/_build/jquery-ui.opx/consistency_check
diff --git a/caret/caret.js b/caret/caret.js
diff --git a/caret/caret.opa b/caret/caret.opa
diff --git a/diff_match_patch_20121119/javascript/diff_match_patch.js b/diff_match_patch_20121119/javascript/diff_match_patch.js
diff --git a/diff_match_patch_20121119/javascript/diff_match_patch_test.html b/diff_match_patch_20121119/javascript/diff_match_patch_test.html