nominal2: Changelog

Mercurial Mercurial > hg > nominal2 / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -10 +10 +100 tip

Mon, 11 Jul 2011 12:23:24 +0100 some more experiments with let and bns

Christian Urban <urbanc@in.tum.de> [Mon, 11 Jul 2011 12:23:24 +0100] rev 2960

some more experiments with let and bns

Fri, 08 Jul 2011 05:04:23 +0200 some code refactoring

Christian Urban <urbanc@in.tum.de> [Fri, 08 Jul 2011 05:04:23 +0200] rev 2959

some code refactoring

Thu, 07 Jul 2011 16:17:03 +0200 merged

Christian Urban <urbanc@in.tum.de> [Thu, 07 Jul 2011 16:17:03 +0200] rev 2958

merged

Thu, 07 Jul 2011 16:16:42 +0200 code refactoring; introduced a record for raw_dt_info

Christian Urban <urbanc@in.tum.de> [Thu, 07 Jul 2011 16:16:42 +0200] rev 2957

code refactoring; introduced a record for raw_dt_info

Wed, 06 Jul 2011 23:11:30 +0200 more on NBE

Christian Urban <urbanc@in.tum.de> [Wed, 06 Jul 2011 23:11:30 +0200] rev 2956

more on NBE

Wed, 06 Jul 2011 15:59:11 +0200 more on the NBE function

Christian Urban <urbanc@in.tum.de> [Wed, 06 Jul 2011 15:59:11 +0200] rev 2955

more on the NBE function

Wed, 06 Jul 2011 01:04:09 +0200 a little further with NBE

Christian Urban <urbanc@in.tum.de> [Wed, 06 Jul 2011 01:04:09 +0200] rev 2954

a little further with NBE

Wed, 06 Jul 2011 07:42:12 +0900 Setup eqvt_at for first goal

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 06 Jul 2011 07:42:12 +0900] rev 2953

Setup eqvt_at for first goal

Wed, 06 Jul 2011 00:34:42 +0200 attempt for NBE

Christian Urban <urbanc@in.tum.de> [Wed, 06 Jul 2011 00:34:42 +0200] rev 2952

attempt for NBE

Tue, 05 Jul 2011 23:47:20 +0200 added some relatively simple examples from paper by Norrish

Christian Urban <urbanc@in.tum.de> [Tue, 05 Jul 2011 23:47:20 +0200] rev 2951

added some relatively simple examples from paper by Norrish

(0) -1000 -300 -100 -10 +10 +100 tip

nominal2