Mercurial > isabelle

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 75713: (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip
age author description
Mon, 25 Jul 2022 08:24:21 +0100 Achim D. Brucker Support 'late use' of Code_Real_Approx_By_Float. fix-code_real_approx_by_float
Sat, 23 Jul 2022 12:19:45 +0200 wenzelm clarified signature;
Sat, 23 Jul 2022 11:26:28 +0200 wenzelm clarified modules;
Fri, 22 Jul 2022 18:26:52 +0100 Achim D. Brucker Merging tip. feature-codegen-fsharp
Fri, 22 Jul 2022 16:41:41 +0200 wenzelm merged
Fri, 22 Jul 2022 16:41:15 +0200 wenzelm more documentation;
Fri, 22 Jul 2022 16:14:51 +0200 wenzelm tuned;
Fri, 22 Jul 2022 15:28:56 +0200 wenzelm removed obsolete commands;
Fri, 22 Jul 2022 15:15:26 +0200 wenzelm command 'scala_build_generated_files' with proper management of source dependencies;
Thu, 21 Jul 2022 15:01:48 +0200 wenzelm clarified signature;
Thu, 21 Jul 2022 14:29:37 +0200 wenzelm tuned messages;
Thu, 21 Jul 2022 14:27:11 +0200 wenzelm support more file types;
Thu, 21 Jul 2022 14:26:53 +0200 wenzelm support for Java language;
Tue, 12 Jul 2022 16:11:14 +0200 wenzelm clarified signature;
Tue, 12 Jul 2022 16:04:15 +0200 wenzelm clarified signature;
Tue, 12 Jul 2022 15:42:57 +0200 wenzelm support for classpath artifacts within session structure:
Tue, 12 Jul 2022 14:40:41 +0200 wenzelm clarified names;
Tue, 12 Jul 2022 14:38:31 +0200 wenzelm clarified signature;
Mon, 11 Jul 2022 15:22:17 +0200 wenzelm clarified signature;
Mon, 11 Jul 2022 15:08:57 +0200 wenzelm clarified signature;
Mon, 11 Jul 2022 14:56:30 +0200 wenzelm clarified signature;
Mon, 11 Jul 2022 13:40:10 +0200 wenzelm unused;
Mon, 11 Jul 2022 13:36:08 +0200 wenzelm clarified signature;
Mon, 11 Jul 2022 13:21:22 +0200 wenzelm tuned signature: more explicit types;
Fri, 22 Jul 2022 14:21:53 +0000 Lukas Stevens fix document build error
Fri, 22 Jul 2022 14:30:46 +0100 Achim D. Brucker Merging tip. feature-codegen-fsharp
Fri, 22 Jul 2022 14:39:56 +0200 Fabian Huch tuned (some HOL lints, by Yecine Megdiche);
Wed, 20 Jul 2022 20:02:17 +0100 Achim D. Brucker Initial commit. feature-codegen-fsharp
Sun, 17 Jul 2022 18:39:07 +0100 Achim D. Brucker Fixed code printing for F#. Examples of HOL-Imparative_HOL are now working with F# as code target. feature-codegen-fsharp
Sun, 17 Jul 2022 17:50:23 +0100 Achim D. Brucker Merging tip. feature-codegen-fsharp
Fri, 15 Jul 2022 09:18:21 +0200 nipkow moved lemma fromm AFP
Fri, 15 Jul 2022 08:46:04 +0200 nipkow tuned names
Sun, 17 Jul 2022 17:47:44 +0100 Achim D. Brucker Various bug fixes and improvements of F# code generator. Now the 'pervarsive tests' in the theoryies Generate, Generate_Target_NAT, Generate_Efficient_Datastructures, Generate_Binary_NAT, and Generate_Abstract_Char all work. feature-codegen-fsharp
Sun, 17 Jul 2022 17:06:42 +0100 Achim D. Brucker Improved indentation of F# code fragment. feature-codegen-fsharp
Sun, 17 Jul 2022 14:23:14 +0100 Achim D. Brucker Fixed typo. feature-codegen-fsharp
Sun, 17 Jul 2022 14:20:37 +0100 Achim D. Brucker Silenced pattern match warnings. feature-codegen-fsharp
Sun, 17 Jul 2022 13:57:58 +0100 Achim D. Brucker Fixed F# definitions for char list <-> string conversions. feature-codegen-fsharp
Sun, 17 Jul 2022 00:06:24 +0100 Achim D. Brucker Simplified invokation of 'dotnet fsi'. feature-codegen-fsharp
Sun, 17 Jul 2022 00:05:47 +0100 Achim D. Brucker Bug fix: indentation of F# code. feature-codegen-fsharp
Sat, 16 Jul 2022 14:06:34 +0100 Achim D. Brucker Avoid using keyword 'code' in Term_Lazy. feature-codegen-fsharp
Sat, 16 Jul 2022 11:57:05 +0100 Achim D. Brucker Fixed bug in F# compiler configuration, preventing 'export_code ... checking F#' to work. feature-codegen-fsharp
Thu, 14 Jul 2022 22:40:03 +0100 Achim D. Brucker Added new feature: F# target language for code generator. feature-codegen-fsharp
Thu, 14 Jul 2022 22:28:02 +0100 Achim D. Brucker Implemented user-level integration of dotnet tooling (including installation of a sandboxed dotnet SDK in ISABELLE_HOME_USER). feature-codegen-fsharp
Thu, 14 Jul 2022 17:02:46 +0100 Achim D. Brucker Added test cases for F# code generator. feature-codegen-fsharp
Thu, 14 Jul 2022 02:17:17 +0100 Achim D. Brucker Added F# code generation target to documentation. feature-codegen-fsharp
Thu, 14 Jul 2022 00:01:07 +0100 Achim D. Brucker Merging tip. feature-codegen-fsharp
Tue, 12 Jul 2022 10:38:13 +0000 haftmann refined code equations for characters
Mon, 11 Jul 2022 15:04:04 +0200 blanchet prefer non-JNI SAT solvers by default in Nitpick
Mon, 11 Jul 2022 15:03:42 +0200 blanchet milder Sledgehammer messages
Mon, 11 Jul 2022 08:21:54 +0200 nipkow moved lemmas from AFP
Sat, 09 Jul 2022 08:05:53 +0000 haftmann refined code equations for characters
Fri, 08 Jul 2022 22:30:35 +0200 wenzelm tuned comments;
Fri, 08 Jul 2022 22:29:26 +0200 wenzelm support for Isabelle/Scala/Java modules in Isabelle/ML;
Fri, 08 Jul 2022 20:24:05 +0200 wenzelm more robust Scala 3 indentation, for the sake of IntelliJ IDEA;
Fri, 08 Jul 2022 20:06:53 +0200 wenzelm clarified signature: read_theory_exports is already ordered;
Thu, 07 Jul 2022 16:40:33 +0200 wenzelm clarified signature;
Thu, 07 Jul 2022 16:37:56 +0200 wenzelm tuned;
Wed, 13 Jul 2022 23:11:56 +0100 Achim D. Brucker Initial code generator setup supporting F# as target language. feature-codegen-fsharp
Wed, 06 Jul 2022 09:33:53 +0000 haftmann sketch for word-specific lsb and msb
Tue, 05 Jul 2022 13:12:04 +0200 wenzelm switch to Scala 3;
less more | rev 75713: (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip