Activity for ats2libraries

  • Barry Schwartz committed [0ba0c8]

    Simplified .hgignore

  • Barry Schwartz committed [5ca0be]

    Simplified .hgignore

  • Barry Schwartz committed [bd2da5]

    Simplified .hgignore

  • Barry Schwartz committed [c5ce91]

    Simplified the .hgignore

  • Barry Schwartz committed [f99aea]

    Simplified the .hgignore

  • Barry Schwartz committed [b5a264]

    Simplified the .hgignore. Disabled one proof implementation. Note tests currently don’t work without --enable-128

  • Barry Schwartz committed [2b8685]

    Simplified .hgignore

  • Barry Schwartz committed [c116d2]

    Simplified .hgignore

  • Barry Schwartz committed [1aad7c]

    CVC4 couldn’t solve lemma_exp2_halving_regrouping instead, so use lemma_div_by_exp_regrouping and avoid CVC4 here.

  • Barry Schwartz committed [bd7473]

    Temporarily disable a proof implementation.

  • Barry Schwartz committed [e6e686]

    Remove dependence on exp2_proofs.sats

  • Barry Schwartz committed [a7e049]

    Note that this isn’t really implemented.

  • Barry Schwartz committed [8ec93a]

    Field access routines.

  • Barry Schwartz committed [da7ebc]

    Switch back from size_t to uint32, and also change how the head pointer works. Some further ideas.

  • Barry Schwartz committed [307701]

    Start a new branch.

  • Barry Schwartz committed [34d8bf]

    Wrote ‘make_new_node’.

  • Barry Schwartz committed [ad7621]

    Call ‘uint32’ by the name ‘ui’. Then we can more easily change it to ‘uint64’, ‘size_t’, or whatever.

  • Barry Schwartz committed [7047dd]

    Checking in work for reference, before abandoning it.

  • Barry Schwartz committed [2703e3]

    Added a ‘starting_node_size’ function.

  • Barry Schwartz committed [3f19a9]

    Added a comment about the implementation.

  • Barry Schwartz committed [6462d9]

    Bug fixes and some minor changes.

  • Barry Schwartz committed [064326]

    A small change.

  • Barry Schwartz committed [d01ca2]

    Use C11 static_assert() to check that atomic_flag is not larger than uint32.

  • Barry Schwartz committed [07d5a7]

    Another new start.

  • Barry Schwartz committed [031f3a]

    Layouts and basic documentation.

  • Barry Schwartz committed [12b64c]

    Let the C compiler figure out padding sizes!

  • Barry Schwartz committed [72b4fe]

    I forgot to include some standard ATS headers. Including them let me get rid of the need for SIZEOF_VOID_P.

  • Barry Schwartz committed [d225b0]

    A new and more efficient way of doing things.

  • Barry Schwartz committed [f06b08]

    Close this branch.

  • Barry Schwartz committed [84292c]

    Got rid of unsafe.sats.

  • Barry Schwartz committed [c63300]

    Change a type to size_t.

  • Barry Schwartz committed [64ba61]

    Some basics that I want to check in so they do not get lost. They required some work and thought.

  • Barry Schwartz committed [0efd94]

    Be a little more realistic about run-time checks.

  • Barry Schwartz committed [d09585]

    A new approach.

  • Barry Schwartz committed [d94fbc]

    A few minor changes.

  • Barry Schwartz committed [e9e4f4]

    Further improvements made possible by discovery of my error.

  • Barry Schwartz committed [25579f]

    Change ui=uint32 to ui=size_t.

  • Barry Schwartz committed [22d826]

    Added an effects mask.

  • Barry Schwartz committed [cf559e]

    Initial commit, with empty content.

  • Barry Schwartz committed [bd517d]

    Use DSATS2 Byte Vectors alignment support, instead of playing tricks with C structs.

  • Barry Schwartz committed [841046]

    Add a note to the README that the library is not yet ready.

  • Barry Schwartz committed [0ff35d]

    Initial README.md

  • Barry Schwartz committed [d6eee5]

    .hgignore created online with Bitbucket

  • Barry Schwartz committed [7f5bd1]

    It compiles. I still want to make more modifications from the original code taken from Sorts Mill Core Library.

  • Barry Schwartz committed [9086e8]

    Checking in before I break something. No, it does not work yet. Too many changes in Postiats since I wrote it.

  • Barry Schwartz committed [43bcaf]

    A few more changes, while it still compiles.

  • Barry Schwartz committed [e6586e]

    Put $effmask_exn around all the assertlocs that are there in lieu of proofs.

  • Barry Schwartz committed [d2b6f6]

    A few more changes.

  • Barry Schwartz committed [790707]

    Eliminate more ‘extern fn/implement’ in favor of ‘fn’, in vector_tries.dats.

  • Barry Schwartz committed [9cc88c]

    Passes test.

  • Barry Schwartz committed [f97671]

    One does not need to staload array_misc.sats.

  • Barry Schwartz committed [0e9821]

    More minor modifications.

  • Barry Schwartz committed [f5e451]

    Add an staload.hats.

  • Barry Schwartz committed [85c0bf]

    get_chunk isn’t needed anymore.

  • Barry Schwartz committed [7414e9]

    I managed to get ‘left dense’ preconditions set in some places, to help guarantee correct code.

  • Barry Schwartz committed [19a77b]

    Got rid of one place where an assertloc was masked.

  • Barry Schwartz committed [a62be6]

    A clarifying reversal of sense of some tests.

  • Barry Schwartz committed [df3313]

    Got rid of another assertloc, by using a proof that was already available.

  • Barry Schwartz committed [6e427d]

    Another step in the process.

  • Barry Schwartz committed [437f41]

    A start of eliminating another assertloc.

  • Barry Schwartz committed [3ac468]

    Fix my broken mod and div functions.

  • Barry Schwartz committed [af7c02]

    We have managed to get rid of another assertloc.

  • Barry Schwartz committed [7eb24b]

    Make tail length more informative.

  • Barry Schwartz committed [4a1add]

    I got rid of the remaining assertloc. Yay.

  • Barry Schwartz committed [3502d4]

    An extra use of a particular proof no longer is necessary.

  • Barry Schwartz committed [b0fbb7]

    Fixed Emacs header.

  • Barry Schwartz committed [9fb9c3]

    I got rid of another assertloc, although in an ugly way.

  • Barry Schwartz committed [74221a]

    Fix emacs header.

  • Barry Schwartz committed [eafe3d]

    Fixes to some proofs I kind of broke.

  • Barry Schwartz committed [ad03fd]

    Interfaces for ‘sets’ functions updated.

  • Barry Schwartz committed [ab11cd]

    I got rid of memset_unsafe.

  • Barry Schwartz committed [6aff69]

    Eliminated one of the memcpy_unsafe calls.

  • Barry Schwartz committed [142280]

    Got rid of another memcpy_unsafe.

  • Barry Schwartz committed [0cd2e5]

    No need for the $STRING library, now.

  • Barry Schwartz committed [c3c6e3]

    Oops. I left in some code I didn’t want.

  • Barry Schwartz committed [7551a6]

    Oops, bad unsafe typecast.

  • Barry Schwartz committed [ea91d6]

    I forgot to check in some files.

  • Barry Schwartz committed [554099]

    Slice and slice-append functions revised.

  • Barry Schwartz committed [3938e6]

    A few more tightenings of effects.

  • Barry Schwartz committed [0521c2]

    Revised the pop functions.

  • Barry Schwartz committed [cd00dd]

    I have finished a certain sort of revisions.

  • Barry Schwartz committed [ec3455]

    Add the generic C version.

  • Barry Schwartz committed [c46e28]

    Make distcheck work, again.

  • Barry Schwartz committed [6f475c]

    Minor change to a comment.

  • Barry Schwartz committed [da788d]

    Relax the effects but leave a note saying I might have relaxed them too much.

  • Barry Schwartz committed [8c8d1b]

    Get rid of array_v(.,.,.) notation in favor of the builtin @[.][.] @ .

  • Barry Schwartz committed [fe881e]

    Be stricter with !ref effects.

  • Barry Schwartz committed [843329]

    Hash function added, but not yet with tests.

  • Barry Schwartz committed [223963]

    Use exceptions from DSATS2 Modules.

  • Barry Schwartz committed [fe6ea2]

    Regression testing of hashing now is included.

  • Barry Schwartz committed [94a9ee]

    Remove an obsolete comment.

  • Barry Schwartz committed [ce8105]

    Remove ‘entry refs’ as too complex, and also all traces of cursors, as probably not worth it.

  • Barry Schwartz committed [c96b1d]

    Implementation of vector trie modules, so far.

  • Barry Schwartz committed [353c83]

    Vector modules have left-right sense, now.

  • Barry Schwartz committed [4c1cd5]

    I removed call-by-value array operations.

  • Barry Schwartz committed [639d1d]

    More opposite-sense functions.

  • Barry Schwartz committed [c17e37]

    vector slices and appends.

  • Barry Schwartz committed [37a8dd]

    A few little tests.

  • Barry Schwartz committed [7509b2]

    Add a module reversal function and write some of the testing for it.

1 >