#
# List of symbols exported from the nvc binary
#
{
  # Exported from src/rt/standard.c
  _std_standard_now;
  _std_to_hstring_bit_vec;
  _std_to_ostring_bit_vec;
  _std_to_string_real;
  _std_to_string_real_digits;
  _std_to_string_real_format;
  _std_to_string_time;

  # Exported from src/rt/stdenv.c
  _std_env_add_trec_real;
  _std_env_createdir;
  _std_env_deletedir;
  _std_env_deletefile;
  _std_env_diff_trec;
  _std_env_dir_open;
  _std_env_epoch;
  _std_env_epoch_trec;
  _std_env_file_line;
  _std_env_file_name;
  _std_env_file_path;
  _std_env_get_call_path;
  _std_env_get_workingdir;
  _std_env_getenv;
  _std_env_gmtime;
  _std_env_gmtime_trec;
  _std_env_itemexists;
  _std_env_itemisdir;
  _std_env_itemisfile;
  _std_env_localtime;
  _std_env_localtime_trec;
  _std_env_seconds_to_time;
  _std_env_set_workingdir;
  _std_env_stop;
  _std_env_tool_version;
  _std_env_vhdl_version;
  _std_env_get_vhdl_assert_count;
  _std_env_clear_vhdl_assert;
  _std_env_set_vhdl_assert_enable;
  _std_env_get_vhdl_assert_enable;

  # Exported from src/rt/assert.c
  _std_env_get_assert_format;
  _std_env_set_assert_format;
  _std_env_set_assert_format_valid;

  # Exported from src/rt/cover.c
  _nvc_create_cover_scope;
  _nvc_add_cover_item;
  _nvc_increment_cover_item;
  _nvc_set_cover_scope_name;

  # Exported from src/rt/simpkg.c
  _nvc_current_delta;
  _nvc_ieee_warnings;

  # Exported from src/rt/fileio.c
  __nvc_endfile;
  __nvc_file_canseek;
  __nvc_file_close;
  __nvc_file_mode;
  __nvc_file_position;
  __nvc_file_size;
  __nvc_file_state;
  __nvc_flush;
  __nvc_rewind;
  __nvc_seek;
  __nvc_truncate;

  # Exported from src/jit/jit-exits.c
  __nvc_do_exit;
  __nvc_get_object;
  __nvc_last_event;
  __nvc_mspace_alloc;
  __nvc_putpriv;
  __nvc_sched_waveform;
  __nvc_sched_process;
  __nvc_test_event;
  _debug_dump;
  _debug_out;

  # Exported by VHPI
  vhpiFS;
  vhpiHR;
  vhpiMN;
  vhpiMS;
  vhpiNS;
  vhpiPS;
  vhpiS;
  vhpiUS;
  vhpi_assert;
  vhpi_check_error;
  vhpi_compare_handles;
  vhpi_control;
  vhpi_disable_cb;
  vhpi_enable_cb;
  vhpi_get;
  vhpi_get_cb_info;
  vhpi_get_foreignf_info;
  vhpi_get_next_time;
  vhpi_get_next_time;
  vhpi_get_phys;
  vhpi_get_real;
  vhpi_get_str;
  vhpi_get_time;
  vhpi_get_value;
  vhpi_handle;
  vhpi_handle_by_index;
  vhpi_handle_by_name;
  vhpi_iterator;
  vhpi_printf;
  vhpi_put_value;
  vhpi_register_cb;
  vhpi_register_foreignf;
  vhpi_release_handle;
  vhpi_remove_cb;
  vhpi_scan;
  vhpi_vprintf;

  # Unit test
  global_func;
};
