Skip to content

Improved assembly's usability #10

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

Improved assembly's usability #10

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
78c91de
Linked with Maven & added packages
khovanskiy Apr 25, 2017
d7e618f
Line separators
khovanskiy Apr 25, 2017
217f361
Improved file read/write speed
khovanskiy Apr 25, 2017
c266f9e
Maven Jar Plugin
khovanskiy Apr 25, 2017
1f4d8d4
Maven Jar Plugin
khovanskiy Apr 25, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
204 changes: 204 additions & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,204 @@
*.tmp
pan.*

*.iml
gen/
.idea/
*.ipr
*.iws
/out/
.idea_modules/
atlassian-ide-plugin.xml
com_crashlytics_export_strings.xml
crashlytics.properties
crashlytics-build.properties
target/
pom.xml.tag
pom.xml.releaseBackup
pom.xml.versionsBackup
pom.xml.next
release.properties
dependency-reduced-pom.xml
buildNumber.properties
.mvn/timing.properties

## Core latex/pdflatex auxiliary files:
*.aux
*.lof
*.log
*.lot
*.fls
*.out
*.toc
*.fmt
*.fot
*.cb
*.cb2

## Intermediate documents:
*.dvi
*-converted-to.*
# these rules might exclude image files for figures etc.
# *.ps
# *.eps
# *.pdf

## Bibliography auxiliary files (bibtex/biblatex/biber):
*.bbl
*.bcf
*.blg
*-blx.aux
*-blx.bib
*.brf
*.run.xml

## Build tool auxiliary files:
*.fdb_latexmk
*.synctex
*.synctex.gz
*.synctex.gz(busy)
*.pdfsync

## Auxiliary and intermediate files from other packages:
# algorithms
*.alg
*.loa

# achemso
acs-*.bib

# amsthm
*.thm

# beamer
*.nav
*.snm
*.vrb

# cprotect
*.cpt

# fixme
*.lox

#(r)(e)ledmac/(r)(e)ledpar
*.end
*.?end
*.[1-9]
*.[1-9][0-9]
*.[1-9][0-9][0-9]
*.[1-9]R
*.[1-9][0-9]R
*.[1-9][0-9][0-9]R
*.eledsec[1-9]
*.eledsec[1-9]R
*.eledsec[1-9][0-9]
*.eledsec[1-9][0-9]R
*.eledsec[1-9][0-9][0-9]
*.eledsec[1-9][0-9][0-9]R

# glossaries
*.acn
*.acr
*.glg
*.glo
*.gls
*.glsdefs

# gnuplottex
*-gnuplottex-*

# hyperref
*.brf

# knitr
*-concordance.tex
# TODO Comment the next line if you want to keep your tikz graphics files
*.tikz
*-tikzDictionary

# listings
*.lol

# makeidx
*.idx
*.ilg
*.ind
*.ist

# minitoc
*.maf
*.mlf
*.mlt
*.mtc
*.mtc[0-9]
*.mtc[1-9][0-9]

# minted
_minted*
*.pyg

# morewrites
*.mw

# mylatexformat
*.fmt

# nomencl
*.nlo

# sagetex
*.sagetex.sage
*.sagetex.py
*.sagetex.scmd

# sympy
*.sout
*.sympy
sympy-plots-for-*.tex/

# pdfcomment
*.upa
*.upb

# pythontex
*.pytxcode
pythontex-files-*/

# thmtools
*.loe

# TikZ & PGF
*.dpth
*.md5
*.auxlock

# todonotes
*.tdo

# xindy
*.xdy

# xypic precompiled matrices
*.xyc

# endfloat
*.ttt
*.fff

# Latexian
TSWLatexianTemp*

## Editors:
# WinEdt
*.bak
*.sav

# Texpad
.texpadtmp

# Kile
*.backup

# KBibTeX
*~[0-9]*
124 changes: 62 additions & 62 deletions docs/jspin-release.html
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,63 +1,63 @@
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<TITLE>jSpin - Release Notes</TITLE>
</HEAD>
<BODY>
<CENTER><font size=+1><b>jSpin - Release Notes</font></b></CENTER>
<p><b>Version 5.0 (12.12.10)</b><br>
&nbsp; Adapted for Spin Version 6:
different output format and internal LTL formulas.
<p><b>Version 4.7 (05.03.10)</b><br>
&nbsp; Add menu entry Settings/Negate LTL
and the associated configuration file option NEGATE_LTL which
controls whether LTL formulas are automatically negated or not.<br>
&nbsp; Changed the button Trail to Guided to be consistent:
random simulation, interactive simulation, guided simulation.
<p><b>Version 4.6</b><br>
The divider locations and the width of the interactive select
buttons can be saved in the configuration file after changing them
interactively. STATEMENT_WIDTH can be changed interactively.
The installation directory may have spaces.
<p><b>Version 4.5.1</b><br> Fix a bug when an LTL formula contains spaces.
<p><b>Version 4.5</b><br> Improvements to interactive simulation.
<p><b>Version 4.4</b><br> Configuration file can be in current or installation
directory.
<p><b>Version 4.3.1</b><br> Fixes a serious bug introduced in 4.3.
<p><b>Version 4.3</b><br> Standalone filter program. Integration of user manuals.
<p><b>Version 4.2.2</b><br> Self-installing archive and relative path names.
<p><b>Version 4.2.1</b><br> For random simulation the seed can be set.
<p><b>Version 4.2</b><br> New Version of SpinSpider for graphically
displaying the Promela source as automata. Help, About and raw files now
displayed in the right text area.
<p><b>Version 4.1.3</b><br> Minor fixes: The full error line from a
verification is displayed. The fonts on option panes are fixed.
<p><b>Version 4.1.2</b><br> The default configuration values are changed
to point to the bin subdirectory for installing minimal binaries for
Spin and dot. For non-Windows systems such as Mac OS X: the compilation
target is specified as Java 1.5. The SINGLE_QUOTE option
enables the use of single quotes when translating an LTL formula.
<p><b>Version 4.1.1</b><br> Not released.
<p><b>Version 4.1</b><br> Lines numbers appear in the filtered simulation output.
<p><b>Version 4.0</b><br> Includes the new SpinSpider and an improved
interface for running it.
</BODY>
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<TITLE>jSpin - Release Notes</TITLE>
</HEAD>

<BODY>
<CENTER><font size=+1><b>jSpin - Release Notes</font></b></CENTER>

<p><b>Version 5.0 (12.12.10)</b><br>
&nbsp; Adapted for Spin Version 6:
different output format and internal LTL formulas.

<p><b>Version 4.7 (05.03.10)</b><br>
&nbsp; Add menu entry Settings/Negate LTL
and the associated configuration file option NEGATE_LTL which
controls whether LTL formulas are automatically negated or not.<br>
&nbsp; Changed the button Trail to Guided to be consistent:
random simulation, interactive simulation, guided simulation.

<p><b>Version 4.6</b><br>
The divider locations and the width of the interactive select
buttons can be saved in the configuration file after changing them
interactively. STATEMENT_WIDTH can be changed interactively.
The installation directory may have spaces.

<p><b>Version 4.5.1</b><br> Fix a bug when an LTL formula contains spaces.

<p><b>Version 4.5</b><br> Improvements to interactive simulation.

<p><b>Version 4.4</b><br> Configuration file can be in current or installation
directory.

<p><b>Version 4.3.1</b><br> Fixes a serious bug introduced in 4.3.

<p><b>Version 4.3</b><br> Standalone filter program. Integration of user manuals.

<p><b>Version 4.2.2</b><br> Self-installing archive and relative path names.

<p><b>Version 4.2.1</b><br> For random simulation the seed can be set.

<p><b>Version 4.2</b><br> New Version of SpinSpider for graphically
displaying the Promela source as automata. Help, About and raw files now
displayed in the right text area.

<p><b>Version 4.1.3</b><br> Minor fixes: The full error line from a
verification is displayed. The fonts on option panes are fixed.

<p><b>Version 4.1.2</b><br> The default configuration values are changed
to point to the bin subdirectory for installing minimal binaries for
Spin and dot. For non-Windows systems such as Mac OS X: the compilation
target is specified as Java 1.5. The SINGLE_QUOTE option
enables the use of single quotes when translating an LTL formula.

<p><b>Version 4.1.1</b><br> Not released.

<p><b>Version 4.1</b><br> Lines numbers appear in the filtered simulation output.

<p><b>Version 4.0</b><br> Includes the new SpinSpider and an improved
interface for running it.

</BODY>
</HTML>
Loading