skalpel:skalpel.git
2013-10-23 John PirieSpeedup to union, unionsCons and unions Label functions hash-set-table-labelling
2013-10-22 John PirieMore speed improvements and a bugfix that was detected...
2013-10-22 John PirieTracking union sizes is making things even slower,...
2013-10-17 John PirieOptimisation to singleton label hash table creation
2013-10-17 John PirieAdded a (possibly unused currently) bigEmpty table...
2013-10-09 John PirieImplementation of a method with of labelling with faste...
2013-10-07 John PirieUpdates to parser and to some experiment files
2013-09-20 John PirieSome tests for include specifications, added warm-up...
2013-08-30 John PirieAdded some new test files on structure sharing
2013-08-30 John PirieGeneral cleanup and documentation update
2013-08-30 John PirieMerge branch 'master' of gitorious.org:skalpel/skalpel
2013-07-15 John PirieUpdates to test framework, trimmed size of Poly/ML...
2013-07-14 John PirieMerge branch 'master' of gitorious.org:skalpel/skalpel
2013-07-14 John PirieFix to build process of MLton profiling and webdemo...
2013-07-13 John PirieUpdates to test framework script
2013-07-13 John PirieAdding master test files for compliation procedures...
2013-07-11 John PirieUpdated .gitignore file
2013-07-10 John PirieUpdates to user guide to document potential compilation...
2013-07-09 John PirieBugfix, going to test with SML/NJ
2013-07-09 John PirieUpdated build system so cm, mlb and poly sources files...
2013-07-09 John PirieUpdates to the build process to be simpler, added suppo...
2013-07-09 John PirieMerge branch 'master' of gitorious.org:skalpel/skalpel
2013-07-09 John PirieMerge branch 'master' of gitorious.org:skalpel/skalpel
2013-07-09 John PirieSimplifications to make process for SML/NJ, going to...
2013-07-09 John PirieCommitting to merge Makefile changes
2013-07-08 John PirieMerge branch 'master' of gitorious.org:skalpel/skalpel
2013-07-08 John PirieRemoved extraneous new line characters
2013-07-08 John PirieMerged sources configuration into one central file
2013-07-08 John PirieAdded back support for SML/NJ
2013-07-02 John PirieCleanup of some of the codebase. Added a test for infix...
2013-03-06 jpirieMerge fix
2013-03-06 jpirieUpdates to skalpel packaging
2013-02-28 John PirieBugfix to package creation process for skalpel-emacs
2013-02-26 John PirieEdit to text on how to create packages
2013-02-26 jpirieRed hat packages now building for Skalpel 0.8
2013-02-26 John PirieUpdates to windows and red hat installer scripts
2013-02-26 jpirieskalpel-emacs package now building
2013-02-26 jpirieSkalpel 0.8 main package for debian now building
2013-02-26 John PirieUpdates to basis file location mechanism
2013-02-26 jpirieUpdates to debian packaging files for skalpel 0.8
2013-02-25 jpirieUpdates to debian packaging files
2013-02-25 jpirieMerge branch 'master' of gitorious.org:skalpel/skalpel
2013-02-25 jpirieUpdates to debian packaging files
2013-02-25 John PirieUpdates to command line interface and user guide, also...
2013-02-21 John PirieRe-write of some of the command-line interface code...
2013-02-20 John PirieUpdates to info file, user manual and command-line...
2013-02-18 John PirieBuxfixes for the terminal front end now part of the...
2013-02-18 John PirieMerge branch 'master' of ~jbw/skalpel/
2013-02-18 John PirieRemoval of skalpel-perl-to-bash and update to analysis...
2013-02-17 Joe WellsMerge branch 'master' of git://gitorious.org/skalpel...
2013-02-17 Joe WellsTo-fix comments in lib/basis.sml.
2013-02-14 John PirieMerge fix on the man page
2013-02-14 John PirieUpdates to man page
2013-02-13 John PirieSlight changes to repository structure to bring in...
2013-02-13 John PirieBugfixes to command line interface, preparing for 0...
2013-02-12 Joe WellsAdd a sharing and JSON structures to lib/basis.sml.
2013-01-14 John PirieMoved research log to jpirie-phd repository.
2013-01-14 John PirieUpdates to research log devel
2013-01-10 John PirieUpdates to research log
2013-01-09 John Pirieupdates to research log
2013-01-08 John PirieUpdates to research log
2013-01-08 John PirieAdded semicolon to end of test files for MLton support...
2012-12-23 John PirieSome updates to research log
2012-12-18 John PirieUpdates to research log
2012-12-09 John PiriePassing test involving single tick in fn/fun etc defini...
2012-12-09 John PirieUpdates to constraint solving for datatype constructors...
2012-12-07 John PirieUpdates to the datatype constructor typename test
2012-12-06 John PirieSome work towards a test involving testing typable...
2012-12-05 John PirieUpdates to Passing test where datatype arguments can...
2012-12-02 John PiriePassing opaque and translucent signatures test, tuple...
2012-11-29 John PirieA few updates towards the opaque/translucent signature...
2012-11-29 John PirieBits and pieces since the meeting today, mostly debuggi...
2012-11-28 John PirieWork on datatype constructors and opaque vs translucent...
2012-11-27 John PirieBugfix from yesterday which broke a test involving...
2012-11-27 John PirieFunction type test passing, work on datatype argument...
2012-11-25 John PirieFixed a test case involving datatype constructor applic...
2012-11-23 John PirieBugfix to test database test
2012-11-23 John PirieUpdates to some tests with type constructors, test...
2012-11-22 John PirieFixed some bugs where equality type variables got lost...
2012-11-19 John PirieAn uncommitted change, just an edit to a debug print...
2012-11-18 John PirieNew tests, equality errors involving functor signatures...
2012-11-18 John PiriePassing another few tests, equality type variables...
2012-11-18 John PiriePassing more tests for functor signature vs body equali...
2012-11-17 John PirieNew tests passing added to the test database
2012-11-16 John PirieMore lovely tests passing, burried constraints proper...
2012-11-16 John PirieArgument tests now passing, and got a fully correct...
2012-11-15 John PirieA few edits I was just working on, addeded eqdatatype...
2012-11-14 John PirieSome work towards a few tests
2012-11-09 John PirieMore tests from meeting with Joe, no real code updates
2012-11-09 John PirieLost labels now in place but wrestling minimiser to...
2012-11-07 John PirieA few more tests almost passing but labels are incorrec...
2012-11-07 John PirieCreating a restore point to roll back to if things...
2012-11-05 John PirieSome debug statements (need more), can't see what's...
2012-11-02 John PirieSome work towards passing some of these tests, results...
2012-10-30 John PirieNew test cases
2012-10-30 John PirieUpdates to research log; made a test more complex so...
2012-10-29 John PirieCompile fix
2012-10-29 John PirieMerge fix... I thought I'd added that parameter before...
2012-10-29 John PirieUpdates to equality types work, more tests passing...
2012-10-26 John PirieChange to way equality type variables are carried aroun...
next