- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed All Stories
All Stories
All Stories
Feb 5 2021
Feb 5 2021
Remove some unused declarations.
dcjm committed rPOLYML4919e08f1fb6: Avoid locking when testing for interrupts in the interpreter. (authored by dcjm).
Avoid locking when testing for interrupts in the interpreter.
dcjm committed rPOLYMLf3e8ed038893: Fix paths so that building in a separate directory works. (authored by dcjm).
Fix paths so that building in a separate directory works.
dcjm committed rPOLYMLa8ed4801cb79: Merge branch 'BootFromInterpreter' of https://github.com/dcjm/polyml into… (authored by dcjm).
Merge branch 'BootFromInterpreter' of https://github.com/dcjm/polyml into…
Remove some debugging code.
dcjm committed rPOLYML4bf6b4b2d520: Remove conversion functions from Bootstrap structure now that they are no… (authored by dcjm).
Remove conversion functions from Bootstrap structure now that they are no…
Remove unused variable.
dcjm committed rPOLYMLf33801c0694e: Fix project file after correcting spelling mistake in file name. (authored by dcjm).
Fix project file after correcting spelling mistake in file name.
dcjm committed rPOLYML0e526a92b0be: Simplify the building options now that there are only two bootstrap files. (authored by dcjm).
Simplify the building options now that there are only two bootstrap files.
dcjm committed rPOLYML2f14e46474ad: Add type constraint to suppress warning message. (authored by dcjm).
Add type constraint to suppress warning message.
Remove unused variable.
dcjm committed rPOLYML8df90e16c8d9: Enable 32-in-64 bit mode for the interpreted version. (authored by dcjm).
Enable 32-in-64 bit mode for the interpreted version.
Remove some old compatibility code.
dcjm committed rPOLYML219d8b8db2cc: Fix defines to select assembly code only on X86. (authored by dcjm).
Fix defines to select assembly code only on X86.
dcjm committed rPOLYMLc8a92f236d4a: Updated bootstrap files with change to constant areas. (authored by dcjm).
Updated bootstrap files with change to constant areas.
Merge branch 'master' into Interpret32in64
dcjm committed rPOLYMLf063d7ea5086: Merge branch 'master' into BootFromInterpreter (authored by dcjm).
Merge branch 'master' into BootFromInterpreter
dcjm committed rPOLYMLa2d179e87407: Rebuild 64-bit bootstrap with Unix directory separators. (authored by dcjm).
Rebuild 64-bit bootstrap with Unix directory separators.
dcjm committed rPOLYML8a56057685ff: Rebuild bootstrap file with Unix directory separators. (authored by dcjm).
Rebuild bootstrap file with Unix directory separators.
Changes to bootstrap for Unix.
Remove old bootstrap files.
Fixes for Unix.
dcjm committed rPOLYML43331b8216c6: Add the interpreter to the x86-specific code. Change the atomic operations… (authored by dcjm).
Add the interpreter to the x86-specific code. Change the atomic operations…
dcjm committed rPOLYMLdd568339c3a7: Remove ForkFromRTS which no longer seems to be used and remove arg argument… (authored by dcjm).
Remove ForkFromRTS which no longer seems to be used and remove arg argument…
dcjm committed rPOLYMLa129c2e746dc: Bootstrap from the interpreted version. The bootstrap process takes much… (authored by dcjm).
Bootstrap from the interpreted version. The bootstrap process takes much…
Split the byte-code interpreted version.
dcjm committed rPOLYMLd67eb744ef9c: Rename interpret.cpp as bytecode.cpp prior to split. (authored by dcjm).
Rename interpret.cpp as bytecode.cpp prior to split.
Feb 4 2021
Feb 4 2021
Susannah Mansky <susannahej@gmail.com> committed rAFP034574b588e5: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
Susannah Mansky <susannahej@gmail.com> committed rAFPc92e3097a0b8: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
Susannah Mansky <susannahej@gmail.com> committed rAFP8bb4e3809bd9: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
Susannah Mansky <susannahej@gmail.com> committed rAFPb97c4662e51f: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
Feb 3 2021
Feb 3 2021
Fix boxed version.
dcjm committed rPOLYML8dc557b8b55e: Add PackReal32Big/Little. This has to be done differently on 32 and 64-bit… (authored by dcjm).
Add PackReal32Big/Little. This has to be done differently on 32 and 64-bit…
dcjm committed rPOLYML37e1609bc855: Remove old code-generation support functions. (authored by dcjm).
Remove old code-generation support functions.
dcjm committed rPOLYML4bab8c102f27: After building the basis library copy specific items into the final name-space… (authored by dcjm).
After building the basis library copy specific items into the final name-space…
dcjm committed rPOLYML9e77b4a6cd7b: Add the exchange-and-add instruction to the interpreted version. CPUPause is… (authored by dcjm).
Add the exchange-and-add instruction to the interpreted version. CPUPause is…
dcjm committed rPOLYMLf323c60338c0: Improve handling of mutex spin-lock. Replace atomic-increment/decrement by… (authored by dcjm).
Improve handling of mutex spin-lock. Replace atomic-increment/decrement by…
Feb 2 2021
Feb 2 2021
fixed category for Blue_Eyes
pruvisto added a reverting change for rAFP4450302adc70: fixed category for Blue_Eyes: rAFP357a81dcd962: Backed out changeset 4450302adc70.
Backed out changeset 4450302adc70
fixed category for Blue_Eyes
sitegen for Blue_Eyes
paulson <lp15@cam.ac.uk> committed rAFPd7023101f4f1: tidying of IsaGeoCoq including a shorter abstract and revised title.
tidying of IsaGeoCoq including a shorter abstract and revised title
paulson <lp15@cam.ac.uk> committed rAFPfee541867229: paragraph tags in the abstract of IsaGeoCoq.
paragraph tags in the abstract of IsaGeoCoq
paulson <lp15@cam.ac.uk> committed rAFPa73264d7944f: website for IsaGeoCoq.
website for IsaGeoCoq
paulson <lp15@cam.ac.uk> committed rAFP12ccbbaa240f: new entry IsaGeoCoq.
new entry IsaGeoCoq
Feb 1 2021
Feb 1 2021
proper version for Big Sur;
updated for release;
Added tag Isabelle2021-RC4 for changeset 2ab14dbc6feb
clarified messages;
provide naproche-20210201;
Jan 31 2021
Jan 31 2021
Susannah Mansky <susannahej@gmail.com> committed rAFPed4bb4b543ce: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
Susannah Mansky <susannahej@gmail.com> committed rAFPd75706d3548c: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
Susannah Mansky <susannahej@gmail.com> committed rAFP6d1a140d53a0: Merge from default, esp JinjaDCI.
Merge from default, esp JinjaDCI
Susannah Mansky <susannahej@gmail.com> committed rAFP5090fd532062: Updating Jinja from apply-style to Isar-style.
Updating Jinja from apply-style to Isar-style
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rAFP6de632d10fd9: hide MB abbreviation.
hide MB abbreviation
mraszyk committed rAFPadb5f30f4f34: integrate RBT_Impl optimizations.
integrate RBT_Impl optimizations
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rISABELLEbb35f7f60d6c: contributors.
contributors
Andreas Lochbihler <mail@andreas-lochbihler.de> committed rISABELLE87e3c180044a: hide the internal abbreviations MR and MB.
hide the internal abbreviations MR and MB
Jan 30 2021
Jan 30 2021
clarified signature: proper order;
tuned signature: more types;
makarius committed rISABELLEde16d797adbe: more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within….
more robust HTML output: non-balanced bsub/esub are shown verbatim, e.g. within…
clarified signature: more explicit types;
clarified signature;
makarius committed rISABELLEaa3d4cf7825a: clarified signature: no symbol markup within XML attributes;.
clarified signature: no symbol markup within XML attributes;
makarius committed rISABELLEb80029a40ccf: bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;.
bundle more libraries from scala-2.12.x, notably for Isabelle/MMT;
provide naproche-20210129;
makarius committed rISABELLEa9eaf8c3b728: tuned signature (e.g. see HTML.control_block in Isabelle/Scala);.
tuned signature (e.g. see HTML.control_block in Isabelle/Scala);
proper Isabelle environment (amending 31fbde3baa97);
makarius committed rISABELLEd300574cee4e: more robust type signatures, notably for the sake of haskell-stack-trace-plugin….
more robust type signatures, notably for the sake of haskell-stack-trace-plugin…
follow Phabricator update 2021 Week 4;
updated to jdk-15.0.2+7;
more uniform directory layout for macOS;
more generic Isabelle_app;
makarius committed rISABELLE6823dddf9cf1: prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);.
prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc);
provide jdk-11.0.10+9.tar.gz LTS for testing (inactive);
Jan 27 2021
Jan 27 2021
Simon Foster <simon.foster@york.ac.uk> committed rAFP673d657bb3eb: Small update to Optics document..
Small update to Optics document.
more generous timeout (25min CPU time);
non-executable files;
Simon Foster <simon.foster@york.ac.uk> committed rAFP5a13e3f6bce8: Added metadata for previous commit (Optics)..
Added metadata for previous commit (Optics).
Simon Foster <simon.foster@york.ac.uk> committed rAFPfa453ac871a2: Addition of theorems throughout, particularly for prisms..
Addition of theorems throughout, particularly for prisms.