Mercurial Mercurial > wneuper > isa / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
 
Sat, 30 Nov 2019 17:03:49 +0100 Walther Neuper lucin: code cleanup changeset | files
Sat, 30 Nov 2019 15:43:14 +0100 Walther Neuper lucin: prep. next_tactic_result, Accept_Tac2 takes ctxt in addition changeset | files
Fri, 29 Nov 2019 17:43:34 +0100 Walther Neuper lucin: setup OLD NEW code for determine_next_tactic changeset | files
Fri, 29 Nov 2019 17:19:37 +0100 Walther Neuper lucin: test setup downto fun determine_next_tactic changeset | files
Fri, 29 Nov 2019 16:21:41 +0100 Walther Neuper lucin: test setup downto fun do_solve_step changeset | files
Fri, 29 Nov 2019 16:06:30 +0100 Walther Neuper lucin: test setup for re-building fun determine_next_tactic changeset | files
Fri, 29 Nov 2019 15:22:29 +0100 Walther Neuper lucin: fun determine_next_tactic gets envisaged arguments changeset | files
Wed, 27 Nov 2019 18:47:26 +0100 Walther Neuper lucin: push ctxt further into interpreter changeset | files
Tue, 26 Nov 2019 17:37:17 +0100 Walther Neuper lucin: improve readability changeset | files
Tue, 26 Nov 2019 17:12:27 +0100 Walther Neuper lucin: shift code for paper changeset | files
Tue, 26 Nov 2019 17:06:12 +0100 Walther Neuper lucin: cleanup ContextC, partially changeset | files
Mon, 25 Nov 2019 16:39:52 +0100 Walther Neuper lucin: renaming in scanning the parse-tree changeset | files
Thu, 21 Nov 2019 15:31:32 +0100 Walther Neuper lucin: shift datatype, rename changeset | files
Thu, 21 Nov 2019 12:05:56 +0100 Walther Neuper lucin: prep.to unitise handling of tactics changeset | files
Tue, 19 Nov 2019 16:18:16 +0100 Walther Neuper tuned changeset | files
Tue, 19 Nov 2019 16:16:26 +0100 Walther Neuper tuned changeset | files
Tue, 19 Nov 2019 16:12:25 +0100 Walther Neuper [Test_Isac] lucin: revise Pstate {or, ...}, see TODO.thy changeset | files
Tue, 19 Nov 2019 14:19:44 +0100 Walther Neuper lucin: improve naming for constructors in scans changeset | files
Sat, 16 Nov 2019 20:38:55 +0100 Walther Neuper lucin: simplify scan for determine_next_tactic according to 86f2102fd7a8 changeset | files
Sat, 16 Nov 2019 20:13:43 +0100 Walther Neuper tuned changeset | files
Sat, 16 Nov 2019 20:11:28 +0100 Walther Neuper lucin: simplify scan for locate_input_tactic according to 86f2102fd7a8 changeset | files
Sat, 16 Nov 2019 19:01:04 +0100 Walther Neuper lucin: found returning Env.T unnecessary in Skip1,2 and Napp changeset | files
Sat, 16 Nov 2019 18:25:31 +0100 Walther Neuper lucin: scanning with Skip1 need NOT return env changeset | files
Sat, 16 Nov 2019 18:05:41 +0100 Walther Neuper lucin: repair an error undetected by tests changeset | files
Sat, 16 Nov 2019 17:46:08 +0100 Walther Neuper lucin: unify scanning to tactics changeset | files
Sat, 16 Nov 2019 17:13:52 +0100 Walther Neuper lucin: consolidate Tactic, 1st changeset | files
Thu, 14 Nov 2019 16:24:42 +0100 Walther Neuper tuned changeset | files
Thu, 14 Nov 2019 12:08:05 +0100 Walther Neuper tuned changeset | files
Thu, 14 Nov 2019 12:00:13 +0100 Walther Neuper tuned changeset | files
Thu, 14 Nov 2019 10:20:21 +0100 Walther Neuper lucin: renaming, comments for paper changeset | files
Wed, 13 Nov 2019 16:47:34 +0100 Walther Neuper lucin: remove step-construction by Rrls changeset | files
Wed, 13 Nov 2019 15:52:03 +0100 Walther Neuper lucin: renaming in structure Istate changeset | files
Wed, 13 Nov 2019 15:27:17 +0100 Walther Neuper renaming in structure Env changeset | files
Wed, 13 Nov 2019 12:06:40 +0100 Walther Neuper lucin: suppose determine_next_tactic unnecessary in solve Apply_Method' changeset | files
Wed, 13 Nov 2019 10:28:35 +0100 Walther Neuper open Pos with Ctree; !!!in previous changeset no Build_Isac!!! changeset | files
Wed, 13 Nov 2019 10:21:51 +0100 Walther Neuper separate structure Pos: POSITION changeset | files
Thu, 07 Nov 2019 20:24:51 +0100 Walther Neuper remove additional type definition for environment changeset | files
Thu, 07 Nov 2019 11:49:00 +0100 Walther Neuper lucin: remove step-construction by Rrls changeset | files
Thu, 07 Nov 2019 10:43:32 +0100 Walther Neuper lucin: renaming for paper changeset | files
Thu, 07 Nov 2019 09:22:05 +0100 Walther Neuper lucin: renaming for paper changeset | files
Thu, 07 Nov 2019 08:47:21 +0100 Walther Neuper lucin: re-order scanning, add If again changeset | files
Thu, 07 Nov 2019 07:39:58 +0100 Walther Neuper lucin: renaming for paper changeset | files
Wed, 06 Nov 2019 18:34:29 +0100 Walther Neuper lucin: renaming for paper changeset | files
Wed, 06 Nov 2019 15:08:27 +0100 Walther Neuper lucin: args of appy, assy & Co reorganised changeset | files
Mon, 04 Nov 2019 11:40:29 +0100 Walther Neuper [Test_Isac] lucin: remove Istate.get_*, unnecessary for record. changeset | files
Mon, 04 Nov 2019 09:04:23 +0100 Walther Neuper [Test_Isac] lucin: reorganise args of appy, assy & Co changeset | files
Thu, 31 Oct 2019 13:48:06 +0100 Walther Neuper tuned changeset | files
Thu, 31 Oct 2019 13:38:25 +0100 Walther Neuper [Test_Isac] lucin: make istate a record for pattern matching changeset | files
Thu, 31 Oct 2019 10:42:39 +0100 Walther Neuper save forgotten files changeset | files
Thu, 31 Oct 2019 10:41:42 +0100 Walther Neuper lucin: extend Pstate with an additional flag changeset | files
Wed, 30 Oct 2019 16:46:05 +0100 Walther Neuper lucin: remove remaining Pstate exhibiting internal structure changeset | files
Wed, 30 Oct 2019 14:40:22 +0100 Walther Neuper lucin: remove old code saved for comparison changeset | files
Wed, 30 Oct 2019 13:59:49 +0100 Walther Neuper lucin: rule-set for evaluation works in istate changeset | files
Wed, 30 Oct 2019 11:02:41 +0100 Walther Neuper lucin: extend istate with rule-set vor evaluation changeset | files
Sun, 27 Oct 2019 12:10:57 +0100 Walther Neuper lucin: replace Istate.safe by Istate.appy_ changeset | files
Sat, 26 Oct 2019 13:03:16 +0200 Walther Neuper separate common base for Specify and Interpret changeset | files
Fri, 25 Oct 2019 16:07:15 +0200 Walther Neuper lucin: adopt Poly/ML warnings in lucas-interpreter.sml changeset | files
Fri, 25 Oct 2019 15:06:08 +0200 Walther Neuper lucin: remove old args in appy & Co changeset | files
Fri, 25 Oct 2019 10:11:55 +0200 Walther Neuper lucin: appy & Co with istate + old args works changeset | files
Tue, 22 Oct 2019 17:35:50 +0200 Walther Neuper lucin: prep. tests for appy & Co with interpretere-state changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 tip
wneuper/isa