| Fri, 15 May 2020 14:22:05 +0200 |
prep. cleanup of Specification
|
file | diff | annotate |
| Wed, 13 May 2020 11:34:05 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
| Tue, 12 May 2020 17:42:29 +0200 |
shift code from struct.Specify to appropriate locations
|
file | diff | annotate |
| Sun, 10 May 2020 17:26:36 +0200 |
cleanup generate.sml, model.sml
|
file | diff | annotate |
| Fri, 01 May 2020 16:06:59 +0200 |
separate Specify_Step.check
|
file | diff | annotate |
| Wed, 29 Apr 2020 12:30:51 +0200 |
prep. separation of check Applicable between specify-phase and solve-phase
|
file | diff | annotate |
| Tue, 28 Apr 2020 15:31:49 +0200 |
assign code from Rtools to appropriate struct.s
|
file | diff | annotate |
| Wed, 15 Apr 2020 18:00:58 +0200 |
collect code in ThyC
|
file | diff | annotate |
| Wed, 15 Apr 2020 13:47:56 +0200 |
use "ThyC" for renaming identifiers
|
file | diff | annotate |
| Fri, 10 Apr 2020 18:32:36 +0200 |
use "UnparseC" for renaming identifiers
|
file | diff | annotate |
| Thu, 09 Apr 2020 17:13:17 +0200 |
separate struct. UnparseC, shift code to ThmC
|
file | diff | annotate |
| Wed, 08 Apr 2020 12:32:51 +0200 |
use new struct "Rule_Set" for renaming identifiers
|
file | diff | annotate |
| Wed, 01 Apr 2020 12:42:39 +0200 |
renaming, cleanup
|
file | diff | annotate |
| Tue, 31 Mar 2020 15:43:33 +0200 |
renaming, cleanup
|
file | diff | annotate |
| Tue, 31 Mar 2020 13:06:41 +0200 |
avoid contradicting predicates in contexts
|
file | diff | annotate |
| Wed, 25 Mar 2020 10:38:31 +0100 |
remove unused field in Ctree
|
file | diff | annotate |
| Mon, 23 Mar 2020 17:51:35 +0100 |
make Check_elementwise' idle wrt. Calc.T
|
file | diff | annotate |
| Wed, 18 Mar 2020 15:23:15 +0100 |
prep. cleanup LItool.resume_prog
|
file | diff | annotate |
| Sat, 07 Mar 2020 18:44:31 +0100 |
cleanup tac_from_prog, end
|
file | diff | annotate |
| Tue, 11 Feb 2020 11:58:45 +0100 |
introduce Step.by_tactic, part 1
|
file | diff | annotate |
| Thu, 23 Jan 2020 10:48:57 +0100 |
lucin: renaming due to simpler scanning (Istate .. found_accept)
|
file | diff | annotate |
| Fri, 17 Jan 2020 12:37:21 +0100 |
lucin: renaming
|
file | diff | annotate |
| Wed, 15 Jan 2020 12:12:44 +0100 |
lucin: rename fun *2 to fun * with expectation to unify fun * with fun *1
|
file | diff | annotate |
| Wed, 15 Jan 2020 11:47:38 +0100 |
preps for IJCAR paper
|
file | diff | annotate |
| Mon, 23 Dec 2019 16:58:36 +0100 |
shift code from mathengine-stateless.sml to Step.do_next
|
file | diff | annotate |
| Sat, 21 Dec 2019 18:05:13 +0100 |
lucin: unify do_next postponed
|
file | diff | annotate |
| Sat, 21 Dec 2019 16:45:10 +0100 |
lucin: unify do_next, partially
|
file | diff | annotate |
| Thu, 19 Dec 2019 16:41:57 +0100 |
cleanup fun solve, shift from Solve --> Step_Solve
|
file | diff | annotate |
| Wed, 18 Dec 2019 11:31:31 +0100 |
lucin: plan for new identifiers of steps
|
file | diff | annotate |
| Sat, 30 Nov 2019 17:03:49 +0100 |
lucin: code cleanup
|
file | diff | annotate |
| Fri, 29 Nov 2019 15:22:29 +0100 |
lucin: fun determine_next_tactic gets envisaged arguments
|
file | diff | annotate |
| Mon, 25 Nov 2019 16:39:52 +0100 |
lucin: renaming in scanning the parse-tree
|
file | diff | annotate |
| Thu, 21 Nov 2019 15:31:32 +0100 |
lucin: shift datatype, rename
|
file | diff | annotate |
| Wed, 13 Nov 2019 15:27:17 +0100 |
renaming in structure Env
|
file | diff | annotate |
| Thu, 07 Nov 2019 10:43:32 +0100 |
lucin: renaming for paper
|
file | diff | annotate |
| Wed, 30 Oct 2019 16:46:05 +0100 |
lucin: remove remaining Pstate exhibiting internal structure
|
file | diff | annotate |
| Sat, 19 Oct 2019 14:59:09 +0200 |
lucin: assimilate signatures
|
file | diff | annotate |
| Fri, 18 Oct 2019 16:18:14 +0200 |
lucin: cleanup args in lucas-interpreter, preps 2
|
file | diff | annotate |
| Wed, 18 Sep 2019 16:28:49 +0200 |
tests run in Test_Isac with ML_system_64 = "true"
|
file | diff | annotate |
| Wed, 18 Sep 2019 12:15:59 +0200 |
tests run in Test_Isac with ML_system_64 = "true", still exception Size
|
file | diff | annotate |
| Mon, 16 Sep 2019 20:40:33 +0200 |
[Test_Isac] notes and out-commenting in tests
|
file | diff | annotate |
| Thu, 12 Sep 2019 14:42:53 +0200 |
/----- finish update Isabelle2018 --> Isabelle2019 for Test_Isac.thy
|
file | diff | annotate |
| Thu, 29 Aug 2019 10:59:57 +0200 |
separate Prog_Tac.thy
|
file | diff | annotate |
| Thu, 22 Aug 2019 16:48:04 +0200 |
lucin: rename Script --> Program
|
file | diff | annotate |
| Thu, 22 Aug 2019 12:18:58 +0200 |
lucin: renaming from "script" to "program"
|
file | diff | annotate |
| Thu, 22 Aug 2019 10:27:02 +0200 |
shift e_ctxt Selem. --> ContextC.
|
file | diff | annotate |
| Wed, 03 Jul 2019 15:09:16 +0200 |
lucin: fix Test_Isac, rename aux-funs in lucas-interpreter.
|
file | diff | annotate |
| Tue, 25 Jun 2019 12:48:24 +0200 |
lucin: rename 3 main functions of lucase-interpreter.sml
|
file | diff | annotate |
| Thu, 07 Mar 2019 18:51:29 +0100 |
[-Test_Isac] funpack: test OK except partial_fractions, inverse_z_transform
|
file | diff | annotate |
| Fri, 30 Nov 2018 12:27:18 +0100 |
funpack: rename xxx' to xxxX preparing ''xxxX'' (''xxx''' not accepted by funpack)
|
file | diff | annotate |
| Wed, 14 Feb 2018 06:06:27 +0100 |
Isabelle2015->17: completed "normalise" cf. fb6f5ef2c647
|
file | diff | annotate |
| Tue, 13 Feb 2018 15:14:55 +0100 |
Isabelle2015->17: "normalize" as identifier causes type clash now, etc
|
file | diff | annotate |
| Wed, 07 Feb 2018 15:00:37 +0100 |
Isabelle2015->17: new negation "~ " --> "<not> "
|
file | diff | annotate |
| Thu, 22 Dec 2016 11:36:20 +0100 |
renamed Ctree.ptree --> Ctree.ctree
|
file | diff | annotate |
| Wed, 14 Dec 2016 10:45:41 +0100 |
redesigned inout, mout (since 2003 for interface Kernel - Java)
|
file | diff | annotate |
| Thu, 20 Oct 2016 10:26:29 +0200 |
simplify handling of theorems
|
file | diff | annotate |
| Mon, 07 Dec 2015 14:10:59 +0100 |
Isabelle2014-->15: closed Thm.thy applied to tests
|
file | diff | annotate |
| Wed, 05 Dec 2012 15:56:38 +0100 |
Test_Isac.thy works until "Interpret/mstools.sml"
|
file | diff | annotate |
| Fri, 12 Oct 2012 17:06:58 +0200 |
2011-->2012: ProofContext-->Proof_Context
|
file | diff | annotate |
| Sat, 17 Mar 2012 11:06:46 +0100 |
uncomment test/../rateq.sml (Isabelle 2002 --> 2011)
|
file | diff | annotate |