remove build

This commit is contained in:
Drygin Alexander 2019-06-23 12:25:48 +03:00
parent f230e37483
commit cba820c471
581 changed files with 0 additions and 1457 deletions

View File

@ -1,15 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<module type="JAVA_MODULE" version="4">
<component name="NewModuleRootManager" inherit-compiler-output="true">
<exclude-output />
<content url="file://$MODULE_DIR$">
<sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/examples" isTestSource="false" />
<sourceFolder url="file://$MODULE_DIR$/tests" isTestSource="true" />
<sourceFolder url="file://$MODULE_DIR$/benches" isTestSource="true" />
<excludeFolder url="file://$MODULE_DIR$/target" />
</content>
<orderEntry type="inheritedJdk" />
<orderEntry type="sourceFolder" forTests="false" />
</component>
</module>

View File

@ -1,8 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="ProjectModuleManager">
<modules>
<module fileurl="file://$PROJECT_DIR$/.idea/backend_fluence.iml" filepath="$PROJECT_DIR$/.idea/backend_fluence.iml" />
</modules>
</component>
</project>

View File

@ -1,194 +0,0 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="CargoProjects">
<cargoProject FILE="$PROJECT_DIR$/Cargo.toml" />
</component>
<component name="ChangeListManager">
<list default="true" id="74666de5-8813-4f2f-a569-570f6755fddf" name="Default Changelist" comment="" />
<option name="EXCLUDED_CONVERTED_TO_IGNORED" value="true" />
<option name="SHOW_DIALOG" value="false" />
<option name="HIGHLIGHT_CONFLICTS" value="true" />
<option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
<option name="LAST_RESOLUTION" value="IGNORE" />
</component>
<component name="FileEditorManager">
<leaf>
<file pinned="false" current-in-tab="false">
<entry file="file://$PROJECT_DIR$/src/request_response.rs">
<provider selected="true" editor-type-id="text-editor" />
</entry>
</file>
<file pinned="false" current-in-tab="true">
<entry file="file://$PROJECT_DIR$/src/proof_manager.rs">
<provider selected="true" editor-type-id="text-editor">
<state relative-caret-position="-15">
<caret line="8" column="25" lean-forward="true" selection-start-line="8" selection-start-column="25" selection-end-line="8" selection-end-column="25" />
</state>
</provider>
</entry>
</file>
</leaf>
</component>
<component name="IdeDocumentHistory">
<option name="CHANGED_PATHS">
<list>
<option value="$PROJECT_DIR$/Cargo.toml" />
<option value="$PROJECT_DIR$/src/proof_manager.rs" />
</list>
</option>
</component>
<component name="MacroExpansionManager">
<option name="directoryName" value="yNaPhLBk" />
</component>
<component name="ProjectFrameBounds" extendedState="6">
<option name="x" value="67" />
<option name="y" value="25" />
<option name="width" value="767" />
<option name="height" value="875" />
</component>
<component name="ProjectView">
<navigator proportions="" version="1">
<foldersAlwaysOnTop value="true" />
</navigator>
<panes>
<pane id="Scope" />
<pane id="ProjectPane">
<subPane>
<expand>
<path>
<item name="backend_fluence" type="b2602c69:ProjectViewProjectNode" />
<item name="backend_fluence" type="462c0819:PsiDirectoryNode" />
</path>
</expand>
<select />
</subPane>
</pane>
<pane id="PackagesPane" />
</panes>
</component>
<component name="PropertiesComponent">
<property name="last_opened_file_path" value="$PROJECT_DIR$/Cargo.toml" />
<property name="org.rust.cargo.project.model.PROJECT_DISCOVERY" value="true" />
</component>
<component name="RunDashboard">
<option name="ruleStates">
<list>
<RuleState>
<option name="name" value="ConfigurationTypeDashboardGroupingRule" />
</RuleState>
<RuleState>
<option name="name" value="StatusDashboardGroupingRule" />
</RuleState>
</list>
</option>
</component>
<component name="RunManager" selected="Cargo Command.Expand proof::proof_manager">
<configuration name="Expand proof::proof_manager" type="CargoCommandRunConfiguration" factoryName="Cargo Command" temporary="true">
<option name="channel" value="DEFAULT" />
<option name="command" value="expand --lib --color=always --theme=GitHub --tests proof_manager" />
<option name="allFeatures" value="false" />
<option name="nocapture" value="false" />
<option name="backtrace" value="SHORT" />
<option name="workingDirectory" value="file://$PROJECT_DIR$" />
<envs />
<method v="2" />
</configuration>
<configuration name="Install cargo-expand" type="CargoCommandRunConfiguration" factoryName="Cargo Command" temporary="true">
<option name="channel" value="DEFAULT" />
<option name="command" value="install --force cargo-expand" />
<option name="allFeatures" value="false" />
<option name="nocapture" value="false" />
<option name="backtrace" value="SHORT" />
<option name="workingDirectory" value="file://$PROJECT_DIR$" />
<envs />
<method v="2" />
</configuration>
<recent_temporary>
<list>
<item itemvalue="Cargo Command.Expand proof::proof_manager" />
<item itemvalue="Cargo Command.Install cargo-expand" />
</list>
</recent_temporary>
</component>
<component name="RustProjectSettings">
<option name="toolchainHomeDirectory" value="$USER_HOME$/.cargo/bin" />
</component>
<component name="SvnConfiguration">
<configuration />
</component>
<component name="TaskManager">
<task active="true" id="Default" summary="Default task">
<changelist id="74666de5-8813-4f2f-a569-570f6755fddf" name="Default Changelist" comment="" />
<created>1561232010348</created>
<option name="number" value="Default" />
<option name="presentableId" value="Default" />
<updated>1561232010348</updated>
</task>
<servers />
</component>
<component name="ToolWindowManager">
<frame x="67" y="25" width="1533" height="875" extended-state="6" />
<editor active="true" />
<layout>
<window_info id="Image Layers" />
<window_info id="Designer" />
<window_info id="UI Designer" />
<window_info id="Capture Tool" />
<window_info id="Favorites" side_tool="true" />
<window_info active="true" content_ui="combo" id="Project" order="0" visible="true" weight="0.1472764" />
<window_info id="Structure" order="1" side_tool="true" weight="0.25" />
<window_info anchor="bottom" id="Version Control" />
<window_info anchor="bottom" id="Terminal" visible="true" weight="0.1644385" />
<window_info anchor="bottom" id="Event Log" side_tool="true" />
<window_info anchor="bottom" id="Message" order="0" />
<window_info anchor="bottom" id="Find" order="1" />
<window_info anchor="bottom" id="Run" order="2" weight="0.328877" />
<window_info anchor="bottom" id="Debug" order="3" weight="0.4" />
<window_info anchor="bottom" id="Cvs" order="4" weight="0.25" />
<window_info anchor="bottom" id="Inspection" order="5" weight="0.4" />
<window_info anchor="bottom" id="TODO" order="6" />
<window_info anchor="right" id="Palette" />
<window_info anchor="right" id="Theme Preview" />
<window_info anchor="right" id="Maven" />
<window_info anchor="right" id="Capture Analysis" />
<window_info anchor="right" id="Cargo" />
<window_info anchor="right" id="Palette&#9;" />
<window_info anchor="right" id="Commander" internal_type="SLIDING" order="0" type="SLIDING" weight="0.4" />
<window_info anchor="right" id="Ant Build" order="1" weight="0.25" />
<window_info anchor="right" content_ui="combo" id="Hierarchy" order="2" weight="0.25" />
</layout>
</component>
<component name="editorHistoryManager">
<entry file="file://$PROJECT_DIR$/src/request_response.rs">
<provider selected="true" editor-type-id="text-editor" />
</entry>
<entry file="file://$PROJECT_DIR$/Cargo.toml">
<provider selected="true" editor-type-id="text-editor">
<state relative-caret-position="375">
<caret line="25" column="11" selection-start-line="25" selection-start-column="11" selection-end-line="25" selection-end-column="11" />
</state>
</provider>
</entry>
<entry file="file://$PROJECT_DIR$/src/lib.rs">
<provider selected="true" editor-type-id="text-editor">
<state relative-caret-position="-60">
<caret line="2" column="21" selection-start-line="2" selection-start-column="21" selection-end-line="2" selection-end-column="21" />
</state>
</provider>
</entry>
<entry file="file://$USER_HOME$/.cargo/registry/src/github.com-1ecc6299db9ec823/bellman_ce-0.3.0/src/lib.rs">
<provider selected="true" editor-type-id="text-editor">
<state relative-caret-position="75">
<caret line="5" column="17" lean-forward="true" selection-start-line="5" selection-start-column="17" selection-end-line="5" selection-end-column="17" />
</state>
</provider>
</entry>
<entry file="file://$PROJECT_DIR$/src/proof_manager.rs">
<provider selected="true" editor-type-id="text-editor">
<state relative-caret-position="-15">
<caret line="8" column="25" lean-forward="true" selection-start-line="8" selection-start-column="25" selection-end-line="8" selection-end-column="25" />
</state>
</provider>
</entry>
</component>
</project>

View File

@ -1 +0,0 @@
{"rustc_fingerprint":6818883262078044197,"outputs":{"10627914300373605183":["___.wasm\nlib___.rlib\n___.wasm\nlib___.a\n/home/drygin/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu\ndebug_assertions\nproc_macro\ntarget_arch=\"wasm32\"\ntarget_endian=\"little\"\ntarget_env=\"\"\ntarget_has_atomic=\"16\"\ntarget_has_atomic=\"32\"\ntarget_has_atomic=\"64\"\ntarget_has_atomic=\"8\"\ntarget_has_atomic=\"cas\"\ntarget_has_atomic=\"ptr\"\ntarget_os=\"unknown\"\ntarget_pointer_width=\"32\"\ntarget_vendor=\"unknown\"\n","warning: dropping unsupported crate type `dylib` for target `wasm32-unknown-unknown`\n\nwarning: dropping unsupported crate type `proc-macro` for target `wasm32-unknown-unknown`\n\n"],"1164083562126845933":["rustc 1.37.0-nightly (1d9981f04 2019-06-20)\nbinary: rustc\ncommit-hash: 1d9981f04e8957345205c07adc2742886420ac37\ncommit-date: 2019-06-20\nhost: x86_64-unknown-linux-gnu\nrelease: 1.37.0-nightly\nLLVM version: 8.0\n",""],"4476964694761187371":["___\nlib___.rlib\nlib___.so\nlib___.so\nlib___.a\nlib___.so\n/home/drygin/.rustup/toolchains/nightly-x86_64-unknown-linux-gnu\ndebug_assertions\nproc_macro\ntarget_arch=\"x86_64\"\ntarget_endian=\"little\"\ntarget_env=\"gnu\"\ntarget_family=\"unix\"\ntarget_feature=\"fxsr\"\ntarget_feature=\"mmx\"\ntarget_feature=\"sse\"\ntarget_feature=\"sse2\"\ntarget_has_atomic=\"16\"\ntarget_has_atomic=\"32\"\ntarget_has_atomic=\"64\"\ntarget_has_atomic=\"8\"\ntarget_has_atomic=\"cas\"\ntarget_has_atomic=\"ptr\"\ntarget_os=\"linux\"\ntarget_pointer_width=\"64\"\ntarget_thread_local\ntarget_vendor=\"unknown\"\nunix\n",""]},"successes":{}}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[]","target":10088282520713642473,"profile":4949808943094707866,"path":12380252750843949509,"deps":[],"local":[{"Precalculated":"0.4.10"}],"rustflags":[],"metadata":5019420986621020735}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[]","target":8574161726611873773,"profile":4949808943094707866,"path":15835372934462311219,"deps":[],"local":[{"Precalculated":"0.1.4"}],"rustflags":[],"metadata":13102859075309379048}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[]","target":8574161726611873773,"profile":4949808943094707866,"path":2469199396198540723,"deps":[],"local":[{"Precalculated":"0.1.2"}],"rustflags":[],"metadata":13102859075309379048}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"std\"]","target":10088282520713642473,"profile":4949808943094707866,"path":18024365876200736639,"deps":[],"local":[{"Precalculated":"1.3.2"}],"rustflags":[],"metadata":5398730104718078656}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[]","target":12396366720307268670,"profile":4949808943094707866,"path":3313339301641277326,"deps":[],"local":[{"Precalculated":"0.1.9"}],"rustflags":[],"metadata":8462187951337715540}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[]","target":12396366720307268670,"profile":4949808943094707866,"path":3329387309202365057,"deps":[],"local":[{"Precalculated":"0.1.6"}],"rustflags":[],"metadata":8462187951337715540}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[]","target":3953504333963786110,"profile":4949808943094707866,"path":15814056638587464348,"deps":[[1022150872365013179,"quote",false,12751901978222811487],[3079319751161539850,"num_traits",false,5169278642956873791],[5418142424874065103,"serde_derive",false,10315688821016086932],[6836105154299582027,"num_bigint",false,10679222132616124476],[7808672926425867431,"num_integer",false,17597729828703377222],[9513890219804719333,"proc_macro2",false,1932908690471273151],[13104600084864441960,"syn",false,6726479742775167002]],"local":[{"Precalculated":"0.4.0"}],"rustflags":[],"metadata":15665308869745498953}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[]","target":12093838401864459520,"profile":4949808943094707866,"path":3559666780974043935,"deps":[[1022150872365013179,"quote",false,12751901978222811487],[2681756356646517209,"fluence_sdk_main",false,10913058012234927007],[5604130868290354501,"syn",false,6712633280079242108],[9513890219804719333,"proc_macro2",false,1932908690471273151]],"local":[{"Precalculated":"0.1.5"}],"rustflags":[],"metadata":17925558187338266424}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[]","target":12093838401864459520,"profile":4949808943094707866,"path":3559666780974043935,"deps":[[1022150872365013179,"quote",false,12751901978222811487],[2681756356646517209,"fluence_sdk_main",false,4582629345646691767],[5604130868290354501,"syn",false,6712633280079242108],[9513890219804719333,"proc_macro2",false,1932908690471273151]],"local":[{"Precalculated":"0.1.5"}],"rustflags":[],"metadata":17925558187338266424}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"export_allocator\", \"wasm_logger\"]","target":8680421693818780226,"profile":4949808943094707866,"path":2600196157632677191,"deps":[[5604130868290354501,"syn",false,6712633280079242108],[6229932798454332776,"log",false,13601064463552850543]],"local":[{"Precalculated":"0.1.5"}],"rustflags":[],"metadata":1001862133673630359}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"export_allocator\", \"wasm_logger\"]","target":8680421693818780226,"profile":4949808943094707866,"path":2600196157632677191,"deps":[[5604130868290354501,"syn",false,6712633280079242108],[6229932798454332776,"log",false,13229072488660351249]],"local":[{"Precalculated":"0.1.5"}],"rustflags":[],"metadata":1001862133673630359}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"std\"]","target":10088282520713642473,"profile":4949808943094707866,"path":17173603923082875229,"deps":[],"local":[{"Precalculated":"0.2.58"}],"rustflags":[],"metadata":14998826085014762512}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"std\"]","target":10961605713333254966,"profile":4949808943094707866,"path":17770213709114441104,"deps":[[15377153837359305676,"cfg_if",false,6032483761929326628]],"local":[{"Precalculated":"0.4.6"}],"rustflags":[],"metadata":11622444542196388843}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"std\"]","target":10961605713333254966,"profile":4949808943094707866,"path":17770213709114441104,"deps":[[3612515264075196208,"cfg_if",false,2533090341289474187]],"local":[{"Precalculated":"0.4.6"}],"rustflags":[],"metadata":11622444542196388843}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"","target":0,"profile":0,"path":0,"deps":[[6836105154299582027,"build_script_build",false,15040177008224960515]],"local":[{"Precalculated":"0.2.2"}],"rustflags":[],"metadata":0}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"std\"]","target":10088282520713642473,"profile":4949808943094707866,"path":16386575570645039995,"deps":[],"local":[{"Precalculated":"0.2.2"}],"rustflags":[],"metadata":10601054166942238371}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"std\"]","target":6896153037798659203,"profile":4949808943094707866,"path":14411084253800427688,"deps":[[3079319751161539850,"num_traits",false,5169278642956873791],[6836105154299582027,"build_script_build",false,9063688926240035581],[7808672926425867431,"num_integer",false,17597729828703377222]],"local":[{"Precalculated":"0.2.2"}],"rustflags":[],"metadata":10601054166942238371}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"","target":0,"profile":0,"path":0,"deps":[[7808672926425867431,"build_script_build",false,11257506235821582536]],"local":[{"RerunIfChanged":{"output":"output","paths":["build.rs"]}}],"rustflags":[],"metadata":0}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"std\"]","target":10088282520713642473,"profile":4949808943094707866,"path":12309556546142548291,"deps":[[3872866040803405014,"autocfg",false,13544666929442916078]],"local":[{"Precalculated":"0.1.41"}],"rustflags":[],"metadata":58200369117550911}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"std\"]","target":7800718724727423882,"profile":4949808943094707866,"path":9730492827768336570,"deps":[[3079319751161539850,"num_traits",false,5169278642956873791],[7808672926425867431,"build_script_build",false,12909199714640298520]],"local":[{"Precalculated":"0.1.41"}],"rustflags":[],"metadata":58200369117550911}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"std\"]","target":10088282520713642473,"profile":4949808943094707866,"path":4658558127479305261,"deps":[[3872866040803405014,"autocfg",false,13544666929442916078]],"local":[{"Precalculated":"0.2.8"}],"rustflags":[],"metadata":14621636500951049976}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"std\"]","target":16894502179009968931,"profile":4949808943094707866,"path":12723236698335347771,"deps":[[3079319751161539850,"build_script_build",false,4843304961630950976]],"local":[{"Precalculated":"0.2.8"}],"rustflags":[],"metadata":14621636500951049976}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"","target":0,"profile":0,"path":0,"deps":[[3079319751161539850,"build_script_build",false,866141893333796426]],"local":[{"RerunIfChanged":{"output":"output","paths":["build.rs"]}}],"rustflags":[],"metadata":0}

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"proc-macro\"]","target":10088282520713642473,"profile":4949808943094707866,"path":713407143287233793,"deps":[],"local":[{"Precalculated":"0.4.27"}],"rustflags":[],"metadata":221150331100616940}

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
This file has an mtime of when this was started.

View File

@ -1 +0,0 @@
{"rustc":17438372465142736060,"features":"[\"default\", \"proc-macro\"]","target":11195544392456883412,"profile":4949808943094707866,"path":9987583386715700009,"deps":[[9513890219804719333,"build_script_build",false,9200915319371013462],[11963925184901254245,"unicode_xid",false,5838395004707083898]],"local":[{"Precalculated":"0.4.27"}],"rustflags":[],"metadata":221150331100616940}

Some files were not shown because too many files have changed in this diff Show More