363 lines
10 KiB
Plaintext
363 lines
10 KiB
Plaintext
OASISFormat: 0.4
|
|
Name: ArithmeticsForIT
|
|
Version: 0.8
|
|
License: GPL
|
|
LicenseFile: LICENSE
|
|
Authors: Bashar Dudin <bashar.dudin@epita.fr>
|
|
|
|
Synopsis: A library for education purposes on uses of arithmetics in IT.
|
|
Description:
|
|
Builds up a needed code and big int types to generate RSA and ElGamal
|
|
cryptosystem keys, test for primality, factor primes (within
|
|
unreasonable time), mutlithread using the chinese remainder theorem.
|
|
|
|
Plugins: META (0.4), DevFiles (0.4)
|
|
BuildTools: ocamlbuild
|
|
|
|
Library "builtin"
|
|
FindLibName: builtin
|
|
Path: Source/builtin
|
|
Modules: Builtin
|
|
|
|
Library "builtin_basic_arithmetics"
|
|
FindLibName: basic_arithmetics
|
|
FindLibParent: builtin
|
|
Path: Source/builtin
|
|
Modules: Basic_arithmetics
|
|
|
|
Library "builtin_power"
|
|
FindLibName: power
|
|
FindLibParent: builtin
|
|
Path: Source/builtin
|
|
Modules: Power
|
|
|
|
Library "builtin_generate_primes"
|
|
FindLibName: generate_primes
|
|
FindLibParent: builtin
|
|
Path: Source/builtin
|
|
Modules: Generate_primes
|
|
|
|
Library "builtin_test_primes"
|
|
FindLibName: test_primes
|
|
FindLibParent: builtin
|
|
Path: Source/builtin
|
|
Modules: Test_primes
|
|
|
|
Library "builtin_encoding_msg"
|
|
FindLibName: encoding_msg
|
|
FindLibParent: builtin
|
|
Path: Source/builtin
|
|
Modules: Encoding_msg
|
|
|
|
Library "builtin_ciphers"
|
|
FindLibName: ciphers
|
|
FindLibParent: builtin
|
|
Path: Source/builtin
|
|
Modules: Ciphers
|
|
|
|
Library "builtin_break_ciphers"
|
|
FindLibName: break_ciphers
|
|
FindLibParent: builtin
|
|
Path: Source/builtin
|
|
Modules: Break_ciphers
|
|
|
|
Library "test_builtin_templates"
|
|
Path: Source/builtin/tests
|
|
Modules: Test_builtin_templates
|
|
BuildDepends: oUnit
|
|
|
|
Executable "test_builtin"
|
|
Path: Source/builtin/tests
|
|
MainIs: test_builtin.ml
|
|
Install: false
|
|
BuildDepends: oUnit, builtin, test_builtin_templates
|
|
|
|
Test "test_builtin"
|
|
Run$: flag(tests)
|
|
Command: $test_builtin
|
|
TestTools: test_builtin
|
|
WorkingDirectory: Source/builtin/tests
|
|
|
|
Executable "test_builtin_basic_arithmetics"
|
|
Path: Source/builtin/tests
|
|
MainIs: test_builtin_basic_arithmetics.ml
|
|
Install: false
|
|
BuildDepends: oUnit, builtin, test_builtin_templates
|
|
|
|
Test "test_builtin_basic_arithmetics"
|
|
Run$: flag(tests)
|
|
Command: $test_builtin_basic_arithmetics
|
|
TestTools: test_builtin_basic_arithmetics
|
|
WorkingDirectory: Source/builtin/tests
|
|
|
|
Executable "test_builtin_power"
|
|
Path: Source/builtin/tests
|
|
MainIs: test_builtin_power.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
builtin, builtin.basic_arithmetics,
|
|
test_builtin_templates
|
|
|
|
Test "test_builtin_power"
|
|
Run$: flag(tests)
|
|
Command: $test_builtin_power
|
|
TestTools: test_builtin_power
|
|
WorkingDirectory: Source/builtin/tests
|
|
|
|
Executable "test_builtin_test_primes"
|
|
Path: Source/builtin/tests
|
|
MainIs: test_builtin_test_primes.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
builtin, builtin.basic_arithmetics, builtin.power,
|
|
test_builtin_templates
|
|
|
|
Test "test_builtin_test_primes"
|
|
Run$: flag(tests)
|
|
Command: $test_builtin_test_primes
|
|
TestTools: test_builtin_test_primes
|
|
WorkingDirectory: Source/builtin/tests
|
|
|
|
Executable "test_builtin_generate_primes"
|
|
Path: Source/builtin/tests
|
|
MainIs: test_builtin_generate_primes.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
builtin, builtin.basic_arithmetics, builtin.test_primes,
|
|
test_builtin_templates
|
|
|
|
Test "test_builtin_generate_primes"
|
|
Run$: flag(tests)
|
|
Command: $test_builtin_generate_primes
|
|
TestTools: test_builtin_generate_primes
|
|
WorkingDirectory: Source/builtin/tests
|
|
|
|
Executable "test_builtin_encoding_msg"
|
|
Path: Source/builtin/tests
|
|
MainIs: test_builtin_encoding_msg.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
builtin, builtin.basic_arithmetics, builtin.power,
|
|
test_builtin_templates
|
|
|
|
Test "test_builtin_encoding_msg"
|
|
Run$: flag(tests)
|
|
Command: $test_builtin_encoding_msg
|
|
TestTools: test_builtin_encoding_msg
|
|
WorkingDirectory: Source/builtin/tests
|
|
|
|
Executable "test_builtin_ciphers"
|
|
Path: Source/builtin/tests
|
|
MainIs: test_builtin_ciphers.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
builtin, builtin.basic_arithmetics, builtin.power,
|
|
test_builtin_templates
|
|
|
|
Test "test_builtin_ciphers"
|
|
Run$: flag(tests)
|
|
Command: $test_builtin_ciphers
|
|
TestTools: test_builtin_ciphers
|
|
WorkingDirectory: Source/builtin/tests
|
|
|
|
Executable "test_builtin_break_ciphers"
|
|
Path: Source/builtin/tests
|
|
MainIs: test_builtin_break_ciphers.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
builtin, builtin.basic_arithmetics,
|
|
test_builtin_templates
|
|
|
|
Test "test_builtin_break_ciphers"
|
|
Run$: flag(tests)
|
|
Command: $test_builtin_break_ciphers
|
|
TestTools: test_builtin_break_ciphers
|
|
WorkingDirectory: Source/builtin/tests
|
|
|
|
Library "scalable"
|
|
FindLibName: scalable
|
|
Path: Source/scalable
|
|
Modules: Scalable
|
|
|
|
Library "scalable_basic_arithmetics"
|
|
FindLibName: scalable_basic_arithmetics
|
|
FindLibParent: scalable
|
|
Path: Source/scalable
|
|
Modules: Scalable_basic_arithmetics
|
|
|
|
Library "scalable_power"
|
|
FindLibName: scalable_power
|
|
FindLibParent: scalable
|
|
Path: Source/scalable
|
|
Modules: Scalable_power
|
|
|
|
Library "scalable_generate_primes"
|
|
FindLibName: scalable_generate_primes
|
|
FindLibParent: scalable
|
|
Path: Source/scalable
|
|
Modules: Scalable_generate_primes
|
|
|
|
Library "scalable_test_primes"
|
|
FindLibName: scalable_test_primes
|
|
FindLibParent: scalable
|
|
Path: Source/scalable
|
|
Modules: Scalable_test_primes
|
|
|
|
Library "scalable_encoding_msg"
|
|
FindLibName: scalable_encoding_msg
|
|
FindLibParent: scalable
|
|
Path: Source/scalable
|
|
Modules: Scalable_encoding_msg
|
|
|
|
Library "scalable_ciphers"
|
|
FindLibName: scalable_ciphers
|
|
FindLibParent: scalable
|
|
Path: Source/scalable
|
|
Modules: Scalable_ciphers
|
|
|
|
Library "scalable_break_ciphers"
|
|
FindLibName: scalable_break_ciphers
|
|
FindLibParent: scalable
|
|
Path: Source/scalable
|
|
Modules: Scalable_break_ciphers
|
|
|
|
Library "test_scalable_templates"
|
|
Path: Source/scalable/tests
|
|
Modules: Test_scalable_templates
|
|
BuildDepends: oUnit
|
|
|
|
Executable "test_scalable"
|
|
Path: Source/scalable/tests
|
|
MainIs: test_scalable.ml
|
|
Install: false
|
|
BuildDepends: oUnit, scalable, test_scalable_templates
|
|
|
|
Test "test_scalable"
|
|
Run$: flag(tests)
|
|
Command: $test_scalable
|
|
TestTools: test_scalable
|
|
WorkingDirectory: Source/scalable/tests
|
|
|
|
Executable "test_scalable_basic_arithmetics"
|
|
Path: Source/scalable/tests
|
|
MainIs: test_scalable_basic_arithmetics.ml
|
|
Install: false
|
|
BuildDepends: oUnit, scalable,
|
|
scalable.scalable_basic_arithmetics, test_scalable_templates
|
|
|
|
Test "test_scalable_basic_arithmetics"
|
|
Run$: flag(tests)
|
|
Command: $test_scalable_basic_arithmetics
|
|
TestTools: test_scalable_basic_arithmetics
|
|
WorkingDirectory: Source/scalable/tests
|
|
|
|
|
|
Executable "test_scalable_power"
|
|
Path: Source/scalable/tests
|
|
MainIs: test_scalable_power.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
scalable, scalable.scalable_basic_arithmetics,
|
|
test_scalable_templates
|
|
|
|
Test "test_scalable_power"
|
|
Run$: flag(tests)
|
|
Command: $test_scalable_power
|
|
TestTools: test_scalable_power
|
|
WorkingDirectory: Source/scalable/tests
|
|
|
|
Executable "test_scalable_test_primes"
|
|
Path: Source/scalable/tests
|
|
MainIs: test_scalable_test_primes.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
scalable, scalable.scalable_basic_arithmetics, scalable.scalable_power,
|
|
test_scalable_templates
|
|
|
|
Test "test_scalable_test_primes"
|
|
Run$: flag(tests)
|
|
Command: $test_scalable_test_primes
|
|
TestTools: test_scalable_test_primes
|
|
WorkingDirectory: Source/scalable/tests
|
|
|
|
Executable "test_scalable_generate_primes"
|
|
Path: Source/scalable/tests
|
|
MainIs: test_scalable_generate_primes.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
scalable, scalable.scalable_basic_arithmetics, scalable.scalable_test_primes,
|
|
test_scalable_templates
|
|
|
|
Test "test_scalable_generate_primes"
|
|
Run$: flag(tests)
|
|
Command: $test_scalable_generate_primes
|
|
TestTools: test_scalable_generate_primes
|
|
WorkingDirectory: Source/scalable/tests
|
|
|
|
Executable "test_scalable_encoding_msg"
|
|
Path: Source/scalable/tests
|
|
MainIs: test_scalable_encoding_msg.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
scalable, scalable.scalable_basic_arithmetics, scalable.scalable_power,
|
|
test_scalable_templates
|
|
|
|
Test "test_scalable_encoding_msg"
|
|
Run$: flag(tests)
|
|
Command: $test_scalable_encoding_msg
|
|
TestTools: test_scalable_encoding_msg
|
|
WorkingDirectory: Source/scalable/tests
|
|
|
|
Executable "test_scalable_ciphers"
|
|
Path: Source/scalable/tests
|
|
MainIs: test_scalable_ciphers.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
scalable, scalable.scalable_basic_arithmetics, scalable.scalable_power,
|
|
test_scalable_templates
|
|
|
|
Test "test_scalable_ciphers"
|
|
Run$: flag(tests)
|
|
Command: $test_scalable_ciphers
|
|
TestTools: test_scalable_ciphers
|
|
WorkingDirectory: Source/scalable/tests
|
|
|
|
Executable "test_scalable_break_ciphers"
|
|
Path: Source/scalable/tests
|
|
MainIs: test_scalable_break_ciphers.ml
|
|
Install: false
|
|
BuildDepends: oUnit,
|
|
scalable, scalable.scalable_basic_arithmetics,
|
|
test_scalable_templates
|
|
|
|
Test "test_scalable_break_ciphers"
|
|
Run$: flag(tests)
|
|
Command: $test_scalable_break_ciphers
|
|
TestTools: test_scalable_break_ciphers
|
|
WorkingDirectory: Source/scalable/tests
|
|
|
|
Library "multithreading"
|
|
FindLibName: multithreading
|
|
Path: Source/multithreading
|
|
Modules: Multithreading
|
|
|
|
Library "multithreading_chineses_remaindert"
|
|
FindLibName: chineses_remaindert
|
|
FindLibParent: multithreading
|
|
Path: Source/multithreading
|
|
Modules: Chinese_remaindert
|
|
BuildDepends: builtin, builtin.basic_arithmetics
|
|
|
|
AlphaFeatures: ocamlbuild_more_args
|
|
Document "AFIT_Documentation"
|
|
Type: ocamlbuild (0.4)
|
|
BuildTools: ocamldoc
|
|
|
|
Title: AFIT documentation
|
|
XOCamlbuildPath: .
|
|
XOCamlbuildExtraArgs:
|
|
"-docflags '-colorize-code -short-functors -charset utf-8'"
|
|
XOCamlbuildLibraries: builtin.basic_arithmetics, builtin.power,
|
|
builtin.generate_primes,
|
|
builtin.test_primes, builtin.encoding_msg,
|
|
builtin.ciphers, builtin.break_ciphers |