Minor Webpage Update

More Recent wxHaskell DLL

(Windows only)

More Cleanup

- Change local IntMap to external Data.IntMap
- Change some old module names to new ones
- minor cabal adds

Remove unnecessary module

Clean unnecessary stuff

Upgrade for new versions

External Compilation

New File Format

Remove redundant information.

Functional BNL programs to IN Iterators

Compiles a textual BNL program into an Interaction Net system with iterators.
See paper "Encoding Iterators in Interaction Nets" for more details.

Bug Fixes

Fix:
- document history bug when adding a new rule
- editing bug that allowed a port to connect to itself
- INCheck bug over previous entry (port connected to itself)

Richer Symbol Generation

Easier creation of syntactical and computational symbols.
Addition of predefined management symbols.

IN Validity

Do the IN validity check on loading and saving.

Move to HaXml 1.19

Symbol Deletion

Safe symbol deletion with check of symbol's occurrences.

Split big file

Split NetworkUI in NetworkUI and CommonUI.

Reduction Bug Fix

Bug fix to reduction of nets with edges between two ports of the same agent.

Template bug fix.

Retro compatibility

To permit compilation with GHC < 6.6

Check Special Symbols definitions

Check if special symbols definitions correspond to the default ones.

Examples Corrections

Valid IN System

Checks if a document is a valid Interaction Nets System.

Checks

Machinery to add checks over nets, plus a simple operation that checks if every port is connected exactly once.

Generation of Textual Descriptions

Now the user as the choice of generate the
textual representation of the IN system to:
- AMIN
- PIN

Bug Fix: lambda-terms to IN

Automatic transformation of lambda terms into interaction nets.***END OF DESCRIPTION***


Place the long patch description above the ***END OF DESCRIPTION*** marker.
The first line of this file will be the patch name.


This patch contains the following changes:

M ./src/NetworkUI.hs -5 +64

Standard reduction stragies system

Allow for a much simpler an concise implementation of
new reduction strategies.

Documentation update

Adds Cabal support

Developers or those installing from sources now can
alternatively do compilation in the standard Haskell way:
runhaskell Setup.hs configure
runhaskell Setup.hs build
and run the excutable:
./dist/build/INblobs/INblobs

Update for new compilers and libraries versions

- Update module XTC to a more recent available online
- The code was using some deprecated libraries that have been
definitively removed in GHC 6.6; this patch update to the new
corresponding libraries, allowing compatibility with previous
GHC versions.
- Update to allow the use of HaXml 1.17 or 1.16 or 1.15 indifferently.

Token-Passing examples

Some examples of Token-Passing Interaction Nets in
Call-by-Value and Call-by-Name with booleans, lists,
natural numbers, products, co-products and explicit
recursion.

Bug fixes

The fallowing bugs wore solved:
- Undo crashes the aplication;
- The symbol palette overlaps the add new agent button;
- The agent palette is now symbol palette;
- How to is now working under MAC OS X;
- The create new rule wizard generates unnamed rules.

Webpage update

Management Rule Template's

The 'Create new rule wizard' has now the ability to create Management rules from predefined templates.

WRINF strategy

The Weak reduction to interface normal form strategy is now available as described in the paper
Weak Reduction and Garbage Collection in Interaction Nets by Jorge Sousa Pinto.

MacOS dialog bug fixed

The following features are now working for MacOSX
- Rule creation wizard
- Add new agent
- Generate textual description
***END OF DESCRIPTION***

Place the long patch description above the ***END OF DESCRIPTION*** marker.
The first line of this file will be the patch name.


This patch contains the following changes:

M ./src/INTextualUI.hs -1 +1
M ./src/NetworkUI.hs -2 +2

Multi selection fixes

Fixes this bugs concerning multi selection:
- When a rectangular area selection was made, the DEL/BACKSPACE buttons were doing nothing.
- Multiple selection by CONTROL key is now working.

Bug Fix

Fixes a bug that occurs in net reduction when there were direct
edge(s) other than the active pair between those two agents.

A few spelling corrections

Multiple edges between 2 agents but at different ports.

Fixed a bug that was forbidding 2 agents of arity n>1 of having multiple edges between them since they were at disjoint ports.

Easier executables for Windows XP and Mac OS X

Add scripts that automatically generate Windows XP and Mac OS X binary distributions.
- In Windows XP run 'makeDist.bat' and you will get INblobs.zip
- In Mac OS x run 'make macDist' and you will get INblobs.dmg

Document more bugs

Easy run on Mac

Renamings

- Renaming some features
- Spell check
- Simpler CPP
- Mac distinction

Reduction

This adds the interpreter;
- interactive one step reduction
- full reduction
- reduction step-by-step

Haddock documentation

Removes unnecessary features.

Bugs Fix

Fixes this bugs:
- Some messages weren't shown in Linux due to special caracters.
- Removing a rule weren't updating the state correctly.
- It was possible to remove of the last rule.
- Some dummy errors were generated when opening a new INblobs file.

Usability improvements

- Changes menu item 'Change shape palette' from menu 'Edit'
to menu 'Palette' and adds a confirm dialog to this
dangerous operation.
- Adds buttons 'Add new rule' and
'Create new Interaction Net rule'.
- Removes buttons 'Add new agent' from dialog
'Create new Interaction net rule'.
- Test if palette without interface agent is empty in
'Create new Interaction net rule'.
- Readjustment in ports's colors; port of interface agents
are painted differently.
- New graphical way to generate textual descriptions
- Possibility to generate partial textual descriptions;
just rules or just net.
- When loading new palettes, checks if the set of new
names contains the set of old names.
- Loading the palette is not a document operation anymore.

Reorganization of files

Palette files are now in its own folder.
Windows executable now belong to repository; it's simpler to maintain.
The palette used on start is the one with just the interface agent.

Browsable Repository

Browsable repository in webpage using darcsweb.