pubspec.yaml

name: turing_lab
description: "A modern, mobile-first Flutter application for finite automata, grammars, pushdown automata, Turing machines, and regular expressions."
homepage: https://thalesmms.github.io/Turing-Lab/
repository: https://github.com/ThalesMMS/Turing-Lab
issue_tracker: https://github.com/ThalesMMS/Turing-Lab/issues
documentation: https://github.com/ThalesMMS/Turing-Lab#readme

# The following line prevents the package from being accidentally published to
# pub.dev using `flutter pub publish`. This is preferred for private packages.
publish_to: 'none' # Remove this line if you wish to publish to pub.dev

# The following defines the version and build number for your application.
# A version number is three numbers separated by dots, like 1.2.43
# followed by an optional build number separated by a +.
# Both the version and the builder number may be overridden in flutter
# build by specifying --build-name and --build-number, respectively.
# In Android, build-name is used as versionName while build-number used as versionCode.
# Read more about Android versioning at https://developer.android.com/studio/publish/versioning
# In iOS, build-name is used as CFBundleShortVersionString while build-number is used as CFBundleVersion.
# Read more about iOS versioning at
# https://developer.apple.com/library/archive/documentation/General/Reference/InfoPlistKeyReference/Articles/CoreFoundationKeys.html
# In Windows, build-name is used as the major, minor, and patch parts
# of the product and file versions while build-number is used as the build suffix.
version: 1.0.1+16

environment:
  sdk: ^3.8.0
  flutter: ">=3.35.0"

# Dependencies specify other packages that your package needs in order to work.
# To automatically upgrade your package dependencies to the latest versions
# consider running `flutter pub upgrade --major-versions`. Alternatively,
# dependencies can be manually updated by changing the version numbers below to
# the latest version available on pub.dev. To see which dependencies have newer
# versions available, run `flutter pub outdated`.
dependencies:
  flutter:
    sdk: flutter
  flutter_localizations:
    sdk: flutter
  intl: ^0.20.2

  # State persistence (localStorage analogue)
  shared_preferences: ^2.3.2
  shared_preferences_platform_interface: ^2.4.1

  # Save PNG to filesystem
  path_provider: ^2.1.4

  # Open the public project repository from the About section
  url_launcher: ^6.3.2

  # Clipboard support (built into Flutter)

  # Graph-based canvas primitives
  graphview:
    path: graphview

  # State management
  flutter_riverpod: ^2.5.1
  
  # XML parsing for JFLAP file import
  xml: ^6.5.0
  
  # File picker for importing files
  file_picker: ^8.0.0+1
  
  # Gesture detection is built into Flutter
  
  # Vector math for positioning and calculations
  vector_math: ^2.1.4

  # Collection utilities
  collection: ^1.18.0

  # Stable model revisions for batch reports
  crypto: ^3.0.6

  # Annotations usable from lib/core, which must stay Flutter-free
  meta: ^1.15.0
  freezed_annotation: ^3.1.0
  json_annotation: ^4.9.0
  printing: ^5.14.3
  pdf: ^3.12.0
dev_dependencies:
  flutter_test:
    sdk: flutter
  integration_test:
    sdk: flutter
  test: ^1.24.0
  analyzer: ^8.4.1

  # The "flutter_lints" package below contains a set of recommended lints to
  # encourage good coding practices. The lint set provided by the package is
  # activated in the `analysis_options.yaml` file located at the root of your
  # package. See that file for information about deactivating specific lint
  # rules and activating additional ones.
  flutter_lints: ^6.0.0
  flutter_launcher_icons: ^0.14.4
  build_runner: ^2.7.1
  freezed: ^3.2.3
  json_serializable: ^6.11.1
  golden_toolkit: ^0.15.0

# For information on the generic Dart part of this file, see the
# following page: https://dart.dev/tools/pub/pubspec

# The following section is specific to Flutter packages.
flutter:
  config:
    enable-swift-package-manager: false

  generate: true

  # The following line ensures that the Material Icons font is
  # included with your application, so that you can use the icons in
  # the material Icons class.
  uses-material-design: true

  # To add assets to your application, add an assets section, like this:
  assets:
    # Print sheet font (DejaVu Sans, see assets/fonts/DEJAVU_LICENSE.txt)
    - assets/fonts/DejaVuSans.ttf
    # Finite automata examples
    - assets/examples/afd_binary_divisible_by_3.json
    - assets/examples/afd_contains_ab.json
    - assets/examples/afd_ends_with_a.json
    - assets/examples/afd_parity_AB.json
    - assets/examples/afn_lambda_a_or_ab.json
    # Context-free grammar examples
    - assets/examples/glc_balanced_parentheses.json
    - assets/examples/glc_anbn.json
    - assets/examples/glc_arithmetic_expressions.json
    - assets/examples/glc_even_zeros.json
    - assets/examples/glc_palindrome.json
    # Pushdown automaton examples
    - assets/examples/apda_balanced_parentheses.json
    - assets/examples/apda_anbn.json
    - assets/examples/apda_anb2n.json
    - assets/examples/apda_palindrome.json
    - assets/examples/apda_mirrored_separator.json
    # Turing machine examples
    - assets/examples/tm_anbn.json
    - assets/examples/tm_binary_to_unary.json
    - assets/examples/tm_copy_string.json
    - assets/examples/tm_increment.json
    - assets/examples/tm_palindrome.json
    - assets/examples/tm_multitape_copy.json
    - assets/examples/tm_multitape_comparison.json
    - assets/examples/tm_multitape_palindrome.json
    - assets/examples/tm_multitape_work_tape.json
    # Regular expression examples
    - assets/examples/regex_a_star.json
    - assets/examples/regex_ends_with_ab.json
    - assets/examples/regex_binary_starts_zero.json
    - assets/examples/regex_ab_or_ba_pairs.json
    - assets/examples/regex_a_then_b.json
    # Mealy machine examples
    - assets/examples/mealy_identity.json
    - assets/examples/mealy_parity.json
    - assets/examples/mealy_sequence_detector.json
    - assets/examples/mealy_partial.json
    # Moore machine examples
    - assets/examples/moore_parity.json
    - assets/examples/moore_vending_control.json
    - assets/examples/moore_sequence_detector.json
    - assets/examples/moore_partial.json
    # License texts bundled for in-app access and binary distribution
    - LICENSE.txt
    - LICENSE_JFLAP.txt
    - assets/LICENSE_GRAPHVIEW.txt
    - THIRD_PARTY_NOTICES_APPLE.txt
    - assets/about/fsa.webp
    - assets/about/grammar.webp
    - assets/about/tm.webp

flutter_launcher_icons:
  image_path: "icon.PNG"
  android: true
  ios: true
  remove_alpha_ios: true
  min_sdk_android: 21
  web:
    generate: true
    image_path: "icon.PNG"
    background_color: "#ffffff"
    theme_color: "#ffffff"
  macos:
    generate: true
    image_path: "icon.PNG"
  windows:
    generate: true
    image_path: "icon.PNG"

  # An image asset can refer to one or more resolution-specific "variants", see
  # https://flutter.dev/to/resolution-aware-images

  # For details regarding adding assets from package dependencies, see
  # https://flutter.dev/to/asset-from-package

  # To add custom fonts to your application, add a fonts section here,
  # in this "flutter" section. Each entry in this list should have a
  # "family" key with the font family name, and a "fonts" key with a
  # list giving the asset and other descriptors for the font. For
  # example:
  # fonts:
  #   - family: Schyler
  #     fonts:
  #       - asset: fonts/Schyler-Regular.ttf
  #       - asset: fonts/Schyler-Italic.ttf
  #         style: italic
  #   - family: Trajan Pro
  #     fonts:
  #       - asset: fonts/TrajanPro.ttf
  #       - asset: fonts/TrajanPro_Bold.ttf
  #         weight: 700
  # For details regarding fonts from package dependencies,
  # see https://flutter.dev/to/font-from-package