Mon, 20 Jun 2022 09:56:48 +0200 |
wneuper |
review stepwise Specification in vscode-example.sml
|
changeset |
files
|
Sun, 19 Jun 2022 16:55:13 +0200 |
wneuper |
shifts tests to VSCode_Example.thy, vscode-example.sml
|
changeset |
files
|
Sun, 19 Jun 2022 16:10:11 +0200 |
wneuper |
remove type error from Fromalise.model
|
changeset |
files
|
Sun, 19 Jun 2022 15:38:51 +0200 |
wneuper |
add MethodC for Demo_Example
|
changeset |
files
|
Sun, 19 Jun 2022 14:56:00 +0200 |
wneuper |
tuned
|
changeset |
files
|
Sun, 19 Jun 2022 14:54:14 +0200 |
wneuper |
add Problem for Demo_Example
|
changeset |
files
|
Sun, 19 Jun 2022 12:46:43 +0200 |
wneuper |
add input-descriptors for Demo_Example
|
changeset |
files
|
Sun, 19 Jun 2022 09:35:51 +0200 |
wneuper |
review tests similar to Demo_Example
|
changeset |
files
|
Sat, 18 Jun 2022 12:34:29 +0200 |
wneuper |
adapth thy to Demo_Example
|
changeset |
files
|
Fri, 17 Jun 2022 12:15:09 +0200 |
wneuper |
start checking input by ISAC
|
changeset |
files
|
Thu, 02 Jun 2022 17:53:41 +0200 |
wneuper |
tuned
|
changeset |
files
|
Thu, 02 Jun 2022 17:13:44 +0200 |
wneuper |
Calculation 8: add References; bypass "Outer syntax error: keyword Theory_Ref expected"
|
changeset |
files
|
Thu, 02 Jun 2022 12:12:42 +0200 |
wneuper |
Calculation 7': model with data from Demo_Example
|
changeset |
files
|
Thu, 02 Jun 2022 11:23:52 +0200 |
wneuper |
Calculation 7: shift model input to right place in Demo_Example
|
changeset |
files
|
Thu, 02 Jun 2022 09:45:11 +0200 |
wneuper |
Calculation 6''': add argument to Problem
|
changeset |
files
|
Wed, 01 Jun 2022 14:37:55 +0200 |
wneuper |
Calculation 6'': add inital keywords
|
changeset |
files
|
Wed, 01 Jun 2022 14:30:53 +0200 |
wneuper |
Calculation 6': push "Problem" into Demo_Example
|
changeset |
files
|
Wed, 01 Jun 2022 14:17:23 +0200 |
wneuper |
Calculation 6: separate "Problem" and "Problem_Ref"
|
changeset |
files
|
Wed, 01 Jun 2022 13:39:41 +0200 |
wneuper |
Calculation cf. 9d98791b4080: adapt tests
|
changeset |
files
|
Wed, 01 Jun 2022 13:36:28 +0200 |
wneuper |
Calculation 5'': cleanup
|
changeset |
files
|
Wed, 01 Jun 2022 12:27:05 +0200 |
wneuper |
Calculation 5': cleanup
|
changeset |
files
|
Wed, 01 Jun 2022 10:58:36 +0200 |
wneuper |
Calculation 5: narrow headline of "problem" towards "Example"
|
changeset |
files
|
Wed, 01 Jun 2022 09:28:56 +0200 |
wneuper |
Calculation 4: refine representations of Demo_Example
|
changeset |
files
|
Tue, 31 May 2022 19:24:28 +0200 |
wneuper |
Calculation 3': Demo_Example stores values to Theory_Data
|
changeset |
files
|
Tue, 31 May 2022 17:33:02 +0200 |
wneuper |
Calculation 3: Demo_Example stored in Theory_Data
|
changeset |
files
|
Tue, 31 May 2022 16:21:22 +0200 |
wneuper |
cleanup
|
changeset |
files
|
Tue, 31 May 2022 11:00:15 +0200 |
wneuper |
cleanup
|
changeset |
files
|
Tue, 31 May 2022 10:17:11 +0200 |
wneuper |
cleanup
|
changeset |
files
|
Tue, 31 May 2022 09:57:15 +0200 |
wneuper |
Calculation 2: Demo_Example without ML code
|
changeset |
files
|
Tue, 31 May 2022 09:36:02 +0200 |
wneuper |
Calculation 1''': remove test-code from previous changeset 1c8263e775d4
|
changeset |
files
|
Tue, 31 May 2022 09:16:12 +0200 |
wneuper |
Calculation 1'': ERROR in Demo_Example.thy, questions in TODO.md
|
changeset |
files
|
Sun, 29 May 2022 19:05:14 +0200 |
wneuper |
Calculation 1': include Demo_Example into build
|
changeset |
files
|
Sun, 29 May 2022 19:00:35 +0200 |
wneuper |
Calculation 1: minimal changes in code + application
|
changeset |
files
|
Sun, 29 May 2022 12:17:09 +0200 |
wneuper |
start Calculation by use of Makarius' "problem" as boilerplate + add files
|
changeset |
files
|
Sun, 29 May 2022 11:34:05 +0200 |
wneuper |
cleanup
|
changeset |
files
|
Sun, 29 May 2022 11:27:34 +0200 |
wneuper |
start Calculation by use of Makarius' "problem" as boilerplate
|
changeset |
files
|
Fri, 27 May 2022 17:19:01 +0200 |
wneuper |
tuned
|
changeset |
files
|
Fri, 27 May 2022 17:14:49 +0200 |
wneuper |
tuned
|
changeset |
files
|
Fri, 27 May 2022 15:12:54 +0200 |
wneuper |
replace literals with constants
|
changeset |
files
|
Fri, 27 May 2022 12:07:55 +0200 |
wneuper |
type check at init of Problem appears correct
|
changeset |
files
|
Thu, 26 May 2022 12:53:13 +0200 |
wneuper |
tuned
|
changeset |
files
|
Thu, 26 May 2022 12:45:00 +0200 |
wneuper |
merged
|
changeset |
files
|
Thu, 26 May 2022 12:44:51 +0200 |
wneuper |
unify parse 6': TermC.parse eliminated, Test_Isac ok
|
changeset |
files
|
Wed, 25 May 2022 10:37:35 +0200 |
wneuper |
unify parse 6: TermC.parse eliminated, Test_Isac_Short ok
|
changeset |
files
|
Tue, 24 May 2022 16:47:31 +0200 |
wneuper |
unify parse 5': improved get_ctxt for appendFormula and CAS-cmd
|
changeset |
files
|
Tue, 24 May 2022 12:57:47 +0200 |
wneuper |
unify parse 5: for appendFormula and CAS-cmd
|
changeset |
files
|
Mon, 23 May 2022 18:23:25 +0200 |
wneuper |
disentangle isa and isa2
|
changeset |
files
|
Mon, 23 May 2022 15:18:27 +0200 |
wneuper |
resume development
|
changeset |
files
|
Tue, 16 Nov 2021 18:29:23 +0100 |
wneuper |
tuned
|
changeset |
files
|
Tue, 16 Nov 2021 18:26:57 +0100 |
wneuper |
unify parse 4: eliminate parse, simple cases
|
changeset |
files
|
Wed, 29 Sep 2021 19:34:32 +0200 |
wneuper |
unify parse 3: eliminate parseN
|
changeset |
files
|
Wed, 29 Sep 2021 19:26:12 +0200 |
wneuper |
unify parse 2: eliminate parseold
|
changeset |
files
|
Wed, 29 Sep 2021 18:56:38 +0200 |
wneuper |
unify parse 1: reorder defs
|
changeset |
files
|
Mon, 27 Sep 2021 20:24:24 +0200 |
wneuper |
cleanup; all relevant tests work again
|
changeset |
files
|
Mon, 27 Sep 2021 13:17:52 +0200 |
wneuper |
tuned
|
changeset |
files
|
Mon, 27 Sep 2021 13:14:09 +0200 |
wneuper |
simp rules for realpow appear complete
|
changeset |
files
|
Sun, 26 Sep 2021 20:58:57 +0200 |
wneuper |
another simp rule missing; lemma realpow_uminus_simps fails.
|
changeset |
files
|
Sat, 25 Sep 2021 21:41:51 +0200 |
wenzelm |
more simp rules: 1 is another special case, so (- 1) needs to be treated separately;
|
changeset |
files
|
Sat, 25 Sep 2021 13:54:06 +0200 |
wneuper |
\\ uncovered corner case of realpow: (- 1) ? 2
|
changeset |
files
|
Fri, 24 Sep 2021 14:18:10 +0200 |
wenzelm |
proper simp_ctxt;
|
changeset |
files
|