INblobs http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs Interaction Nets editor and interpreter en 17 Jun 13:00 - Minor Webpage Update Miguel Vilaca <jmvilaca@di.uminho.pt> Tue, 17 Jun 2008 13:00:13 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080617130013-970b1-1601aac3330f9d01bb22ac6d995333c9bc203044 Minor Webpage Update
index.html
]]> 17 Jun 12:54 - More Recent wxHaskell DLL Miguel Vilaca <jmvilaca@di.uminho.pt> Tue, 17 Jun 2008 12:54:55 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080617125455-970b1-50858a3d923a2c2515491f5c457371833879bbbf More Recent wxHaskell DLL
(Windows only)

wxc-msw2.6.4-0.10.3.dll
wxc-msw2.4.2-0.9.4.dll
index.html
makeDist.bat
]]> 17 Jun 12:49 - More Cleanup Miguel Vilaca <jmvilaca@di.uminho.pt> Tue, 17 Jun 2008 12:49:36 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080617124936-970b1-2f566e904793ec7d0a3f27ce2944a84ac3ce5981 More Cleanup
- Change local IntMap to external Data.IntMap
- Change some old module names to new ones
- minor cabal adds

lib/DData/IntMap.hs
src/Network.hs
src/NetworkView.hs
src/NetworkFile.hs
src/StateUtil.hs
src/CommonIO.hs
INblobs.cabal
Makefile
src/Operations.hs
src/Palette.hs
src/Common.hs
src/Main.hs
src/INTextual.hs
src/GUIEvents.hs
src/DisplayOptions.hs
src/NetworkControl.hs
src/INRule.hs
lib/DData
lib
]]> 17 Jun 09:39 - Remove unnecessary module Miguel Vilaca <jmvilaca@di.uminho.pt> Tue, 17 Jun 2008 09:39:56 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080617093956-970b1-882b619fb50ce552f0dbe66e1cd909d9a84b421b Remove unnecessary module
src/XTC.hs
Makefile
]]> 19 Mar 16:31 - Clean unnecessary stuff Miguel Vilaca <jmvilaca@di.uminho.pt> Wed, 19 Mar 2008 16:31:52 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080319163152-970b1-c56d55af3cf08921299e1e092829f6f0de1a3a4f Clean unnecessary stuff
lib/DData/IntBag.hs
lib/DData/IntSet.hs
lib/DData/Map.hs
lib/DData/MultiSet.hs
lib/DData/Queue.hs
lib/DData/Scc.hs
lib/DData/Seq.hs
lib/DData/Set.hs
Makefile
]]> 19 Mar 15:26 - Upgrade for new versions Miguel Vilaca <jmvilaca@di.uminho.pt> Wed, 19 Mar 2008 15:26:05 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080319152605-970b1-f675069e2a37d678091472f8461765dbd38c324b Upgrade for new versions
INblobs.cabal
src/INChecks.hs
src/DocumentFile.hs
]]> 28 Jan 18:08 - External Compilation Miguel Vilaca <jmvilaca@di.uminho.pt> Mon, 28 Jan 2008 18:08:31 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080128180831-970b1-58df94413cc32891733a8387fb1c6d7c29c7ba1c External Compilation
src/Main.hs
Makefile
src/INTextualUI.hs
]]> 25 Jan 15:58 - New File Format Miguel Vilaca <jmvilaca@di.uminho.pt> Fri, 25 Jan 2008 15:58:17 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080125155817-970b1-a82964446e8b3ad37f97a782d5cd3f4bc211f931 New File Format
Remove redundant information.

INblobs.xsd
examples/Lambda-calculusForLinearTerms.INblobs
examples/LafontAritmetic.INblobs
Makefile
examples/New-Token-Passing/CallByValueForClosedTerms+BNL-Iterators.INblobs
src/Palette.hs
src/SpecialSymbols.hs
examples/add from Calculus for interacction nets.INblobs
src/INRule.hs
examples/sort.INblobs
src/CommonUI.hs
examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
examples/Token-Passing/CallByValueWithOpenTerms.INblobs
examples/empty.INblobs
examples/Token-Passing/CallByNameForClosedTerms.INblobs
src/Ports.hs
src/INReductionStrategies.hs
examples/New-Token-Passing/CallByNameForClosedTerms+BNL-Iterators.INblobs
src/Network.hs
src/INReduction.hs
examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
examples/Token-Passing/CallByValueForClosedTerms.INblobs
src/Common.hs
src/NetworkControl.hs
src/GUIEvents.hs
src/INChecks.hs
src/NetworkView.hs
src/NetworkFile.hs
src/Document.hs
src/INTextual.hs
src/Functional/Compiler.hs
examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
src/DocumentFile.hs
examples/Token-Passing/CallByNameWithOpenTerms.INblobs
]]> 14 Jan 17:43 - Functional BNL programs to IN Iterators Miguel Vilaca <jmvilaca@di.uminho.pt> Mon, 14 Jan 2008 17:43:33 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080114174333-970b1-47385a6c0bb0855797d3e8c55d4a274ef27bcaac 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.

examples/New-Token-Passing/CallByNameForClosedTerms+BNL-Iterators.INblobs
examples/New-Token-Passing/CallByValueForClosedTerms+BNL-Iterators.INblobs
src/Functional/Language.hs
src/Functional/Parser.hs
src/Functional/UI.hs
lib/animLC/Bruijn.hs
lib/animLC/Closure.hs
lib/animLC/Consts.hs
lib/animLC/LambdaS.hs
lib/animLC/ParseLib.hs
lib/animLC/Schonfinkel.hs
lib/animLC/Types.hs
src/Constants.hs
src/Functional/Compiler.hs
startghc.bat
src/Document.hs
src/CommonUI.hs
makeclean.bat
src/NetworkUI.hs
Makefile
examples/New-Token-Passing/CallByValueForClosedTerms+BNL-Iterators.INblobs
src/Common.hs
startghci.bat
src/INChecks.hs
examples/New-Token-Passing/CallByNameForClosedTerms+BNL-Iterators.INblobs
src/LambdaC.hs
examples/New-Token-Passing
src/Functional
lib/animLC
src/CommonUI.hs
]]> 09 Jan 16:14 - Bug Fixes Miguel Vilaca <jmvilaca@di.uminho.pt> Wed, 09 Jan 2008 16:14:12 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080109161412-970b1-40dbc5249e488d5b9f0388c767cc45531e20b411 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)

src/Network.hs
src/INChecks.hs
src/Ports.hs
src/SpecialSymbols.hs
src/CommonUI.hs
]]> 08 Jan 19:42 - Richer Symbol Generation Miguel Vilaca <jmvilaca@di.uminho.pt> Tue, 08 Jan 2008 19:42:17 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080108194217-970b1-2d41bd1c9f83f04561898acae6c5fa7db865cac3 Richer Symbol Generation
Easier creation of syntactical and computational symbols.
Addition of predefined management symbols.

src/CommonUI.hs
]]> 08 Jan 17:11 - IN Validity Miguel Vilaca <jmvilaca@di.uminho.pt> Tue, 08 Jan 2008 17:11:22 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20080108171122-970b1-80b8fea1001596c02574d442d9beb227d7629508 IN Validity
Do the IN validity check on loading and saving.

src/INChecksUI.hs
src/INChecks.hs
src/NetworkUI.hs
]]> 26 Nov 17:48 - Move to HaXml 1.19 Miguel Vilaca <jmvilaca@di.uminho.pt> Mon, 26 Nov 2007 17:48:48 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20071126174848-970b1-f281cdd1c6d82fa66160f5f82a747fc3e09abb39 Move to HaXml 1.19
html/Installation.html
index.html
src/CommonUI.hs
INblobs.cabal
src/ContextMenu.hs
src/Math.hs
src/NetworkControl.hs
src/GUIEvents.hs
src/InfoKind.hs
src/Palette.hs
src/Colors.hs
src/NetworkUI.hs
src/Shape.hs
]]> 26 Nov 16:51 - Symbol Deletion Miguel Vilaca <jmvilaca@di.uminho.pt> Mon, 26 Nov 2007 16:51:45 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20071126165145-970b1-bfba945ebd3c9b10e4523a29c506ec0db5ff800f Symbol Deletion
Safe symbol deletion with check of symbol's occurrences.

src/Palette.hs
src/INChecks.hs
src/CommonUI.hs
]]> 26 Nov 16:11 - Split big file Miguel Vilaca <jmvilaca@di.uminho.pt> Mon, 26 Nov 2007 16:11:20 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20071126161120-970b1-3dd488d6dafcc5827b5e1d4552e3089d1614569a Split big file
Split NetworkUI in NetworkUI and CommonUI.

src/CommonUI.hs
src/NetworkUI.hs
src/INChecksUI.hs
Makefile
]]> 26 Nov 12:13 - Reduction Bug Fix Miguel Vilaca <jmvilaca@di.uminho.pt> Mon, 26 Nov 2007 12:13:15 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20071126121315-970b1-6309c2a1f1e240668ace4250a32db23e4147b423 Reduction Bug Fix
Bug fix to reduction of nets with edges between two ports of the same agent.


src/INReduction.hs
]]> 23 Nov 18:43 - Template bug fix. Daniel Mendes<danielgomesmendes@gmail.com> Fri, 23 Nov 2007 18:43:39 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20071123184339-d7ddf-ad22549c746d55d9c1741093f212d6ed285562e8 Template bug fix.
src/NetworkUI.hs
]]> 01 Oct 14:38 - Retro compatibility Miguel Vilaca <jmvilaca@di.uminho.pt> Mon, 01 Oct 2007 14:38:10 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20071001143810-970b1-4a7dd9f7c285dba5382c6051956caa81b716f57b Retro compatibility
To permit compilation with GHC < 6.6

html/Installation.html
src/INChecks.hs
]]> 12 Sep 13:57 - Check Special Symbols definitions Miguel Vilaca <jmvilaca@di.uminho.pt> Wed, 12 Sep 2007 13:57:57 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20070912135757-970b1-d2556748de5d1174543c3500ec1124312d7bb7a3 Check Special Symbols definitions
Check if special symbols definitions correspond to the default ones.

src/SpecialSymbols.hs
src/NetworkUI.hs
src/INChecks.hs
Makefile
src/INTextual.hs
src/INRule.hs
]]> 30 Jul 16:39 - Examples Corrections Miguel Vilaca <jmvilaca@di.uminho.pt> Mon, 30 Jul 2007 16:39:12 +0000 http://haskell.di.uminho.pt/cgi-bin/darcsweb.cgi?r=INblobs;a=commit;h=20070730163912-970b1-bf41845b2466612e42fccda25a836f3e0cb12bec Examples Corrections
examples/Lambda-calculusForLinearTerms.INblobs
examples/Token-Passing/CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
examples/Token-Passing/CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
examples/Token-Passing/CallByValueWithOpenTerms.INblobs
examples/Token-Passing/CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
examples/Token-Passing/CallByNameWithOpenTerms.INblobs
examples/Token-Passing/CallByValueForClosedTerms.INblobs
examples/Token-Passing/CallByNameForClosedTerms.INblobs
examples/Token-Passing/CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs
]]>