Commit 028cb37a authored by Victor Yacovlev's avatar Victor Yacovlev

VCS cleanup from unused/garbage files

parent b4eb306b
<!DOCTYPE html>
<html>
<head>
<title>Variables</title>
<script type="text/javascript">
function updateRoot() {
var rootData = variablesObject.rootPage;
document.body.innerHTML = rootData;
}
function openTableWindow(dim, mod, alg, val) {
variablesObject.openTableWindow(dim, mod, alg, val);
}
</script>
<link rel="stylesheet" type="text/css" href="stylesheet.css">
</head>
<body onload="updateRoot()">
</body>
</html>
body {
background: #999999;
font-family: sans-serif;
}
.module {
display: block;
left: 5px;
right: 5px;
}
.table_body {
display: block;
min-height: 32px;
}
.module, .table_view, .table_view3 {
margin-bottom: 10px;
background: #FFFFFF;
padding: 3px;
font-size: 14px;
}
.modulename, .table_title {
border-bottom: 1px solid black;
font-weight: bold;
font-size: 16px;
margin-bottom: 4px;
}
.algorhitm, .globals {
padding-top: 5px;
}
.algorhitmtitle, .globalstitle {
font-weight: bold;
text-align: center;
font-style: italic;
}
.values, .tableview_1d, .tableview_2d {
text-align: center;
border: 1px solid black;
width: 100%;
}
.valuesheader, .tableview_header, .tableview_row_header {
background: green;
font-weight: bold;
color: yellow;
border-bottom: 1px solid black;
}
.even {
background: white;
}
.odd {
background: #DDDDDD;
}
.undefined_value {
color: gray;
font-style: italic;
}
.varname_header {
min-width: 100px;
max-width: 200px;
}
.vartype_header {
min-width: 80px;
max-width: 80px;
}
.varvalue_header {
min-width: 100px;
max-width: 200px;
}
.values td {
white-space: nowrap;
overflow: hidden;
text-overflow: ellipsis;
}
.values a {
color: blue;
text-decoration: none;
}
.tableview_header {
min-width: 80px;
}
.tableview_row_header {
max-width: 80px;
}
.not_initialized {
margin-top: 10px;
text-align: center;
color: gray;
font-style: italic;
font-size: 16px;
vertical-align: middle;
padding-bottom: 20px;
}
.table_view3 {
margin-bottom: 40px;
}
#pager {
position: fixed;
bottom: 0px;
left: 0px;
width: 100%;
font-size: 13px;
border-top: 2px solid white;
background-color: lightgray;
font-weight: bold;
text-align: left;
vertical-align: middle;
height: 30px;
padding-top: 2px;
padding-bottom: 2px;
}
#pager_header {
text-align: right;
padding-top: 5px;
width: 70px;
}
#pager_body {
height: 20px;
position: fixed;
bottom: 9px;
left: 80px;
padding-left: 2px;
width: 100%;
}
#pager_body a {
display: inline-block;
text-decoration: none;
border-top: 1px solid white;
border-left: 1px solid white;
border-right: 1px solid darkgray;
border-bottom: 1px solid darkgray;
width: 20px;
padding: 2px;
background: lightgray;
text-align: center;
color: darkgreen;
}
#pager_body a.pressed {
border-top: 1px solid darkgray;
border-left: 1px solid darkgray;
border-bottom: 1px solid white;
border-right: 1px solid white;
background: gray;
color: white;
}
#pager.hidden {
display: none;
}
.hidden {
display: none;
}
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>Table</title>
<script type="text/javascript">
var MY_HASH = "";
function loadTable() {
var url = window.location.href;
// variablesObject.test(url);
url.match(/\?(.+)$/);
var params = RegExp.$1;
var query = params.split("=");
MY_HASH = query[1];
updateRoot();
var tableTitle = variablesObject.tableTitle(MY_HASH);
document.title = tableTitle;
document.getElementById("table_title").innerHTML = tableTitle;
}
function updateRoot() {
var data = variablesObject.tablePage(MY_HASH);
document.getElementById("table_body").innerHTML = data;
}
function updateIDs(myHash) {
MY_HASH = "" + myHash;
updateRoot();
}
</script>
<link rel="stylesheet" type="text/css" href="stylesheet.css">
</head>
<body onload="loadTable()">
<div class="table_view">
<div id="table_title" class="table_title">
</div>
<div id="table_body" class="table_body">
</div>
</div>
</body>
</html>
<!DOCTYPE html>
<html>
<head>
<title>Table</title>
<script type="text/javascript">
var MY_HASH = "";
function loadTable() {
var url = window.location.href;
// variablesObject.test(url);
url.match(/\?(.+)$/);
var params = RegExp.$1;
var query = params.split("=");
MY_HASH = query[1];
updateRoot();
var tableTitle = variablesObject.tableTitle(MY_HASH);
document.title = tableTitle;
document.getElementById("table_title").innerHTML = tableTitle;
}
function updateRoot() {
var data = variablesObject.tablePage(MY_HASH);
document.getElementById("table_body").innerHTML = data;
}
function updateIDs(myHash) {
MY_HASH = "" + myHash;
updateRoot();
}
</script>
<link rel="stylesheet" type="text/css" href="stylesheet.css">
</head>
<body onload="loadTable()">
<div class="table_view">
<div id="table_title" class="table_title">
</div>
<div id="table_body" class="table_body">
</div>
</div>
</body>
</html>
<!DOCTYPE html>
<html>
<head>
<title>Table</title>
<script type="text/javascript">
var MY_HASH = "";
var CURRENT_PAGE = -1;
function loadTable() {
var url = window.location.href;
// variablesObject.test(url);
url.match(/\?(.+)$/);
var params = RegExp.$1;
var query = params.split("=");
MY_HASH = query[1];
updateRoot();
var tableTitle = variablesObject.tableTitle(MY_HASH);
document.title = tableTitle;
document.getElementById("table_title").innerHTML = tableTitle;
}
function updateRoot() {
var pagesCount = variablesObject.tablePagesCount(MY_HASH);
var pagesStart = variablesObject.tablePagesStartIndex(MY_HASH);
var pager = document.getElementById("pager");
var tableBody = document.getElementById("table_body");
var notice = document.getElementById("notavailable");
if (pagesCount==0) {
pager.className = "hidden";
notice.innerHTML = variablesObject.unavailableTableText();
notice.className = "not_initialized";
tableBody.className = "table_body hidden";
}
else {
var prevPage = CURRENT_PAGE;
pager.className = "";
var pagerData = "";
notice.className = "hidden";
tableBody.className = "table_body";
if (CURRENT_PAGE>=pagesCount) {
CURRENT_PAGE = pagesCount-1;
}
if (CURRENT_PAGE<0) {
CURRENT_PAGE = 0;
}
for (var i=0; i<pagesCount; i++) {
pagerData += "<a href=\"#\" id=\"button"+i+"\" onclick=\"showPage("+i+")\">";
pagerData += pagesStart+i;
pagerData += "</a> ";
}
document.getElementById("pager_body").innerHTML = pagerData;
showPage(CURRENT_PAGE);
}
}
function updateIDs(myHash) {
MY_HASH = "" + myHash;
updateRoot();
}
function showPage(pageNo) {
if (CURRENT_PAGE!=-1) {
var prevBtn = document.getElementById("button"+CURRENT_PAGE);
if (prevBtn!=null) {
prevBtn.className = "";
}
}
CURRENT_PAGE = pageNo;
var tableBody = document.getElementById("table_body");
tableBody.innerHTML = variablesObject.tablePage(MY_HASH, CURRENT_PAGE);
var btn = document.getElementById("button"+pageNo);
btn.className = "pressed";
}
</script>
<link rel="stylesheet" type="text/css" href="stylesheet.css">
</head>
<body onload="loadTable()">
<div class="table_view3">
<div id="table_title" class="table_title">
</div>
<div id="table_body" class="table_body">
</div>
<div id="notavailable" class="table_body hidden">
</div>
</div>
<div id="pager">
<div id="pager_header">
Pages:
</div>
<div id="pager_body">
</div>
</div>
</body>
</html>
#ifndef __KUMIR__H
#define __KUMIR__h
#include <wchar.h>
#if __STDC_VERSION__ < 199901L
# error Requires C99 support! Check your compiler options!
#endif
struct __array__ {
int dim;
int lefts[3];
int rights[3];
int sizes[3];
void * data;
char type;
};
extern void __allocate_array__(struct __array__ * arr);
extern void* __element__(struct __array__ * arr, int i0, int i1, int i2);
extern void __abort__(const wchar_t * message, int lineNo);
extern wchar_t* __string_from_constant__(const wchar_t * str);
extern wchar_t* __concatenate_ss__(const wchar_t * s1, const wchar_t * s2);
extern wchar_t* __concatenate_sc__(const wchar_t * s, wchar_t ch);
extern wchar_t* __concatenate_cs__(wchar_t ch, const wchar_t * s);
extern wchar_t* __concatenate_cc__(wchar_t ch1, wchar_t ch2);
extern wchar_t __get_char_at__(const wchar_t * s, int index);
extern void __set_char_at__(wchar_t * s, int index, wchar_t ch);
extern wchar_t* __get_slice__(const wchar_t * s, int start, int end);
extern void __set_slice_s__(wchar_t ** s, int start, int end, const wchar_t * ss);
extern void __set_slice_c__(wchar_t ** s, int start, int end, wchar_t ch);
extern wchar_t* __string_of_char__(wchar_t ch);
extern void __init_garbage_collector__();
extern void __free_garbage_collector__();
extern double __safe_div_rr__(double a, double b);
extern double __safe_div_ri__(double a, int b);
extern double __safe_div_ir__(int a, double b);
extern double __safe_div_ii__(int a, int b);
extern double __real_power__(double a, double b);
extern int __integer_power__(int a, int b);
extern void __garbage_collector_begin_algorhitm__();
extern void __garbage_collector_register_string__(wchar_t * s);
extern void __garbage_collector_register_array__(struct __array__ * a);
extern void __garbage_collector_set_return_value__(wchar_t * s);
extern void __garbage_collector_set_return_array__(struct __array__ * s);
extern void __garbage_collector_end_algorhitm__();
extern void __input__st_funct(const char * format, int args, ...);
extern void __output__st_funct(const char * format, int args, ...);
extern void __assign_stream__st_funct(const wchar_t * streamname, const wchar_t * filename);
extern void __wait_for_output_queue_flushed__();
extern void __halt__(int lineNo);
#endif
/* Copyright (C) 2009 Free Software Foundation, Inc.
This file is part of GCC.
GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.
GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
Under Section 7 of GPL version 3, you are granted additional
permissions described in the GCC Runtime Library Exception, version
3.1, as published by the Free Software Foundation.
You should have received a copy of the GNU General Public License and
a copy of the GCC Runtime Library Exception along with this program;
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
<http://www.gnu.org/licenses/>. */
#ifndef _X86INTRIN_H_INCLUDED
# error "Never use <abmintrin.h> directly; include <x86intrin.h> instead."
#endif
#ifndef __ABM__
# error "ABM instruction set not enabled"
#endif /* __ABM__ */
#ifndef _ABMINTRIN_H_INCLUDED
#define _ABMINTRIN_H_INCLUDED
extern __inline unsigned short __attribute__((__gnu_inline__, __always_inline__, __artificial__))
__lzcnt16 (unsigned short __X)
{
return __builtin_clzs (__X);
}
extern __inline unsigned int __attribute__((__gnu_inline__, __always_inline__, __artificial__))
__lzcnt (unsigned int __X)
{
return __builtin_clz (__X);
}
#ifdef __x86_64__
extern __inline unsigned long __attribute__((__gnu_inline__, __always_inline__, __artificial__))
__lzcnt64 (unsigned long __X)
{
return __builtin_clzl (__X);
}
#endif
#endif /* _ABMINTRIN_H_INCLUDED */
/* Copyright (C) 2007, 2008, 2009 Free Software Foundation, Inc.
This file is part of GCC.
GCC is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 3, or (at your option)
any later version.
GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
Under Section 7 of GPL version 3, you are granted additional
permissions described in the GCC Runtime Library Exception, version
3.1, as published by the Free Software Foundation.
You should have received a copy of the GNU General Public License and
a copy of the GCC Runtime Library Exception along with this program;
see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
<http://www.gnu.org/licenses/>. */
/* Implemented from the specification included in the AMD Programmers
Manual Update, version 2.x */
#ifndef _AMMINTRIN_H_INCLUDED
#define _AMMINTRIN_H_INCLUDED
#ifndef __SSE4A__
# error "SSE4A instruction set not enabled"
#else
/* We need definitions from the SSE3, SSE2 and SSE header files*/
#include <pmmintrin.h>
extern __inline void __attribute__((__gnu_inline__, __always_inline__, __artificial__))
_mm_stream_sd (double * __P, __m128d __Y)
{
__builtin_ia32_movntsd (__P, (__v2df) __Y);
}
extern __inline void __attribute__((__gnu_inline__, __always_inline__, __artificial__))
_mm_stream_ss (float * __P, __m128 __Y)
{
__builtin_ia32_movntss (__P, (__v4sf) __Y);
}
extern __inline __m128i __attribute__((__gnu_inline__, __always_inline__, __artificial__))
_mm_extract_si64 (__m128i __X, __m128i __Y)
{
return (__m128i) __builtin_ia32_extrq ((__v2di) __X, (__v16qi) __Y);
}
#ifdef __OPTIMIZE__
extern __inline __m128i __attribute__((__gnu_inline__, __always_inline__, __artificial__))
_mm_extracti_si64 (__m128i __X, unsigned const int __I, unsigned const int __L)
{
return (__m128i) __builtin_ia32_extrqi ((__v2di) __X, __I, __L);
}
#else
#define _mm_extracti_si64(X, I, L) \
((__m128i) __builtin_ia32_extrqi ((__v2di)(__m128i)(X), \
(unsigned int)(I), (unsigned int)(L)))
#endif
extern __inline __m128i __attribute__((__gnu_inline__, __always_inline__, __artificial__))
_mm_insert_si64 (__m128i __X,__m128i __Y)
{
return (__m128i) __builtin_ia32_insertq ((__v2di)__X, (__v2di)__Y);
}
#ifdef __OPTIMIZE__