Diffusion afp-devel 7f2113075eaa

merge
7f2113075eaa
Actions

Tags

None

Subscribers

None

Description

merge

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP8df476764564: deleted incomplete methods for polynomial factorization or root computation in…
rAFPd4a4e01fa279: merged

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFP7f2113075eaa: merge.Nov 14 2021, 2:14 PM

Merged Changes

8df476764564 deleted incomplete methods for polynomial factorization or root computation in…
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
4b2bb6f630a4 factor_complex_poly delivers distinct list
Author
Rene Thiemann <rene.thiemann@uibk.ac.at>
Browse Repository
No Builds
No Audits
3dc8035b2428 added missing topics;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
3aae61bb0567 clarified hugo build signature;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d2e0fd5a6ec2 added more steps to afp site generation tool;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
a40fc791abac tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
3e1f6e97fb35 added hugo project by Carlin MacKenzie;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
fb767a74d676 added sitegen scripts by Carlin MacKenzie (slightly tweaked);
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
9895c8d9135b added afp hugo module;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
17494afe4715 clarified afp_dependencies: proper typed output;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d08381f4f088 Added afp structure module;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
2272fe40054f Added python wrapper;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
bb594d6d379d clarified metadata;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
8225e73dbf62 tuned;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
153b52d5a513 added afp hugo component;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
22ee7f2dcda1 added afp python component with required packages;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
4f170b69e2da merged;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
061880a9cd9e feat(afp/tools): added initial site build tool
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
ead6c0ad1a67 tuned(afp/tools): metadata sorted
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
fa45268f13d7 tuned(afp/tools): tuned parser/unparser
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
88ca579ca6cd feat(afp/tools): more metadata and toml conversion;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
a3eb648b93ca feat(afp/tools): added TOML lexer and parser;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
d6535281a69a tuned(afp/tools): module jar locations;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
70ac60fa1e2d fix(afp/tools): added missing metadata, improved toml structure
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
49990125bc11 fix(afp/tools): removed TOML formatting heuristics for simplicity;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
88d0e6a26ce1 feat(afp/tools): added TOML module;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
02bc4563612a feat(afp/tools): added metadata migration tool;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
12c42ff80fc6 feat(afp/tools): migrated scala tool_bodys to proper tools;
Author
Fabian Huch <huch@in.tum.de>
Browse Repository
No Builds
No Audits
323c29c97a1e close merged branch
Author
kleing
Browse Repository
No Builds
No Audits
fd1d5b3fdd7c close branch
Author
kleing
Browse Repository
No Builds
No Audits
daa87ea0470c close branch
Author
kleing
Browse Repository
No Builds
No Audits
f7321f5a8909 close branch
Author
kleing
Browse Repository
No Builds
No Audits
a040f98f10ef close branch
Author
kleing
Browse Repository
No Builds
No Audits
ff876ac75e44 close branch
Author
kleing
Browse Repository
No Builds
No Audits
3b5ff4b8d37d Closing branch "devel"
Author
kleing
Browse Repository
No Builds
No Audits
a0d561998f20 closed branch
Author
kleing
Browse Repository
No Builds
No Audits
8e995d947fb0 closed pull-request branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
249c2b58d173 closed merged branch
Author
Gerwin Klein <gerwin.klein@nicta.com.au>
Browse Repository
No Builds
No Audits
ad14484777fc merged
Author
gerwin.klein@nicta.com.au
Browse Repository
No Builds
No Audits
e3e858bfc9eb merged
Author
kleing
Browse Repository
No Builds
No Audits
4bea345493dd Closed branch ltl
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits
53421953ad96 WIP/LTL Entry
Author
Salomon Sickert <sickert@in.tum.de>
Browse Repository
No Builds
No Audits

Changes (4)

Path

Size

Szemeredi_Regularity

Roth_Library.thy

rAFP7f2113075eaa

thys/Szemeredi_Regularity/Roth_Library.thy

Loading...

thys/Szemeredi_Regularity/Szemeredi.thy

Loading...