urbit/ares
1
1
Fork 0
mirror of https://github.com/urbit/ares.git synced 2024-12-25 06:12:24 +03:00
Code Issues Packages Projects Releases Wiki Activity
217 Commits 76 Branches 4 Tags 55 MiB
e585fe422f
Commit Graph

136 Commits

Author SHA1 Message Date
Philip Monk
60c32b2ed2 [jets] add 'add' test 2023-02-14 14:57:38 -07:00
Philip Monk
b05a6a7b01 [jets] add testing framework 2023-02-14 14:26:31 -07:00
Philip Monk
dec93b9ed8 [jets] add rsh jet 2023-02-14 13:08:19 -07:00
Philip Monk
bb819abcc2 [ares] fix bug in unifying equality 2023-02-14 13:08:19 -07:00
Philip Monk
89e7d612f8 [jets] add lsh jet 
Also implement chop, as in vere
 2023-02-14 13:08:19 -07:00
Philip Monk
ccc0306d33 [jets] add bex jet 2023-02-14 13:08:19 -07:00
Philip Monk
39d0cab706 [jets] add gte jet 2023-02-14 13:08:19 -07:00
Philip Monk
9fb605769e [jets] add gth jet 2023-02-14 13:08:19 -07:00
Philip Monk
bbae5bb146 [jets] add lte jet 2023-02-14 13:08:19 -07:00
Philip Monk
3e7df76174 [jets] add lth jet 2023-02-14 13:08:19 -07:00
Philip Monk
8c1f2b668f [jets] add mod jet 2023-02-14 13:08:19 -07:00
Philip Monk
025ce511f0 [jets] add dvr jet 2023-02-14 13:08:19 -07:00
Philip Monk
099ec9243f [jets] add div jet 2023-02-14 13:08:19 -07:00
Philip Monk
f6e5b3898d [jets] add mul jet 2023-02-14 13:08:19 -07:00
Philip Monk
511370d592 [ares] add sub jet 2023-02-14 13:08:19 -07:00
Philip Monk
4c1e742044 [jets] import ubig, add "add" jet 2023-02-14 13:08:19 -07:00
Philip Monk
d39715df31 [jets] add mug jet 2023-02-14 13:08:19 -07:00
Philip Monk
33c4996aef [ares] add test mode to sham jets 
Similar to vere, this mode runs both the nock and the jet and compares
the results.
 2023-02-14 13:08:19 -07:00
Philip Monk
9f3b4dd781 [ares] allow jets to fail 2023-02-14 13:08:19 -07:00
Edward Amsden
82a08d878e
Merge pull request #24 from urbit/philip/equal 
[ares] fix a couple bugs in unifying equality
 2023-02-13 20:00:59 -06:00
Philip Monk
43f3622f63 [ares] fix a couple bugs in unifying equality 
East/West typo, also we were setting the frame pointer to the stack
pointer while chasing up the stack.

This also refactors the conditionals in a way that I think is easier to
read.  We always have to do both calculations anyway.
 2023-02-13 18:46:37 -07:00
Edward Amsden
c68728edf1 [ares] update rust compiler to 1.64 2023-02-13 16:01:50 -06:00
Philip Monk
634680aa24 [ares] copy directly into atom in newt 2023-02-13 11:13:21 -07:00
Philip Monk
fe3c0895b2 [ares] comments and formatting 2023-02-13 10:57:13 -07:00
Philip Monk
ff59ca8ba9 [ares] rename new_tuple -> T, make D const 2023-02-13 10:39:08 -07:00
Philip Monk
dd4dc625bd [ares] harden snapshotting 2023-02-12 18:02:11 -07:00
Philip Monk
f16c194098 [ares] refactor snapshotting 
Especially, don't require cueing the snapshot to verify the checksum and
get the event number.
 2023-02-12 17:10:26 -07:00
Philip Monk
b9abb0efe8 [ares] extend jam perstistence to use two snapshots 2023-02-12 14:55:05 -07:00
Philip Monk
6d51c8c262 [ares] add simplest possible checkpoints 
These checkpoints are just a jam file of your state, with the event
number and a checksum.  If you crash while writing the checkpoint, it
will be corrupt.  Obviously, these snapshots will be slow to write on a
real ship as well.
 2023-02-11 23:04:39 -07:00
Philip Monk
51b4735711 [ares] fill out basic lifecycle 
With these changes, you can boot the included "baby" pill -- a trivial
pill which requires no jets and prints the text "effect" on every event.
 2023-02-11 17:28:14 -07:00
Philip Monk
1d6e4c74b2 [ares] add basic ipc handler 2023-02-11 02:51:59 -07:00
Philip Monk
e4f44d705c [ares] convenient noun constructors 2023-02-11 02:40:49 -07:00
Edward Amsden
683bbaadef
Move contribution guidelines to repository root and link from README 2023-02-05 17:08:02 -06:00
Edward Amsden
10b8166815
Merge branch 'status' into eamsden/CONTRIBUTING 2023-02-03 13:59:03 -06:00
Edward Amsden
716940c83d Add brief CONTRIBUTING.md file 2023-02-03 13:58:27 -06:00
Edward Amsden
5f3e5c1f12 Merge branch 'philip/jets' into i/15/tas-macro 2023-02-03 13:43:47 -06:00
Peter McEvoy
3de42389c1 Use tas!() when computing Nock 11 2023-02-03 12:19:32 -05:00
Philip Monk
7765c020cf [ares] rename %prop->%sham and add comment 2023-02-03 10:19:23 -07:00
Peter McEvoy
83b4fe308a Revert "Sort dependencies alphabetically" 
This reverts commit 38fd034984.
 2023-02-03 12:15:56 -05:00
Peter McEvoy
27f64b96ea Use tas!() in jets dashboard 2023-02-03 12:12:10 -05:00
Peter McEvoy
f41cf8cc38 Test tas!() 2023-02-03 12:12:08 -05:00
Peter McEvoy
d072c3ecea Implement tas!() in separate crate 2023-02-03 12:11:53 -05:00
Peter McEvoy
38fd034984 Sort dependencies alphabetically 2023-02-03 12:09:56 -05:00
Philip Monk
3e05e54104 Merge branch 'philip/raw' into philip/jets 2023-02-02 21:00:41 -07:00
Philip Monk
336214cd9b [ares] fix atom initialization bug 2023-02-02 20:58:11 -07:00
Edward Amsden
697180606b
Merge pull request #14 from urbit/eamsden/2stackz-fixes 
[ares][unifying equality] simplify, document, remove bugs and redundancies
 2023-02-02 18:49:37 -06:00
Edward Amsden
3ee28adb93 [ares][unifying equality] add fast pointer and cached mug checks outside the loop 2023-02-02 18:47:53 -06:00
Edward Amsden
4ddcb1e07c
[ares][unifying equality] memcmp for indirect atoms requires bytesize 2023-02-02 18:30:34 -06:00
Philip Monk
ac6103da99 [ares] style fixes 2023-02-02 17:19:45 -07:00
Edward Amsden
4edd3a6fb3
Merge branch 'status' into philip/jets 2023-02-02 13:51:44 -06:00
Edward Amsden
06fe914c34 [ares] simplify unifying equality, remove redundant checks, and better document 2023-02-02 13:37:04 -06:00
Edward Amsden
e04329f2b6 [ares][2stackz] missing pop of work stack when pointer equality is discovered 2023-02-02 12:06:25 -06:00
Philip Monk
23e33cfd11 add note to raw_slot 2023-02-02 10:54:31 -07:00
Philip Monk
69b4bbeeae add naive jet dashboard with two jets 2023-02-01 21:36:37 -07:00
Philip Monk
b88190f119 rename axis->slot to reduce confusion 2023-02-01 21:35:30 -07:00
Philip Monk
d55db12c12 implement Debug trait for nouns 2023-02-01 21:35:07 -07:00
Philip Monk
999e1e29d7 east/west typo 2023-02-01 20:06:49 -07:00
Edward Amsden
b7fac596c3 [ares] get rid of warnings 2023-02-01 18:42:38 -06:00
Edward Amsden
140dcf4e28 [ares] rust formatting 2023-02-01 18:37:48 -06:00
Edward Amsden
4eb99cc2d4 [ares] Some cleanup 2023-02-01 18:36:43 -06:00
Edward Amsden
665a2f5672 [ares] Source code for cue-and-then-jam benchmark 2023-02-01 18:35:05 -06:00
Edward Amsden
fc048c8e8b [ares] Update cargo.lock 2023-02-01 18:34:38 -06:00
Edward Amsden
a5f36ec6d3 [ares]: Cue-and-then-jam the solid pill works and is fast 2023-02-01 18:34:21 -06:00
Edward Amsden
903ffe694c [ares] Add noun acyclicality check 2023-02-01 18:33:42 -06:00
Edward Amsden
dabafb685d [ares/2stackz]: Add comment about split stack frames per Joe 2023-02-01 18:30:05 -06:00
Edward Amsden
d555967563 [ares]: import custom murmur3 and add feature flag for acyclic check 2023-02-01 18:28:47 -06:00
Edward Amsden
223b946199 [ares] comment explaining why unifying equality does not, in fact, infinite loop 2023-01-30 19:27:41 -06:00
Edward Amsden
9d97c2d29f [ares] bugfixes in unifying equality 2023-01-30 19:27:02 -06:00
Philip Monk
6f5e87aa05 add decrement test and make it pass 2023-01-27 13:41:35 -07:00
Edward Amsden
9920fc15af current state for inspection 2023-01-26 18:02:49 -06:00
Edward Amsden
06ae62f6a3
remove needless debug assert 2022-07-16 17:30:52 -05:00
Edward Amsden
7762e97981
For direct atom, return pointer to atom instead of immediately-stale pointer to direct copy 2022-07-16 17:28:54 -05:00
Edward Amsden
d56f081e6e
Rectify IndirectAtom doc comment 2022-07-16 16:08:43 -05:00
Edward Amsden
4a264278a3
format code, add assertion for output equality with file contents 2022-07-16 16:04:18 -05:00
Edward Amsden
c968648d86
Copy output to mmap as bytes 2022-07-16 15:09:34 -05:00
Edward Amsden
0ff0f2f1f2
Remove debugging printfs 2022-07-16 15:09:13 -05:00
Edward Amsden
0a072238d2
Make sure indirects allocated with bitslice buffers are zeroed first 2022-07-16 14:09:02 -05:00
Edward Amsden
299f4366bd
rectification of comments 2022-07-16 08:27:09 -05:00
Edward Amsden
4fb2e0637c
hurray.jam: jam of [0 1 %hurray] 2022-07-16 00:12:47 -05:00
Edward Amsden
ffdd91c341
now runs to completion on hurray.jam without crashing 2022-07-16 00:12:13 -05:00
Edward Amsden
a418d66e22
Need to copy out result of cue 2022-07-15 21:09:54 -05:00
Edward Amsden
43c8f71385
Iron Planet, not-segfaulting version 2022-07-15 21:02:51 -05:00
Peter McEvoy
cffc67fefc
Add Noun::as_*() methods for unwrapping 2022-03-17 16:45:17 -05:00
Peter McEvoy
aaeafc17b6
Adopt union represenation of noun 2022-03-17 16:45:12 -05:00
Edward Amsden
05ef3f1ed7
Make indirect_size_unchecked public 2022-03-17 16:42:20 -05:00
Edward Amsden
34e2cc6873
initial commit of memory manager 2022-03-16 18:28:06 -05:00